Eine Konstruktion, die eine nichtunitale algebraische Struktur (Ring, Algebra usw.) in eine unitale einbettet, indem formal ein multiplikatives Einheitselement hinzugefügt und die Operationen so erweitert werden, dass dieses neue Element als Identität wirkt.

Prinzip

Ein neues Element 1 einführen und die Relationen 1·x = x·1 = x für alle ursprünglichen Elemente x erzwingen; die Multiplikation und Addition kompatibel erweitern. Kategorisch ist dies eine universelle Adjungierung, die ein unitales Objekt mit einem kanonischen Homomorphismus vom Original liefert.

Demonstration

Für eine k-Algebra A ohne Eins bildet man die Unitisierung A˜ = k ⊕ A mit Produkt (λ,a)·(μ,b) = (λμ, λb + μa + a b). Das Element (1,0) ist die multiplikative Eins und A injiziert als {0} × A.

Fehlanwendung

Eine Einheit anzufügen, ohne die Wechselwirkung mit vorhandenen Strukturen zu prüfen, kann erwünschte Eigenschaften zerstören: Beispielsweise kann das formale Hinzufügen einer Eins zu einer topologischen Algebra ohne Anpassung der Topologie Vollständigkeit oder Stetigkeitseigenschaften vernichten.

Konsequenz

Die ursprüngliche Struktur wird zu einem Unterobjekt (oft einem Ideal) einer unitale Algebra; universelle Abbildungen vom Original erweitern sich eindeutig zu unitären Homomorphismen von der unitisierten Struktur, was Techniken ermöglicht, die eine Einheit voraussetzen.

Umkehrung

Das Entfernen der angefügten Einheit führt zum Augmentationsideal oder zur ursprünglichen nichtunitalen Algebra zurück; kategorisch ist dies der Vergissfunktor von unitaren Objekten zu nichtunitaren, der die Eins einfach vergisst.

Abgrenzung

Gilt für algebraische Strukturen, in denen eine multiplikative Eins sinnvoll ist; die Konstruktion erhält nicht automatisch Endlichkeit, Topologie, Graduierung oder andere Zusatzstrukturen, sofern dies nicht explizit berücksichtigt wird.

Semantische Spannung

Wird leicht mit Lokalisierung oder dem Anfügen eines Idempotenten verwechselt: Unitisierung fügt universell eine zentrale Eins hinzu, während Lokalisierung Elemente invertiert und das Anfügen von Idempotenten andere algebraische Effekte hat; die Begriffe 'Unitisierung' und 'Anfügen einer Einheit' werden teilweise unterschiedlich betont.

Synthese

Das Anfügen einer Einheit ist der universelle Vorgang, der ein nichtunitales algebraisches Objekt durch Ergänzen einer formalen Eins in ein unitales überführt und das Original als Ideal oder Unterobjekt einbettet, sodass unitäre Homomorphismen und einheitsabhängige Methoden anwendbar werden.