分配多元環
特殊な環の一群 / ウィキペディア フリーな encyclopedia
親愛なるWikiwand AI, これらの重要な質問に答えるだけで、簡潔にしましょう:
トップの事実と統計を挙げていただけますか 分配多元環?
この記事を 10 歳向けに要約してください
数学における分配多元環(ぶんぱいたげんかん、英: distributive algebra)または非結合多元環(ひけつごうたげんかん、英: non-associative algebra[1])は、体(または可換環)K 上の線型空間(あるいは一般に加群[2])A であって、さらにその上のK-双線型写像 A × A → A が存在して A 上に乗法演算(中置的二項演算)を定めるものを言う。いま、乗法の結合性については全く仮定しないので、乗法を行う順番については丸括弧などを用いて指定することが非常に重要になる。例えば (ab)(cd) や (a(bc))d あるいは a(b(cd)) などは異なる値を取り得る。
![]() | この記事のほとんどまたは全てが唯一の出典にのみ基づいています。 (2012年4月) |
ここで、結合性を仮定しないことを以って「非結合的」という言い方をするけれども、それは結合律が成立しないことを意味するものではない。言ってみれば、「非結合的」という修飾辞は「必ずしも結合的でない」という意味であって、これは非可換環が「必ずしも可換でない」という意味で「非可換」を冠しているのとまさに同じである。
A の元を左または右から掛けるという操作は、A の K-線型変換
を引き起こす(La および Ra をそれぞれ a による左移動および右移動作用と呼ぶ)。分配多元環 A の包絡環 (enveloping algebra) とは、A の自己準同型環の部分環で、A の左移動および右移動によって生成されるものを言う[3]。この包絡環は、A が結合的でない場合でも、必ず結合的になる。この意味で、包絡環は「A を含む最小の結合多元環」である。
多元環が単型あるいは単位的 (unital, unitary) であるとは、それが乗法単位元(Ix = x = xI がその多元環のどんな x についても成立するような元 I)が存在するときに言う。