エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

2021-08-14から1日間の記事一覧

エレファントな群とリー代数(4)

単位元をもつマグマの準同型(1) を単位元 をもつマグマ、 を単位元 をもつマグマ、 をマグマの準同型とします。このとき ならば が成り立ちます。これを「マグマの左単位元・右単位元」と同様の方法で証明することができます。項を に属する項と に属する項…