10/09/30 18:37:30
>>54なのですが、
任意に元をＨ∩Ｋからとってきて、ｘ、ｙとおくと
ｘ∈Ｈ∩Ｋより
ｘ∈Ｈであって Ｈは部分群だからｘ^(-1)∈Ｈ
ｘ∈Ｋであって Ｋは部分群だからｘ^(-1)∈Ｈ
よってｘ^(-1)∈Ｈ∩Ｋ
同様に
ｘｙ∈Ｈ∩Ｋ
よってＨ∩Ｋも部分群
これは正しいですか？
10/09/30 18:37:30
>>54なのですが、
任意に元をＨ∩Ｋからとってきて、ｘ、ｙとおくと
ｘ∈Ｈ∩Ｋより
ｘ∈Ｈであって Ｈは部分群だからｘ^(-1)∈Ｈ
ｘ∈Ｋであって Ｋは部分群だからｘ^(-1)∈Ｈ
よってｘ^(-1)∈Ｈ∩Ｋ
同様に
ｘｙ∈Ｈ∩Ｋ
よってＨ∩Ｋも部分群
これは正しいですか？