Maximales Ideal

Maximales Ideal

Maximales Ideal ist ein Begriff aus der Algebra.

Definition

Es sei R ein Ring. Dann heißt ein Ideal \mathfrak{m} \subsetneq R maximal, wenn \mathfrak{m} ein maximales Element ist in der durch die (mengentheoretische) Inklusion \subseteq halbgeordneten Menge aller echten Ideale. D.h. für jedes echte Ideal \mathfrak{a} \subsetneq R gilt:

Aus \mathfrak{a} \supseteq \mathfrak{m} folgt \mathfrak{a} = \mathfrak{m}.

In anderen Worten:

Ein echtes Ideal \mathfrak{m} \subsetneq R wird maximal genannt, wenn es kein anderes echtes Ideal von R gibt, das \mathfrak{m} ganz enthält.

Bemerkungen

  • Entsprechendes gilt jeweils für Links- bzw. Rechtsideale.
  • Mit Hilfe des Zornschen Lemmas kann man zeigen, dass jedes echte Ideal in einem Ring mit Einselement 1 in einem maximalen Ideal enthalten ist.
  • Daraus folgt wiederum, dass jedes Element eines kommutativen Ringes mit 1, das keine Einheit ist, in einem maximalen Ideal enthalten sein muss. In nichtkommutativen Ringen ist das i.A. falsch, wie das Beispiel der Matrizenringe über (Schief)Körpern zeigt.
  • Sei \mathfrak{m} ein Ideal des kommutativen Ringes R mit 1. Der Faktorring R/\mathfrak{m} ist genau dann ein Körper, wenn \mathfrak{m} maximal ist. Insbesondere heißt dies: Das Bild eines Ringhomomorphismus ist genau dann ein Körper, wenn dessen Kern maximal ist.
  • Ringe können mehrere maximale Ideale enthalten. Ein Ring, der nur ein einziges maximales Links- oder Rechtsideal besitzt, wird als lokaler Ring bezeichnet. Dies ist dann ein zweiseitiges Ideal, und der Faktorring R/\mathfrak{m} wird als der Restklassenkörper des Rings R \, bezeichnet.
  • Ein maximales (zweiseitiges) Ideal \mathfrak{m}\subseteq R eines Ringes R ist genau dann prim, wenn RR \nsubseteq \mathfrak{m}. Insbesondere ist \mathfrak{m} prim, falls R ein Einselement enthält.

Beispiele

\mathrm{ev}_0\colon C(\mathbb R) \rightarrow \mathbb{R},\quad f \mapsto f(0).
Mit anderen Worten: diejenige Abbildung die jede Funktion an der Stelle 0 auswertet. Das Bild von ev0 ist \mathbb{R}, also ein Körper. Somit ist der Kern, also die Menge aller Funktionen mit f(0) = 0, ein maximales Ideal.

Wikimedia Foundation.

См. также в других словарях:

  • Ideal (Ringtheorie) — In der abstrakten Algebra ist ein Ideal eines Ringes R eine Teilmenge I, die abgeschlossen bezüglich R Linearkombinationen ist. Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen… …   Deutsch Wikipedia

  • Zweiseitiges Ideal — In der abstrakten Algebra ist ein Ideal eines Ringes R eine Teilmenge I, die abgeschlossen bezüglich R Linearkombinationen ist. Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen… …   Deutsch Wikipedia

  • Maximalideal — Maximales Ideal ist ein Begriff aus der Algebra. Definition Es sei R ein Ring. Dann heißt ein Ideal maximal, wenn ein maximales Element ist in der durch die (mengentheoretische) Inklusion (teilweise) geordneten Menge aller …   Deutsch Wikipedia

  • Zorns Lemma — Das Lemma von Zorn, auch bekannt als Zorns Lemma, Kuratowski Zorn Lemma oder zornsches Lemma, ist ein Theorem der Mengenlehre, genauer gesagt, der Zermelo Fraenkel Mengenlehre, die das Auswahlaxiom einbezieht. Es besagt: Jede nichtleere… …   Deutsch Wikipedia

  • Zornsches Lemma — Das Lemma von Zorn, auch bekannt als Zorns Lemma, Kuratowski Zorn Lemma oder zornsches Lemma, ist ein Theorem der Mengenlehre, genauer gesagt, der Zermelo Fraenkel Mengenlehre, die das Auswahlaxiom einbezieht. Es besagt: Jede nichtleere… …   Deutsch Wikipedia

  • Lemma von Zorn — Das Lemma von Zorn, auch bekannt als Lemma von Kuratowski Zorn, ist ein Theorem der Mengenlehre, genauer gesagt, der Zermelo Fraenkel Mengenlehre, die das Auswahlaxiom einbezieht. Es ist benannt nach dem deutsch amerikanischen Mathematiker Max… …   Deutsch Wikipedia

  • Lokaler Ring — Ein lokaler Ring ist im mathematischen Gebiet der Ringtheorie ein Ring, in dem es genau ein maximales Links oder Rechtsideal gibt. Lokale Ringe spielen in der algebraischen Geometrie eine wichtige Rolle, um das „lokale Verhalten“ von Funktionen… …   Deutsch Wikipedia

  • Ideale Zahl — In der abstrakten Algebra ist ein Ideal eines Ringes R eine Teilmenge I, die abgeschlossen bezüglich R Linearkombinationen ist. Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen… …   Deutsch Wikipedia

  • Linksideal — In der abstrakten Algebra ist ein Ideal eines Ringes R eine Teilmenge I, die abgeschlossen bezüglich R Linearkombinationen ist. Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen… …   Deutsch Wikipedia

  • Rechtsideal — In der abstrakten Algebra ist ein Ideal eines Ringes R eine Teilmenge I, die abgeschlossen bezüglich R Linearkombinationen ist. Die Bezeichnung „Ideal“ ist abgeleitet aus dem Begriff „ideale Zahl“: Ideale können als Verallgemeinerung von Zahlen… …   Deutsch Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»