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

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

2020-04-01から1日間の記事一覧

群論の計算(4)

共役類 群 の元 と に対して と定義します。 と に対して と定義します。群 の元 と に対して を満たす が存在するとき と は共役であると言います。 と が共役であることは同値関係となります。この同値関係に関する同値類を共役類と呼びます。 を含む共役…

群論の計算(3)

写像の計算 写像 の像と逆像は に対して に対して に対して のようになります。 であることから (1) 、 とすると が成り立ちます。 (2) 、 とすると が成り立ちます。 (3) ならば であることから ならば ならば が成り立ちます。 (4) に対して に対して に対…