剰余類 に対して と定義します。 に対して と定義します。 に演算 を に対して と定義すると、 はアーベル群になります。この元を剰余類と呼びます。 とし を とします。 は群の準同型となります。 に対して とおきます。 のとき とすると となる が存在しま…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。