22/03/30 01:08:43.47 Dgy1DVL6.net
>>641-644
（結合法則）の位置だけ文頭にあるのを文末に替えてます。
HをGの部分群というときの条件（の１つ）として
"H（すべてのx,y,z∈H）がGの演算(μ(μ(x,y),z)=μ(x,μ(y,z)))によって群になるとき."
があるので、成立するように定義されていると条件を必要条件として満たす。
逆に十分条件は（２）によってx,y∈H → μ(x∈H, y∈H)∈H → μ(μ(x,y)∈H,z∈H) ∈ H
ということですかね。これだと、確かに定義から必要十分条件で結べてますね。
>>640
ありがとうございます。切り口がわかってきました。
部分群⇔(1)かつ(2)かつ(3)
を示すのところで、群や部分群の定義が疎かだったので、何をどうつなげるかに合点がいっていませんでした。
定義からつなげて必要十分条件を繋げれるように、まずは定義をしっかり覚えることにします。
>>645
そうですね。暗中模索でしたが、少し考え方がわかった気がします。