## [Idempotentes Element](/de/node/61570) Definition Ein Element e in einem Halbgruppe, Ring oder einer Algebra mit e·e = e; in unitären Ringen entsprechen Idempotente Projektionen auf Summanden und beinhalten die trivialen Idempotenten 0 und 1. ## Prinzip Prinzip Die idempotente Gleichung e^2 = e organisiert Zerlegungen: jedes Idempotent bestimmt ein projektionsähnliches Zerlegen von Moduln oder Räumen und bezeichnet komplementäre Unterstrukturen durch 1−e, falls eine Einheit existiert. ## Demonstration Demonstration In der linearen Algebra erfüllt jede orthogonale Projektionsmatrix P die Gleichung P^2 = P; im Ring Z/6Z ist die Klasse 3 idempotent, weil 3·3 ≡ 3 (mod 6), und liefert so eine nichttriviale Zerlegung des Rings in Ideale. ## Fehlanwendung Fehlanwendung Nilpotente Elemente oder approximate Projektionen fälschlich als idempotent zu behandeln oder ohne Prüfung der Kommutativität anzunehmen, Idempotente seien zentral, führt zu falschen Zerlegungen und fehlerhaften Kommutationseigenschaften. ## Konsequenz Konsequenz Die richtige Identifikation von Idempotenten liefert direkte Summenzerlegungen von Moduln, Peirce-Zerlegungen von Algebren sowie explizite Projektionsoperatoren, die exakte Sequenzen spalten, sofern sie mit den Strukturabbildungen verträglich sind. ## Umkehrung Umkehrung Das Gegenteil ist ein Element, das nicht e^2 = e erfüllt: Nilpotente erfüllen e^n = 0 für ein n>0, Einheiten erfüllen e·e^{-1} = 1 statt Idempotenz; 1−e ist in einem unitären Ring ebenfalls idempotent, wenn e idempotent ist, und bildet die komplementäre Projektion. ## Abgrenzung Abgrenzung Die Definition gilt in Halbgruppen, Ringen, Algebren und Endomorphismenmonoid; sie schließt Elemente aus, die nur bis auf Konjugation oder Homotopie idempotent sind (approximative/Modulo-Nilpotente Idempotenten), und setzt Assoziativität der Multiplikation für die üblichen Folgerungen voraus. ## Semantische Spannung Semantische Spannung Idempotent konkurriert semantisch mit „Projectionsoperator“ (analytischer/Operator-Kontext) und mit „Einheit“ (das spezielle Idempotent 1); es ist zu unterscheiden zwischen strukturellen Idempotenten, die Moduln spalten, und analytischen Projektionen, die nur in einem Grenz- oder schwächeren topologischen Sinne idempotent sind. ## Synthese Synthese Ein idempotentes Element ist eine echte algebraische Projektion: ein multiplikatives Fixpunkt-Element, das eine Zerlegung des umgebenden Objekts in komplementäre Teile kennzeichnet und in nichtzentralen oder nichtunitären Kontexten sorgfältig zu behandeln ist.