>>638
>群の定義の結合法則については言い換えてませんよね？
積を具体的にμ(x,y)と書くと結合法則は
すべてのx,y,z∈Gについてμ(μ(x,y),z)=μ(x,μ(y,z))が成立することを意味している
ところで
すべてのx,y,z∈Hについてμ(μ(x,y),z)=μ(x,μ(y,z))が成立すればHで結合法則が成り立つことになるんだけど
これ（すべてのx,y,z∈Hについてμ(μ(x,y),z)=μ(x,μ(y,z))）は成立しますかね？