15/03/14 14:18:51.17 FaEZeIo7.net
>>538
そう思うのは自由だが
それはそれとして、演算の well-defined 性の証明はやっぱり必要。
群環体の場合はある程度しっかりした構造を持っているからうまくいくのであって、
より一般の代数構造ではうまくいかないこともある。
ちなみに、環や体の場合正規部分群に相当する概念は(両側)イデアルというもので、
環の場合は確かに和、積両方について言及が必要。
体の場合、イデアルは自明なもの({0}と全体集合)しかないので、似たようなことは話題にならない。
代数拡大は全然違う話。