Artinscher Modul

Der Begriff artinscher Ring oder artinscher Modul (nach Emil Artin) beschreibt im mathematischen Teilgebiet der Algebra eine gewisse Endlichkeitsbedingung. Der Begriff weist einige Analogien zum Begriff des noetherschen Rings auf, die beiden Begriffe sind aber nicht auf ganz einfache Weise miteinander verbunden. Zum Beispiel ist jeder artinsche Ring noethersch, aber nicht umgekehrt.

Artinscher Modul

Definition

Ein Modul $M$ über einem Ring $R$ mit $1$ heißt artinsch, wenn er eine der folgenden äquivalenten Bedingungen erfüllt:

• Jede nichtleere Menge von $R$-Untermoduln von $M$ hat ein minimales Element bezüglich Inklusion.
• Jede absteigende Folge von Untermoduln wird stationär, d. h. in einer Kette $M_{1}\supseteq M_{2}\supseteq M_{3}\supseteq \dotsb$ gibt es einen Index $n$, so dass für alle $i>n$ gilt: $M_{i}=M_{n}$.
• Für jede Familie $\left(M_{i}\right)_{i\in I}$ von Untermoduln existiert eine endliche Teilmenge $I_{0}$ von $I$, so dass gilt: $\bigcap _{i\in I}M_{i}=\bigcap _{i\in I_{0}}M_{i}$

Beispiele

• Jeder endliche Modul ist artinsch.
• Jeder endlich erzeugte Modul über einem artinschen Ring ist artinsch.
• $\mathbb {Z}$ ist kein artinscher $\mathbb {Z}$-Modul.
• Eine endliche direkte Summe artinscher Moduln ist artinsch.
• Ist $R$ eine (assoziative) Algebra über einem Körper $K$, und hat ein $R$-Modul $M$ endliche $K$-Dimension, so ist $M$ artinsch. Beispielsweise sind die Ringe $K\times K$ und $K[T]/(T^{n})$ artinsch.
• Die Prüfergruppe $\mathbb {Z} \left[{\tfrac {1}{p}}\right]{\Big /}\mathbb {Z}$ als $\mathbb {Z}$-Modul ist artinsch, jedoch nicht $\mathbb {Z} \left[{\tfrac {1}{p}}\right]$.

Eigenschaften

• Jeder injektive Endomorphismus ist ein Automorphismus.
• Für eine exakte Sequenz von Moduln $0\rightarrow M_{1}\rightarrow M_{2}\rightarrow M_{3}\rightarrow 0$ sind äquivalent:
  1. $M_{2}$ ist artinsch,
  2. $M_{1},M_{3}$ sind artinsch.
• Für einen (Links-)Modul $M$ über einem (links-)artinschen Ring $R$ sind äquivalent:
  • M ist (links-)artinsch,
  • M ist (links-)noethersch,
  • M ist endlich erzeugt.

Artinscher Ring

Definition

Ein Ring Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} heißt linksartinsch, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} artinsch als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} -Linksmodul ist.

Ein Ring Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} heißt rechtsartinsch, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} artinsch als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} -Rechtsmodul ist.

Ein Ring Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} heißt artinsch, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} links- und rechtsartinsch ist.

(Man beachte: Die Untermoduln sind dann gerade die (Links- / Rechts-)Ideale.)

Beispiele

• Körper sind artinsch.
• Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ein Körper, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} eine endlich erzeugte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} -Algebra (d. h. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R \simeq K[X]/I } für ein geeignetes Ideal Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I \subseteq K[X] } ), dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} ein artinscher Ring genau dann, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \dim_K(R) < \infty } .
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{pmatrix} \mathbb{Z} & \mathbb{Q} \\ 0 & \mathbb{Q} \end{pmatrix} } ist rechtsnoethersch, aber weder linksartinsch noch linksnoethersch.
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{pmatrix} \mathbb{Q} & \mathbb{R} \\ 0 & \mathbb{R} \end{pmatrix} } ist rechtsartinsch, aber nicht linksartinsch.

Eigenschaften

• Ein artinscher Ring ist noethersch.
• Genauer ist ein kommutativer Ring mit Einselement genau dann artinsch, wenn er noethersch und nulldimensional ist (also wenn jedes Primideal ein maximales Ideal ist).
• Ein artinscher Integritätsring ist bereits ein Körper. Es gilt sogar folgende stärkere Aussage: Ein Integritätsring, der die absteigende Kettenbedingung für Hauptideale erfüllt, ist ein Körper.
• Ist in einem Ring das Nullideal Produkt maximaler Ideale, so ist der Ring genau dann artinsch, wenn er noethersch ist.
• In einem artinschen Ring existieren nur endlich viele maximale Ideale (und damit nur endlich viele Primideale).
• In einem artinschen Ring ist das Nilradikal nilpotent.
• Jeder artinsche Ring ist endliches Produkt artinscher lokaler Ringe.

Literatur

• K. A. Zhevlakov: Artinian ring. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).