Modul (Mathematik)

aus Freepedia, der freien Wissensdatenbank

Links- oder Rechts-Modul

berührt die Spezialgebiete

Mathematik Abstrakte Algebra Lineare Algebra

ist Spezialfall von

additive Abelsche Gruppe trägt Operation eines Rings

umfasst als Spezialfälle

Ring (Modul über sich selbst) kommutativer Modul Vektorraum

Ein Modul (maskulinum, auf der ersten Silbe betont; Plural: Moduln) ist eine algebraische Struktur, die eine Verallgemeinerung eines Vektorraums ist.

Inhaltsverzeichnis 1 Moduln über einem kommutativen Ring mit Einselement 1.1 Beispiele 2 Moduln über einem beliebigen Ring 2.1 Alternative Definitionen 2.2 Bimoduln 3 Moduln über einer assoziativen Algebra 4 Moduln über einer Liealgebra 5 Moduln über einer Gruppe

Moduln über einem kommutativen Ring mit Einselement

In diesem einfachsten Fall kann man direkt die Axiome eines Vektorraums abschreiben und überall "Körper" durch "Ring" ersetzen: Ein Modul über einem kommutativen Ring <math>(R, +, \cdot)</math> mit Einselement ist eine abelsche Gruppe <math>(M, +)</math> zusammen mit einer Abbildung

<math>R\times M\to M,\quad(r,m)\mapsto r\cdot m</math> ("Skalarmultiplikation"),

so dass gilt:

<math>r_1\cdot(r_2\cdot m) = (r_1\cdot r_2)\cdot m</math>

<math>(r_1+r_2)\cdot m=r_1\cdot m+r_2\cdot m</math>

<math>r\cdot (m_1+m_2)=r\cdot m_1+r\cdot m_2</math>

Fordert man zusätzlich noch <math>1\cdot m=m</math>, so nennt man den Modul unitär.

Das Studium dieser Moduln ist Gegenstand der kommutativen Algebra.

Beispiele

1. Jede abelsche Gruppe ist auf eindeutige Weise ein unitärer <math>\mathbb{Z}</math>-Modul: Wegen

<math>1\cdot m=m</math>

ist

<math>k\cdot m=m+\ldots+m</math> und <math>(-k)\cdot m=-(m+\ldots+m)</math>

für natürliche Zahlen <math>k</math> (hier wurde die abelsche Gruppe additiv geschrieben).

2. <math>k[T]</math>-Moduln für einen Körper <math>k</math> sind Paare <math>(V, A)</math> bestehend aus einem <math>k</math>-Vektorraum <math>V</math> und einem Endomorphismus <math>A</math> von <math>V</math>:

• Zu einem <math>k[T]</math>-Modul <math>V</math> betrachten wir das Paar <math>(V, A)</math>, bei dem <math>A</math> durch

<math>V\to V,\quad v\mapsto T\cdot v.</math>

gegeben ist.

• Zu einem Paar <math>(V, A)</math> definieren wir eine <math>k[T]</math>-Modulstruktur durch

<math>p(T)\cdot v:=p(A) v=a_0 v + a_1\cdot Av + a_2\cdot A^2v + \ldots + a_n\cdot A^nv</math>

für <math>p(T)=a_0+a_1T+a_2T^2+\ldots+a_nT^n\in k[T].</math>

3. Jeder Ring ist ein Modul über sich selbst mit der Ringmultiplikation als Operation.

Moduln über einem beliebigen Ring

Es sei <math>R</math> ein Ring.

Ein <math>R</math>-Linksmodul ist eine abelsche Gruppe <math>M</math> zusammen mit einer <math>\mathbb{Z}</math>-bilinearen Abbildung

<math>R\times M\to M,\quad (r,m)\mapsto r\cdot m = rm,</math>

d.h.

<math>(r_1+r_2)m=r_1m+r_2m</math> und <math>r(m_1+m_2)=rm_1+rm_2,</math>

so dass

<math>r_1(r_2m)=(r_1r_2)m</math> für alle <math>r_1,r_2\in R,m\in M</math>

gilt. Wird <math>R</math> als unitär angenommen, so fordert man meist auch, dass <math>M</math> ein unitärer Modul ist, d.h.

<math>1\cdot m=m.</math>

Ein <math>R</math>-Rechtsmodul ist eine abelsche Gruppe <math>M</math> zusammen mit einer <math>\mathbb{Z}</math>-bilinearen Abbildung

<math>M\times R\to M,\quad (m,r)\mapsto m\cdot r=mr,</math>

so dass

<math>(mr_1)r_2 = m(r_1r_2)</math> für alle <math>r_1,r_2\in R,m\in M.</math>

Unitäre Rechtsmoduln sind analog zu unitären Linksmoduln definiert.

Ist <math>R</math> kommutativ, so stimmen die Begriffe Links- und Rechtsmodul (bis auf die Schreibweise) überein, und man spricht einfach von <math>R</math>-Moduln.

Alternative Definitionen

• Ein <math>R</math>-Linksmodul ist eine abelsche Gruppe <math>M</math> zusammen mit einem (ggf. unitären) Ringhomomorphismus

<math>R\to\mathrm{End}_{\mathbb Z}\,M.</math>

Dabei ist <math>\mathrm{End}_{\mathbb Z}\,M </math> der Ring der Endomorphismen von <math>M</math> mit der Verknüpfung als Produkt:

<math>(f_1\cdot f_2)(m) = f_1(f_2(m))</math> für <math>f_1,f_2\in\mathrm{End}_{\mathbb Z}\,M, m\in M.</math>

• Ein <math>R</math>-Rechtsmodul ist eine abelsche Gruppe <math>M</math> zusammen mit einem (ggf. unitären) Ringhomomorphismus

<math>R\to(\mathrm{End}_{\mathbb Z}\,M)^{\mathrm{op}};</math>

Dabei sei <math>(\mathrm{End}_{\mathbb Z}\,M)^\mathrm{op}</math> der Ring der Endomorphismen von <math>M</math> mit der Rechtsverknüpfung als Produkt:

<math>(f_1\cdot f_2)(m) = f_2(f_1(m))</math> für <math>f_1,f_2\in(\mathrm{End}_{\mathbb Z}\,M)^{\mathrm{op}}, m\in M.</math>

Bimoduln

Es seien <math>R</math> und <math>S</math> Ringe. Dann ist ein <math>R</math>-<math>S</math>-Bimodul eine abelsche Gruppe <math>M</math> zusammen mit einer <math>R</math>-Linksmodul- und einer <math>S</math>-Rechtsmodulstruktur, so dass

<math>(rm)s=r(ms)</math> für <math>r\in R,s\in S,m\in M</math>

gilt.

Alternativ ist ein <math>R</math>-<math>S</math>-Bimodul eine abelsche Gruppe <math>M</math> zusammen mit einem Ringhomomorphismus

<math>R\times S^{\mathrm{op}}\to\mathrm{End}_{\mathbb Z}\,M.</math>

Moduln über einer assoziativen Algebra

Ist <math>R</math> ein kommutativer Ring und <math>A</math> eine assoziative R-Algebra, so ist ein <math>A</math>-Linksmodul ein <math>R</math>-Modul <math>M</math> zusammen mit einem <math>R</math>-Modulhomomorphismus

<math>A\otimes_RM\to M,\quad a\otimes m\mapsto am,</math>

so dass

<math>a_1(a_2m)=(a_1a_2)m</math> für <math>a_1,a_2\in A,m\in M</math>

gilt.

Ein <math>A</math>-Rechtsmodul ist ein <math>R</math>-Modul <math>M</math> zusammen mit einem <math>R</math>-Modulhomomorphismus

<math>M\otimes_RA\to M,\quad a\otimes m\mapsto am,</math>

so dass

<math>(ma_1)a_2=m(a_1a_2)</math> für <math>a_1,a_2\in A,m\in M</math>

gilt.

Unitäre Moduln und Bimoduln sind analog zum Fall der Ringe definiert.

Moduln über einer Liealgebra

Es sei <math>\mathfrak g</math> eine Liealgebra über einem Körper <math>k</math>. Ein <math>\mathfrak g</math>-Modul oder eine Darstellung von <math>\mathfrak g</math> ist ein <math>k</math>-Vektorraum <math>M</math> zusammen mit einer <math>k</math>-bilinearen Abbildung

<math>\mathfrak g\times M\to M,\quad (X,m)\mapsto X\cdot m = Xm,</math>

so dass

<math>[X,Y]m=XYm-YXm</math> für <math>X,Y\in\mathfrak g,m\in M</math>

gilt.

Alternativ ist ein <math>\mathfrak g</math>-Modul ein <math>k</math>-Vektorraum <math>M</math> zusammen mit einem Homomorphismus von Liealgebren über <math>k</math>

<math>\mathfrak g\to\mathfrak{gl}(M);</math>

dabei ist <math>\mathfrak{gl}(M)</math> die <math>k</math>-Algebra der Endomorphismen von <math>M</math> mit dem Kommutator als Lieklammer.

<math>\mathfrak g</math>-Moduln sind dasselbe wie Moduln unter der universellen einhüllenden Algebra von <math>\mathfrak g</math>.

Moduln über einer Gruppe

Es sei <math>(G,\cdot)</math> eine Gruppe. Ein <math>G</math>-Linksmodul ist eine abelsche Gruppe <math>(M,+)</math> zusammen mit einer Abbildung

<math>G\times M\to M, (g,m)\mapsto gm:=g\cdot m</math>,

so dass

<math>g(m_1+m_2)=gm_1+gm_2</math> für <math>g\in G,m_1,m_2\in M</math>

und

<math>(g_1g_2)m=g_1(g_2m)</math> für <math>g_1,g_2\in G,m\in M</math>

gilt.

Ein <math>G</math>-Rechtsmodul ist analog definiert; die zweite Bedingung ist durch

<math>m(g_1g_2)=(mg_1)g_2</math> für <math>g_1,g_2\in G,m\in M</math>

zu ersetzen.

Alternativ dazu ist ein <math>G</math>-Linksmodul eine abelsche Gruppe <math>(M,+)</math> zusammen mit einem Gruppenhomomorphismus

<math>G\to\mathrm{Aut}_{\mathbb Z}\,M;</math>

dabei ist <math>\mathrm{Aut}_{\mathbb Z}\,M = (\mathrm{End}_{ \mathbb Z}\,M )^\times</math> die Gruppe der Automorphismen von <math>M</math> mit der Verknüpfung

<math>(f_1\cdot f_2)(m)=f_1(f_2(m))</math> für <math>f_1,f_2\in\mathrm{Aut}_{\mathbb Z}\,M,m\in M.</math>

Ein <math>G</math>-Rechtsmodul ist eine abelsche Gruppe <math>(M,+)</math> zusammen mit einem Gruppenhomomorphismus

<math>G\to(\mathrm{Aut}_{\mathbb Z}\,M)^{\mathrm{op}};</math>

das Produkt auf <math>(\mathrm{Aut}_{\mathbb Z}\,M)^{\mathrm{op}}</math> ist durch

<math>(f_1\cdot f_2)(m)=f_2(f_1(m))</math> für <math>f_1,f_2\in(\mathrm{Aut}_{\mathbb Z}\,M)^{\mathrm{op}},m\in M</math>

gegeben.

Ist <math>R</math> weiter ein Ring, so ist ein <math>G</math>-<math>R</math>-Modul eine abelsche Gruppe mit einer <math>R</math>-Modul- und einer <math>G</math>-Modulstruktur, die in dem folgenden Sinne kompatibel sind:

<math>r(gm)=g(rm)</math> für <math>r\in R,g\in G,m\in M.</math>

Alternativ ist ein <math>G</math>-<math>R</math>-Modul ein <math>R</math>-Modul zusammen mit einem Gruppenhomomorphismus

<math>G\to\mathrm{Aut}_R\,M;</math>

dabei ist Aut_R <math>M</math> die Gruppe der Automorphismen von <math>M</math> als <math>R</math>-Modul.

<math>G</math>-<math>R</math>-Moduln sind dasselbe wie Moduln über dem Gruppenring <math>R[G]</math>.

Ist <math>k</math> speziell ein Körper, so stimmt der Begriff des <math>G</math>-<math>k</math>-Moduls mit dem der <math>k</math>-linearen Darstellung von <math>G</math> überein.