部分構造について

部分群、部分環などの部分構造について@y_bontenが皆様からご教授いただいたまとめです。
2
TS @ta_shim_at_nhn

@y_bonten そうです。というか、構造の定義が違っています。 型 (・, {}^{-1}, e) の構造を 群-like の構造と呼ぶことにすると、 通常使われる意味での群の構造 = 群-like な構造 + 群の公理 というイメージですね。

2015-04-07 14:17:32
ぼんてんぴょん(Bontenpøn) @y_bonten

@ta_shim_at_nhn なるほど、そこが明確に切り分けられているのですね。とてもスッキリした感じがします。

2015-04-07 14:23:25