冪等元

抽象代数学において、二項演算 ∗ をもった集合の元 は であるときに冪等元（）あるいは単に冪等（）と呼ばれる。これはその特定の元における二項演算の冪等性を反映している。
環論において（積に関する）冪等元は特に重要である。一般の環に対して、冪等元は加群の分解や環のホモロジー的性質と深く関わっている。この概念は によって導入された。
本記事は環論的な意味の冪等元を扱う。
定義.
環の冪等元（あるいはべき等元）とは を満たす元 である。ふたつの冪等元 と は であるとき、直交 (orthogonal) するという。たとえば が（単位元をもつ）環の冪等元ならば、 もそうであり、 と は直交する。 を環 のイデアルとする。剰余環 における冪等元 は、 のある冪等元 が存在して となるとき、 を法として持ち上がる（lift modulo ）という。
たくさんの特別な冪等元が例の節の後で定義される。
例.
 次正方行列のなす全行列環を考える。 を単位行列、 成分のみが 1 で他の成分はすべて 0 の行列を とおく。これらは冪等元である。さらに中心直交冪等元分解
を与える。一般に全行列環の冪等元は射影行列とも呼ばれる。
平方因子を持たない整数 に対して、 を法とする整数の剰余環 を考えよう。中国剰余定理によって、この環は の素因数 を法とする整数の剰余体の直積に分解する。これらの直積因子の冪等元は 0 と 1 に限ることは明らかである。つまり、各因子は 2 つの冪等元をもつ。したがって が 個の因子をもてば、 は 個の冪等元をもつ。
6 を法とするの整数の剰余環 に対してこのことを確かめよう。6 は 2 つの因数（2 と 3）をもつから、22 個の冪等元をもつはずである。
これらの計算から、 において 0, 1, 3, 4 は冪等元であり、2 と 5 は冪等元でない。これは後述する分解の性質を証明している。 であるので、環の分解 が存在する。 の単位元は であり、 の単位元は である。
 の環における冪等元のが存在する。
特別な冪等元.
以下は重要な冪等元の部分的なリストである。
任意の非自明な冪等元 は零因子である（なぜならば とすれば も も 0 でないが だからだ）。これは整域や可除環は非自明な冪等元をもたないことを示している。局所環も非自明な冪等元をもたないが、これは異なる理由による。環のジャコブソン根基に含まれる唯一の冪等元が 0 だからである。
加群の分解における役割.
 の冪等元は 加群の分解と重要なつながりがある。 を右 加群とし、 をその自己準同型環とすると、 であることと、 かつ となるような冪等元 が唯一つ存在することは同値である。すると明らかに、 が直既約であることと、 の冪等元が 0 と 1 のみであることが同値である。
 のとき、自己準同型環は であり、各自己準同型はある 1 つの固定された環の元の左からの積として生じる。上で述べたことをこの場合に言い換えると、右加群として であることと、 かつ となるような冪等元 が唯一つ存在することは同値である。したがって加群としての のすべての直和成分はひとつの冪等元によって生成される。
 が中心的冪等元であれば、corner ring は を乗法単位元にもつ環である。冪等元が の加群としての直和分解を決定するのとちょうど同じように、 の中心的冪等元は の環の直和としての分解を決定する。 が環 の直和であれば、環 たちの単位元は、 の中心的冪等元であり、どの 2 つも直交していて、それらすべての和は 1 である。逆に、和が 1 でどの 2 つも直交しているような の中心的冪等元 が与えられると、 は環 の直和である。なので、とくに、すべての中心的冪等元 は の corner ring と の直和としての分解を与える。したがって、環 が環として直既約であることと、単位元 1 が中心的原始冪等元であることは同値である。
単位元の直交する中心的原始冪等元の和への分解を帰納的に試みることができる。もし単位元が中心的原始冪等元であればすでに分解できている；そうでなければ、 0 でない直交する中心的冪等元の和であり、以下、各因子に対してこの手順を繰り返す。ここで起こりうる問題は、この手順が際限なく続き、直交する中心的冪等元の無限族が得られることである。「直交する中心的冪等元の無限集合を含まない」という条件は、環に対する有限性条件の一種である。たとえば環が右ネーターであることを仮定するなど、その条件が満たされるようにする方法はいくつもある。各 が中心原始冪等元であるような分解 が存在すれば、 はどれも既約であるような corner ring の直和である。
体上の結合多元環やに対して、は多元環の可換冪等元の固有空間の和としての分解である。
対合との関係.
 が自己準同型環 の冪等元であれば、自己準同型 は の 加群対合である。つまり、 は が の恒等自己準同型であるような 準同型である。
 の冪等元 とそれに伴う対合 から、 を左加群と見るか右加群と見るかに応じて、加群 の 2 つの対合が生じる。 が の任意の元を表すとき、 を右 準同型 と見ることも左 "R"-準同型 と見ることもできる。前者ならば であり、後者ならば となる。
この過程は 2 が の可逆元であれば逆にできる： が対合であれば、 と は直交冪等元で、それぞれ と に対応する。したがって、2 が可逆であるような環に対して、冪等元は対合と 1 対 1 に対応する。
加群の圏.
冪等元の持ち上げは 加群の圏に対してもまた主要な結果を持っている。ジャコブソン根基 に含まれるイデアル を法としてすべての冪等元が持ち上がることと、 加群として のすべての直和成分が射影被覆を持つことは同値である。冪等元は mod や が 進完備であるような環ではつねに持ち上がる。
冪等元の持ち上げは特に ときに最も重要である。半完全環のさらに別の特徴づけは、 を法として冪等元が持ち上がるような半局所環である。
半順序構造.
環の冪等元がなす集合に対し半順序を
で定めることができる。このとき 0 は最小の冪等元であり、1 は最大の冪等元である。直交冪等元 と に対し、 もまた冪等元であり、 および が成り立つ。原始冪等元はちょうどこの半順序のである。
上述の半順序を環 の中心的冪等元がなす集合 に制限すると、ブール代数の構造を与えることができる。2 つの中心的冪等元 , に対し、結びと交わり、補元はそれぞれ
によって与えられる。すると順序は単に ⇔ となり、結びと交わりは および を満たす。環 がフォン・ノイマン正則かつ右であれば、 は完備束である。