0735132人目の素数さん垢版 | 大砲2020/11/22(日) 20:30:05.64ID:dR0FbWeM 類別というのが 関係g〜hをg^(-1)h∈Sで定義したとき同値関係になるということなら 確かにSが部分群であることが必要十分だな