fsymbols
Symbole werden geladen…
››
⊲

Normalteiler von

Normalteiler von

179/256

In der Gruppentheorie bedeutet H ⊲ G, dass H ein Normalteiler von G ist: Verknüpft man ein Element aus H mit einem Element aus G und dessen Inversen, bleibt das Ergebnis in H. So lässt sich die Faktorgruppe G/H bilden; dabei gelten Elemente als gleichwertig, wenn sie sich um ein Element aus H unterscheiden. Ob H kleiner als G sein muss, hängt von der Konvention des Autors ab.

Textsymbol

Was bedeutet ⊲

Die Gruppe links ist ein Normalteiler der Gruppe rechts. Bei H ⊲ G bleibt jedes Element aus H in H, wenn man es mit einem Element aus G und dessen Inversen verknüpft. Dann stimmen auch die Links- und Rechtsnebenklassen von H überein.

Die Bezeichnung ist älter als dieses Zeichen. Der deutsche Mathematiker Heinrich Weber verwendete „Normalteiler“ in seinem Algebra-Lehrbuch Lehrbuch der Algebra 1895–1896. Frühere Bezeichnungen waren etwa „invarianter Untergruppe“ und „selbstkonjugierte Untergruppe“; der englische Gebrauch von „normal subgroup“ ist für 1908 belegt.

Welche Dreiecksnotation solltest du verwenden?

Prüfe die Definitionen des Autors; es gibt keine einheitliche Konvention.

Manche Texte verwenden ⊲ oder nur, wenn H eine echte Untergruppe von G ist, also kleiner als G. Die Form mit Gleichheitsbalken erlaubt häufig H G. Da die Konventionen variieren, halte dich an die Definition im jeweiligen Buch oder Artikel.

Teil der Sammlung

Nicht verwechseln mit

2

Kombinationsideen

1
Die Faktorgruppe, in der Elemente aus G als gleichwertig gelten, wenn sie sich um ein Element aus H unterscheiden.

Häufige Fragen

1

Ist die Normalteilerrelation transitiv?

Nein. Aus H ⊲ K und K ⊲ G folgt nicht zwingend H ⊲ G; die Normalität muss jeweils gegenüber der konkreten Obergruppe geprüft werden.

⊲ eingeben oder finden

Auch genannt
Symbol für einen Normalteiler · Dreiecksrelation nach links
Suche nach
triangleleft · trianglelefteq · Normalteilersymbol · Normalteiler-Notation · Notation der Gruppentheorie · \vartriangleleft · \vartrianglelefteq
Erscheint in
Alles, was Text aufnimmt · seine Form hängt von deiner Schriftart ab
Windows (Word)
⎇Alt+XGib 22B2 ein und drücke AltX für ⊲.
Windows
⊞Win+RStarte charmap für die vollständige Tabelle oder nutze den Ω-Reiter der Emoji-Auswahl (Win .).
macOS
⌃Control+⌘Command+␣SpaceÖffne die Zeichenübersicht und suche nach „normal subgroup of“.
Linux
⎈Ctrl+⇧Shift+UGib 22b2 ein und drücke Enter oder die Leertaste.
HTML
⊲
CSS
\22B2
⊲ in LaTeX eingeben
Lade in LaTeX das Mathematik-Symbolpaket amssymb und schreibe \vartriangleleft für ⊲.
Gleichheit zugelassen
Mit dem Paket amssymb schreibst du \vartrianglelefteq für die Form, die meist H G zulässt.
Codes und KodierungCodepunkte: 1
HTML dezimal
⊲
HTML hexadezimal
⊲
CSS-Inhalt
content: "\22B2";
Jede Escape-Sequenz endet am nächsten Rückstrich; vor einer wörtlichen Hexadezimalziffer ist ein Leerzeichen nötig.
URL-kodiert
%E2%8A%B2
1
Auf dem Bildschirm
1
Codepunkte
1
JS .length
3
UTF-8-Bytes

Ein sichtbares Symbol kann mehrere Codepunkte enthalten. JS .length zählt UTF-16-Einheiten; UTF-8 zählt Bytes.

Gruppen dieses Symbols

1

Mathematik und Zahlen1.835 Symbole