Идемпотенција

Овај чланак описује математички концепт идемпотенције, за повезани концепт у рачунарству, погледајте Идемпотенција (рачунарство)

У математици, концепт идемпотенције, који грубо речено значи да нека операција даје исти резултат било да се извршава једном или више пута, јавља се на неколико места у апстрактној алгебри

Јављају се две главне дефиниције идемпотенције:

• Ако је дата бинарна операција, идемпотентан елемент је елемент који када се помножи (или за функцију, компонује) самим собом, даје себе као резултат. На пример, једина два реална броја која су идемпотентна у односу на множење су 0 и 1.
• Унарна операција је идемпотентна ако, кад год се примени двапут на било који елемент, даје исти резултат као кад се примени само једном. На пример, функција цео део је идемпотентна као функција из скупа реалних бројева у скуп целих бројева. Ова дефиниција за унарне операције је у ствари специјални случај дефиниције за бинарне операције.

Формалне дефиниције

Бинарна операција

Ако је $S$ скуп са бинарном операцијом $*$, тада се за елемент $s$ из $S$ каже да је идемпотентан (у односу на $*$) ако $s*s=s$.

Специјално, сваки неутрал је идемпотентан. Ако је сваки елемент на скупу $S$ идемпотентан, тада се за бинарну операцију $*$ каже да је идемпотентна. На пример, операције уније и пресека скупова су обе идемпотентне.

Унарна операција

Ако је $f$ унарна операција на домену $X$, тада је $f$ идемпотентна ако за свако $x\in X$,

$f(f(x))=f(x)$. Ово је еквивалентно исказу $f\circ f=f$, где $\circ$ означава композицију функција.

Специјално, идентитета је идемпотентна, као и свака константна функција.

Уобичајени примери

Функције

Као што је већ речено, идентитете и константна пресликавања су увек идемпотентна. Мање тривијални примери су функција апсолутне вредности реалног или комплексног аргумента, као и цео део функција.

Идемпотентни елементи прстена

Идемпотентан елемент прстена је по дефиницији елемент који је идемпотентан у односу на операцију множења прстена.

Ако је $e$ идемпотентно у прстену $R$, онда је $eRe$ такође прстен, са мултипликативним неутралом $e$.

Два идемпотентна елемента, $e$ и $f$ се називају ортогоналним ако $ef=fe=0$. У овом случају, $e+f$ је такође идемпотентно, и имамо $e\leq e+f$ и $f\leq e+f$.

Ако је $e$ идемпотентно у прстену $R$, тада је идемпотентно и $f=1-e$; $e$ и $f$ су ортогонални.

Идемпотентни елемент $e\in R$ се назива централним ако $ex=xe$ за свако $x\in R$. У овом случају, $Re$ је прстен са мултипликативним неутралом $e$. Централни идемпотентни елементи прстена $R$ су у блиској вези са декомпозицијама $R$ у директне суме прстенова. Ако је $R$ директна сума прстенова $R_{1},...,R_{n}$, тада су неутрали прстенова $R_{i}$ централно идемпотентни у $R$.

Прстен у коме су сви елементи идемпотентни се назива Булов прстен. Може се показати да је у сваком таквом прстену, множење комуттивно, и да сваки елемент има свој адитивни инверз.

Други примери

Идемпотентне операције се могу наћи и у Буловој алгебри, као и у линеарној алгебри, где је пројекција идемпотентна.

Идемпотентан полупрстен је полупрстен чије сабирање (не множење) идемпотентно.

Постоје идемпотентне матрице. Види Списак матрица.

Литература

• Ayres, Frank (1965). Schaum's Outline of Modern Abstract Algebra (1st изд.). McGraw-Hill. ISBN 9780070026551. 
• Goodearl, K. R. (1991), von Neumann regular rings (2 изд.), Malabar, FL: Robert E. Krieger Publishing Co. Inc., стр. xviii+412, ISBN 978-0-89464-632-4, MR 1150975 
• Gunawardena, Jeremy (1998), „An introduction to idempotency” (PDF), Ур.: Gunawardena, Jeremy, Idempotency. Based on a workshop, Bristol, UK, October 3–7, 1994, Cambridge: Cambridge University Press, стр. 1—49, Zbl 0898.16032 
• Hazewinkel Michiel, ур. (2001). „Idempotent”. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104. 
• Hazewinkel, Michiel; Gubareni, Nadiya; Kirichenko, V. V. (2004), Algebras, rings and modules. vol. 1, Mathematics and its Applications, 575, Dordrecht: Kluwer Academic Publishers, стр. xii+380, ISBN 978-1-4020-2690-4, MR 2106764 
• Lam, T. Y. (2001), A first course in noncommutative rings, Graduate Texts in Mathematics, 131 (2 изд.), New York: Springer-Verlag, стр. xx+385, ISBN 978-0-387-95183-6, MR 1838439, doi:10.1007/978-1-4419-8616-0 
• Lang, Serge (1993), Algebra (Third изд.), Reading, Mass.: Addison-Wesley, стр. 443, ISBN 978-0-201-55540-0, Zbl 0848.13001 
• Peirce, Benjamin. Linear Associative Algebra 1870.
• Polcino Milies, César; Sehgal, Sudarshan K. (2002), An introduction to group rings, Algebras and Applications, 1, Dordrecht: Kluwer Academic Publishers, стр. xii+371, ISBN 978-1-4020-0238-0, MR 1896125, doi:10.1007/978-94-010-0405-3