単位的多元環

代数的構造
群に似た構造群半群 / モノイド圭準群とループアーベル群マグマリー群群論
環に似た構造環半環近環（英語版）可換環整域体可除環リー環環論
束に似た構造束半束可補束全順序ハイティング代数ブール代数 en:Map of lattices 束論
加群に似た構造加群作用を持つ群ベクトル空間線形代数
代数に似た構造代数結合非結合合成代数リー代数次数付き双代数ホップ代数
表話編歴

数学における多元環（必ずしも結合的でない）が単位的（たんいてき、英: unitary）または単型 (unital) であるとは、それが内部乗法 × に対する単位元 1（すなわちその多元環の任意の x に対して 1 × x = x × 1 = x を満たす元）を持つときに言う。この単位元は右単位元および左単位元として一意である。

さらに多元環が結合的ならば、単位的であることはその多元環の元全体が乗法に関してモノイドを成すことと言っても同じである。

単位的環との関係

多元環 E が（多元環が係数をとる（可換）環 A が持つ二種類の内部演算は数えないとすれば）三つの演算を持つことを思い出そう:

内部加法演算 (ベクトルの加法（フランス語版）) +: E × E → E;
内部乗法演算 (双線型写像) ×: E × E → E;
外部乗法演算 (スカラー倍) ⋅: A × E → E.

このような E が単位的として、その単位元を 1_E と書けば:

λ⋅x = λ⋅(1_E × x) = (λ⋅1_E) × x (∀λ∈A, ∀x∈E)

が成立する。各スカラー λ ∈ A をベクトル λ⋅1_E ∈ E を同一視すれば、スカラー λ を掛ける外部スカラー乗法は、ベクトル λ⋅1_E を掛ける内部乗法として実現できる。このように二つの乗法演算を同一視することにより、単位的多元環は二つの内部演算を持つ単位的環（ただし、必ずしも結合的でない（英語版））と見なすことができる。