„Triviale Gruppe“ – Versionsunterschied

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
[gesichtete Version][gesichtete Version]
Inhalt gelöscht Inhalt hinzugefügt
KLBot2 (Diskussion | Beiträge)
K Bot: 11 Interwiki-Link(s) nach Wikidata (d:Q568687) migriert
etwas überarbeitet und ein paar triviale Eigenschaften ergänzt
Zeile 1: Zeile 1:
Eine '''triviale Gruppe''' (<math>\Z_1 \cong S_1 \cong A_2 \cong (\cdot, \{ e \})</math>) ist eine Gruppe aus dem Bereich der [[Gruppentheorie]], deren [[Trägermenge]] genau ein Element enthält.
Die '''triviale Gruppe''' ist in der [[Gruppentheorie]] eine [[Gruppe (Mathematik)|Gruppe]], deren [[Trägermenge]] genau ein [[Element (Mathematik)|Element]] enthält. Die triviale Gruppe ist bis auf [[Gruppenisomorphismus|Isomorphie]] eindeutig bestimmt.

== Definition ==
Die triviale Gruppe <math>(\{ e \}, \cdot)</math> ist eine [[Gruppe (Mathematik)|Gruppe]] bestehend aus der einelementigen [[Menge (Mathematik)|Menge]] <math>\{ e \}</math> versehen mit der einzig möglichen [[Zweistellige Verknüpfung|Gruppenoperation]]

:<math>e \cdot e = e</math>.

Das Element <math>e</math> ist damit das [[Neutrales Element|neutrale Element]] der Gruppe.

== Beispiele ==

Alle trivialen Gruppen sind zueinander [[Gruppenisomorphismus|isomorph]]. Beispiele für triviale Gruppen sind:
* die [[zyklische Gruppe]] <math>C_1</math> vom Grad <math>1</math>
* die [[alternierende Gruppe]] <math>A_2</math> vom Grad <math>2</math>
* die [[symmetrische Gruppe]] <math>S_1</math> einer einelementigen Menge


== Eigenschaften ==
== Eigenschaften ==
Alle trivialen Gruppen sind [[Isomorphismus|isomorph]], da bei einer einelementigen Trägermenge zwingend <math>e \cdot e = e</math> gilt, wobei <math>e</math> das neutrale Element ist. Die [[zyklische Gruppe]] <math> \Z_1 </math> vom Grad 1 ist eine triviale Gruppe, ebenso wie die [[alternierende Gruppe]] <math> A_2 </math> vom Grad 2. Die [[symmetrische Gruppe]] <math>S_1</math> einer Menge mit einem Element ist ebenfalls eine triviale Gruppe.


Da die Operation <math>\cdot</math> kommutativ ist, ist sie eine [[abelsche Gruppe]]. Die triviale Gruppe wird nicht als [[Endliche einfache Gruppe|einfache Gruppe]] angesehen, da sie [[Normalteiler]] jeder Gruppe ist.
* Da die Gruppenoperation <math>\cdot</math> kommutativ ist, ist die triviale Gruppe eine [[abelsche Gruppe]].
* Die einzige [[Untergruppe]] der trivialen Gruppe ist die triviale Gruppe selbst.
* Die trivale Gruppe wird von der leeren Menge [[Erzeuger (Algebra)|erzeugt]]: <math>\{ e \} = \langle \emptyset \rangle</math>. Hierbei ergibt das [[Leeres Produkt|leere Produkt]] nach üblicher Konvention das neutrale Element.
* Jede Gruppe enthält die triviale Gruppe und sich selbst als ([[Trivialität|triviale]]) [[Normalteiler]]. Die triviale Gruppe wird daher nicht als [[Endliche einfache Gruppe|einfache Gruppe]] angesehen.
* In der [[Kategorie (Mathematik)|Kategorie]] der Gruppen '''Grp''' fungiert die triviale Gruppe als [[Nullobjekt (Kategorientheorie)|Nullobjekt]].

== Siehe auch ==
* [[Nullring]]
* [[Nullvektorraum]]

== Literatur ==
* {{Literatur|Autor=Rainer Schulze-Pillot|Titel=Einführung in Algebra und Zahlentheorie|Verlag=Springer|Jahr=2008|ISBN=3-540-79570-7}}
* {{Literatur|Autor=Jürgen Wolfart|Titel=Einführung in die Zahlentheorie und Algebra|Verlag=Springer|Jahr=2010|ISBN=3-834-89833-3}}


== Quellen ==
== Weblinks ==
* {{MathWorld|title=Trivial Group|urlname=TrivialGroup|author=Rowland, Todd and Weisstein, Eric W.}}
* {{MathWorld|title=Trivial Group|urlname=TrivialGroup|author=Todd Rowland, Eric W. Weisstein}}


[[Kategorie:Endliche Gruppe]]
[[Kategorie:Endliche Gruppe]]

Version vom 7. Mai 2013, 08:54 Uhr

Die triviale Gruppe ist in der Gruppentheorie eine Gruppe, deren Trägermenge genau ein Element enthält. Die triviale Gruppe ist bis auf Isomorphie eindeutig bestimmt.

Definition

Die triviale Gruppe ist eine Gruppe bestehend aus der einelementigen Menge versehen mit der einzig möglichen Gruppenoperation

.

Das Element ist damit das neutrale Element der Gruppe.

Beispiele

Alle trivialen Gruppen sind zueinander isomorph. Beispiele für triviale Gruppen sind:

Eigenschaften

  • Da die Gruppenoperation kommutativ ist, ist die triviale Gruppe eine abelsche Gruppe.
  • Die einzige Untergruppe der trivialen Gruppe ist die triviale Gruppe selbst.
  • Die trivale Gruppe wird von der leeren Menge erzeugt: . Hierbei ergibt das leere Produkt nach üblicher Konvention das neutrale Element.
  • Jede Gruppe enthält die triviale Gruppe und sich selbst als (triviale) Normalteiler. Die triviale Gruppe wird daher nicht als einfache Gruppe angesehen.
  • In der Kategorie der Gruppen Grp fungiert die triviale Gruppe als Nullobjekt.

Siehe auch

Literatur

  • Rainer Schulze-Pillot: Einführung in Algebra und Zahlentheorie. Springer, 2008, ISBN 3-540-79570-7.
  • Jürgen Wolfart: Einführung in die Zahlentheorie und Algebra. Springer, 2010, ISBN 3-8348-9833-3.

Weblinks