- Idealsystem
-
In der abstrakten Algebra ist ein Ideal eine Teilmenge einer algebraischen Struktur mit mindestens einer multiplikativen zweistelligen Operation, die abgeschlossen bezüglich Produkten mit Elementen aus der gesamten Struktur ist.
Die Ideale gleichen Typs auf einer gegebenen algebraischen Struktur bilden stets ein Hüllensystem, das Idealsystem genannt wird. Zu jedem Idealsystem ist immer ein entsprechender Hüllenoperator gegeben (und umgekehrt), das ist der zugehörige Idealoperator.
Zur einfacheren Darstellung wird hier nur der kommutative Fall beschrieben. Verzichtet man auf die Kommutativität der Multiplikation, dann handelt es sich im folgenden jedoch um Linksideale, und vertauscht man bei jedem Produkt den linken und den rechten Faktor, ergeben sich entsprechend Rechtsideale. Zweiseitige Ideale oder einfach nur Ideale sind sowohl Links- als auch Rechtsideale. Bei Kommutativität besteht kein Unterschied zwischen diesen drei Arten von Idealen.
Inhaltsverzeichnis
„Klassische“ Ringideale
Zahlentheoretische Untersuchungen von Zahlenbereichen, bei denen eine eindeutige Primfaktorzerlegung von Elementen nicht mehr gegeben war, führten zur Entwicklung der „klassischen“ Idealtheorie für kommutative Ringe.
Definition
Ist
ein Ring, dann ist ein (dedekindsches) Ideal oder d-Ideal die Trägermenge
einer Untergruppe von (R, + ), für die gilt:
Eigenschaften
- Die Ideale eines Rings sind genau die Kerne der Ringhomomorphismen des Ringes.
- Die Ideale eines Rings bilden jeweils ein Hüllensystem, so dass die Ideale durch den zugehörigen Hüllenoperator
gegeben sind.
Bemerkungen
- Es entstanden weitere Idealbegriffe für Ringe, aber auch für andere algebraische Strukturen wie Verbände, Halbgruppen, Halbringe usw., die (mindestens) eine assoziative zweistellige Operation besitzen.
- Es gibt auch Ideale bei algebraischen Strukturen mit nicht assoziativen zweistelligen Operationen, z.B. Lie-Algebren.
- Der Begriff des Verbandsideals wurde auch für beliebige halbgeordnete Mengen zum Ordnungsideal verallgemeinert.
- In der Regel lässt man den Index weg, wenn klar ist, um welchen Hüllenoperator es sich handelt.
Allgemeine Idealoperatoren
Da in der Regel nur die jeweilige assoziative zweistellige Operation entscheidend für die Faktorisierung ist (der nicht assoziative Fall wird im folgenden nicht behandelt), ist es für eine allgemeine Idealtheorie ausreichend, Halbgruppen zu betrachten:
Gegeben sei im Folgenden stets eine kommutative multiplikative Halbgruppe
, und es sei
die Komplexmultiplikation über
, wobei
die Potenzmenge von S ist.
bildet dann einen u.a. kommutativen, assoziativen, vollständigen multiplikativen Verband mit einem Nullelement
.
Definition
Es soll nun
ein Hüllenoperator auf S sein, mit der Eigenschaft, dass
wird dann ein x * -Idealoperator oder kurz x * -Operator auf
genannt,
ist das x * -Idealsystem bzw. x * -System zu
, ein
heißt x * -Ideal und
ist das von
erzeugte x * -Ideal.
bezeichnet das von
erzeugte x * -Ideal und
ist das von
erzeugte x * -Hauptideal.
Bemerkung
ist gewöhnlich kein Ideal, weil es aber für die Idealarithmetik von Vorteil ist, soll hier auch
ein unechtes x * -Hauptideal sein, falls
.
Idealverbände
Auf
sind zwei zweistellige Operationen
gegeben, so dass
einen vollständigen Verband bildet, den Verband der x * -Ideale von
. Dabei ist
die x * -Idealverbindung,
der x * -Idealdurchschnitt.
Wie für alle Hüllensysteme gilt auch für jedes x * -Idealsystem:
Algebraische Idealoperatoren
ist genau dann algebraisch, wenn
algebraisch ist, also
und
Bezeichnet | A | die Mächtigkeit der Menge A, so existiert mit
immer ein algebraischer x * -Idealoperator zu
.
x-Idealoperatoren
Die x * -Idealmultiplikation
besitzt zwar die für Ideale charakteristische Eigenschaft
sie bietet aber im Allgemeinen noch nicht genügend Eigenschaften, um
gut untersuchen zu können. Als gut geeignet für eine allgemeine Idealtheorie hat sich hingegen die folgende Klasse von x * -Idealoperatoren erwiesen.
Definition
So genannte x-Idealoperatoren bzw. x-Operatoren
sind x * -Idealoperatoren, bei denen Translationen
``stetig´´ sind wie bei topologischen Abschlussoperatoren:
mit
für jedes
und alle
.
Eigenschaften
- Mit jedem x-Idealoperator
ist auch
ein x-Idealoperator.
- Für jeden x-Idealoperator
auf
folgt sogar
- Die zweiseitigen x-Ideale einer Halbgruppe
sind genau die Kerne von bestimmten Halbgruppenhomomorphismen von
, und es gilt
- Ein zweiseitiges x-Idealsystem bildet einen (kommutativen,) assoziativen, quasiganzen und vollständigen multiplikativen Verband
.
- Ebenso ist
für zweiseitige x-Ideale ein solcher multiplikativer Verband, der zudem stets algebraisch ist.
Bemerkungen
- Ein beliebiger x * -Idealoperator induziert stets einen x-Idealoperator, so dass auch x-Idealoperatoren sehr allgemeiner Natur sind.
- Ein anderer, abstrakter Ansatz für eine allgemeine Idealtheorie ist die Beschreibung von Idealsystemen durch entsprechende multiplikative Verbände.
- In der Regel können Begriffe aus der ``klassischen´´ Idealtheorie, wie Maximalideal, Primideal usw., problemlos für x-Ideale übernommen werden.
r-Idealoperatoren
Definition
Ein r-Idealoperator
auf
ist ein x-Idealoperator, der zusätzlich translationsabgeschlossenen ist, also
und für den auch noch gilt:
Eigenschaften
- Für jeden translationsabgeschlossenen x-Idealoperator
auf
folgt sogar
- Besitzt
ein Einselement 1, dann ist jeder translationsabgeschlossene x-Idealoperator
auf
bereits ein r-Idealoperator und
und
ist ebenfalls ein r-Idealoperator.
- Jedes zweiseitige r-Hauptideal ist ein Multiplikationsideal, d.h.
- Ein zweiseitiges (a)r ist in
kürzbar, also
- wenn
in
kürzbar ist.
Bemerkung
- r-Idealsysteme weisen alle wesentlichen Eigenschaften der d-Idealsysteme von Ringen auf, weshalb sie eine gute Untersuchung der Teilbarkeitsverhältnisse in
erlauben.
Literatur
- H. Prüfer: Untersuchungen über die Teilbarkeitseigenschaften von Körpern. J. reine angew. Math. 168 (1932), 1--36.
- K. E. Aubert: Theory of x-ideals. Acta Math. 107 (1962), 1--52.
- I. Fleischer: Equivalence of x-systems and m-lattices, in: Colloquia Mathematica Societatis Janos Bolyai, 33. Contributions to Lattice Theory, Szeged, 1980. North-Holland, Amsterdam-Oxford-New York, 1983, S. 381--400.
- P. Lorenzen: Abstrakte Begründung der multiplikativen Idealtheorie. Math. Z. 45 (1939), 533--553.
- M. Ward, R.P. Dilworth: The lattice theory of ova. Ann. Math. 40 (1939), 600--608.
- L. Fuchs: Teilweise geordnete algebraische Strukturen. Vandenhoeck & Ruprecht, Göttingen, 1966.
- G. Birkhoff: Lattice Theory. American Mathematical Society, Providence, R.I., 3rd ed. 1973.
Wikimedia Foundation.