単位的多元環
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/02/17 03:25 UTC 版)
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(2017年8月) |
|
数学における多元環(必ずしも結合的でない)が単位的(たんいてき、英: unitary)または単型 (unital) であるとは、それが内部乗法 × に対する単位元 1(すなわちその多元環の任意の x に対して 1 × x = x × 1 = x を満たす元)を持つときに言う。この単位元は右単位元および左単位元として一意である。
さらに多元環が結合的ならば、単位的であることはその多元環の元全体が乗法に関してモノイドを成すことと言っても同じである。
単位的環との関係
多元環 E が(多元環が係数をとる(可換)環 A が持つ二種類の内部演算は数えないとすれば)三つの演算を持つことを思い出そう:
- 内部加法演算 (ベクトルの加法) +: E × E → E;
- 内部乗法演算 (双線型写像) ×: E × E → E;
- 外部乗法演算 (スカラー乗法) ⋅: A × E → E.
このような E が単位的として、その単位元を 1E と書けば:
- λ⋅x = λ⋅(1E × x) = (λ⋅1E) × x (∀λ∈A, ∀x∈E)
が成立する。各スカラー λ ∈ A をベクトル λ⋅1E ∈ E を同一視すれば、スカラー λ を掛ける外部スカラー乗法は、ベクトル λ⋅1E を掛ける内部乗法として実現できる。このように二つの乗法演算を同一視することにより、単位的多元環は二つの内部演算を持つ単位的環(ただし、必ずしも結合的でない)と見なすことができる。
典型的な例は超複素数系であり、場合によってそれらを単位的多元環と見たり単に(必ずしも結合的でない)単位的環と見たりすることができる。
外部リンク
単位的多元環
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/20 19:46 UTC 版)
詳細は「単位的多元環」を参照 多元環が単位的または単型 (unital, unitary) であるとは、それが単位元または単元を持つことを言う。すなわち、多元環の元 I が存在して、全ての元 x に対して Ix = x = xI を満たす。単位元を持たない多元環はある標準的な方法で構成される単位的な多元環に余次元1のイデアルとして含まれる。
※この「単位的多元環」の解説は、「体上の多元環」の解説の一部です。
「単位的多元環」を含む「体上の多元環」の記事については、「体上の多元環」の概要を参照ください。
- 単位的多元環のページへのリンク