Für einen Integritätsbereich R mit Bruchkörper K ist ein Bruchideal ein R-Untermodul I von K, für das es ein nichtverschwindendes r in R gibt, so dass rI ein (ganzes) Ideal von R ist. Bruchideale erlauben Nenner und erweitern die Idealtheorie von R nach K bei Erhalt der multiplikativen Struktur.

Prinzip

Bruchideale sind skalierten Versionen gewöhnlicher Ideale im Bruchkörper; die Existenz eines gemeinsamen Nenners r macht sie mit ganzzahligen Idealen vergleichbar und ermöglicht Multiplikation und Inversion.

Demonstration

Im Fall R = Z und K = Q ist jede Menge der Form (a/b)Z = { (a/b)z : z in Z } ein Bruchideal: durch Multiplikation mit b erhält man aZ, ein gewöhnliches Ideal von Z. In einer Dedekind-Domäne ist jedes von Null verschiedene Bruchideal invertierbar.

Fehlanwendung

Beliebige additive Untergruppen von K als Bruchideale zu bezeichnen, ohne das Vorhandensein eines nichtverschwindenden r in R zu prüfen, das Nenner beseitigt, oder anzunehmen, Bruchideale seien Ideale von R statt R-Untermoduln von K.

Konsequenz

Bruchideale bilden unter der Idealproduktbildung eine abelsche Gruppe (mit Invertierbarkeit in geeigneten Ringen), und ihr Verhalten misst die Hindernisse zur Principialität über die Ideal-Klassengruppe; sie erlauben die multiplikative Behandlung von Teilbarkeit und Klasseninformation.

Umkehrung

Die umgekehrte Sicht ist, sich nur auf ganzzahlige Ideale zu beschränken; die Beschränkung auf Ideale von R verliert die multiplikativen Inversen und die Gruppenstruktur, die Bruchideale wiederherstellen.

Abgrenzung

Bruchideale sind nur für Integritätsbereiche mit Bruchkörper definiert; in Ringen mit Nullteilern sind sie nicht sinnvoll. Unterscheide Bruchideale von Idealen in Überringen: ein Bruchideal ist ein R-Untermodul von K, nicht notwendigerweise ein Ideal in R.

Semantische Spannung

Bruchideal versus primitives Bruchideal: Jedes prinzipiale Bruchideal ist von einem Element von K erzeugt, doch nicht-prinzipiale Bruchideale können mehrere Erzeuger brauchen oder sich bei Inversion anders verhalten; Bruchideal versus Überring-Ideal ist ebenfalls eine konkurrierende Lesart.

Synthese

Ein Bruchideal ist ein R-Untermodul des Bruchkörpers, das durch Beseitigen der Nenner mit einem nichtverschwindenden Element von R zu einem gewöhnlichen Ideal wird; diese Erweiterung stellt die multiplikative Gruppstruktur der Ideale wieder her und ist zentral für die Untersuchung der Klassengruppe und Faktorisierung in Dedekind-ähnlichen Kontexten.