|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 非 ： [ひ] 1. (adj-na,n,pref) faulty- 2. non- ・ 結合 ： [けつごう] 1. (n,vs) combination 2. union 3. binding 4. catenation 5. coupling 6. joining ・ 合 ： [ごう] 【名詞】 1. go (approx. 0.18l or 0.33m) ・ 的 ： [まと, てき] 【名詞】 1. mark 2. target ・ 多 ： [た] 1. (n,pref) multi- ・ 多元 ： [たげん] (n) pluralistic ・ 元 ： [げん, もと, がん] 1. (n,n-suf,n-t) (1) origin 2. basis 3. foundation 4. (2) former ・ 環 ： [わ, かん] 【名詞】 1. circle 2. ring 3. link 4. wheel 5. hoop 6. loop
数学における分配多元環（ぶんぱいたげんかん、）または非結合多元環（ひけつごうたげんかん、）は、体（または可換環）''K'' 上の線型空間（あるいは一般に加群）''A'' であって、さらにその上の''K''-双線型写像 ''A'' × ''A'' → ''A'' が存在して ''A'' 上に乗法演算（中置的二項演算）を定めるものを言う。いま、乗法の結合性については全く仮定しないので、乗法を行う順番については丸括弧などを用いて指定することが非常に重要になる。例えば (''ab'')(''cd'') や (''a''(''bc''))''d'' あるいは ''a''(''b''(''cd'')) などは異なる値を取り得る。 ここで、結合性を仮定しないことを以って「非結合的」という言い方をするけれども、それは結合律が成立しないことを意味するものではない。言ってみれば、「非結合的」という修飾辞は「必ずしも結合的でない」という意味であって、これは非可換環が「必ずしも可換でない」という意味で「非可換」を冠しているのとまさに同じである。 ''A'' の元を左または右から掛けるという操作は、''A'' の ''K''-線型変換 : を引き起こす（''L''''a'' および ''R''''a'' をそれぞれ ''a'' による左移動および右移動作用と呼ぶ）。分配多元環 ''A'' の包絡環 (''enveloping algebra'') とは、''A'' の自己準同型環の部分環で、''A'' の左移動および右移動によって生成されるものを言う。この包絡環は、''A'' が結合的でない場合でも、必ず結合的になる。この意味で、包絡環は「''A'' を含む最小の結合多元環」である。 多元環が単型あるいは単位的 (''unital'', ''unitary'') であるとは、それが乗法単位元（''Ix'' = ''x'' = ''xI'' がその多元環のどんな ''x'' についても成立するような元 ''I''）が存在するときに言う。 == 恒等関係式 == 二つの二項演算を持つ環と類似の構造は、何の制約もなければ非常に広範なクラスであって、議論を展開するには一般すぎる。それが故に、何らかの意味で乗法を簡素化する恒等式を満足するような分配多元環として、いくつかの種類がよく知られている。例えば以下のようなものが挙げられる。 以下、''x'', ''y'', ''z'' を多元環の任意の元とする。 * 結合性: (''xy'')''z'' = ''x''(''yz''). * 対称性（可換性）: ''xy'' = ''yx''. * 反対称性（反交換性、交代性）: ''xy'' = −''yx''.〔このとき任意の ''x'' に対して ''xx'' = 0 なる恒等式も得られるが、逆は標数が 2 でない体の場合には成り立つ。〕 * ヤコビ恒等式: (''xy'')''z'' + (''yz'')''x'' + (''zx'')''y'' = 0. * ジョルダン恒等式: (''xy'')''x''2 = ''x''(''yx''2). * 冪結合性: ''x''''m'' ''x''''n''=''x''''n+m''（''m'', ''n'' は非負整数）。これは ''a'', ''b'', ''c'' が任意に選んだ元 ''x'' の非負整数冪ならば ''a''(''bc'')=(''ab'')''c'' といっても同じである。 * 交代結合性: (''xx'')''y'' = ''x''(''xy'') かつ (''yx'')''x'' = ''y''(''xx''). * 柔軟性: ''x''(''yx'') = (''xy'')''x''. これらの性質の関係性は # 「結合的」⇒ 「交代結合的」⇒「冪結合的」 # 「結合的」⇒「ジョルダン」⇒「冪結合的」 # 「結合的」、「対称的」、「反対称的」、「ジョルダン」、「ヤコビ」の各条件から「柔軟性」が従う。 # 標数が 2 でない体上の多元環については、対称かつ反対称ならば、その多元体が に他ならないことが言える。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「分配多元環」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Non-associative algebra 」があります。 スポンサード リンク
|