はじめに こんにちは。KazukiOtaです。TSG Advent Calendar 2019 - Adventarの17日目の枠埋めとして書きました。ちこくしたのはゆるして...（12/17よりも後にAdventarに登録したためです。） 概要 群の部分群を用いて、として定められる関係を考えます。この…