tiefere Gruppentheorie Flashcards
Gruppenoperation
Sei G eine Gruppe und M eine Menge. Eine ~ von G auf M (G-Operation auf M) ist eine Abb. Φ : G x M → M, Φ(g, x) =: g ・ x, für die gilt:
1) e ・ x = x für alle x Element M
2) (g1* g2) ・ x = g1 ・ (g2 ・ x) für alle gi Element G und x Element M
Bahn
Ist eine G - Operation auf M gegeben, dann nennen wir für jedes x Element M die Teilmenge G ・ x = {g ・ x : g Element G} die Bahn durch x
Ring
Es sei R eine komm. Gruppe bzgl. + mit neutralem Element 0. Wenn auf R zusätzlich eine Verknüpfung ・: R x R → R definiert ist, sodass gilt:
1) r1 ・ (r2 ・ r3) = (r1 ・ r2) ・ r3für alle r1, r2, r3 Element R (Assoziativgesetz)
2) r1 ・ r2 = r2 ・ r1 für alle r1, r2 Element R (Komm.-Gesetz)
3) r1 ・ (r2 + r3) = (r1・ r2) + (r1 ・ r3) so ist R ein komm. Ring. Falls außerdem: 1 ・ r = r für alle r Element R für alle r Element R, nennen wir R einen Ring mit 1.
Nullteilerfrei
Sei R komm. Ring mit 1. Wir nennen R ~, falls
x1 ・ x2 = 0 ⇒ x1 = 0 oder x2 = 0
Primzahl
Es sei p Element IN. Wir nennen p eine Primzahl, falls gilt:
i) p >= 2 und
ii) aus p = n1 ・ n2, wobei njElement IN, => n1 = 1 oder n2 = 1
teilbar durch p (Element IN)
n Element N ist ~, falls n = k ・ p für ein k Element IN>=2
Produktgruppe
G1, G2 seien Gruppen. Die ~ G1 x G2 ist die Menge G1 x G2 mit der Verknüpfung m((g1, g2), (h1, h2)) = (g1 ・ h1, g2 ・ h2)
Gruppenhomomorphismus
Es seien G, H Gruppen. Eine Abbildung φ: G → H, die die Gruppenstrukturen respektiert, nennen wir einen ~. D.h. für alle g1, g2Element G gilt: φ(g1 ・ g2) = φ(g1) * φ(g2)
Ringhomomorphismus
Es seien R1 und R2 Ringe. Ein ~ ist ein Gruppenhom. φ: R1 → R2 (bzgl.+), für den gilt: φ(a ・ b) = φ(a) ・ φ(b) a,b Element R (“・” ist übliche Multiplikation)
Unterring
Es sei R ein komm. Ring mit 1. Ein Unterring I von R ist eine Untergruppe I von R (bezüglich +), für die gilt: Aus a, b Element I => a ・ b Element I
Ideal
Ein Unterring I von R ist ein Ideal, falls für alle a Element R und b Element I gilt: a ・ b Element I
Körper
Ein Körper IK ist ein komm. Ring mit 1, sodass jedes x Element IK* := IK \ {0} ein multiplikatives Inverses hat und nicht leer ist (…).
(G-)invariant
Gruppe G operiere auf M. Eine Teilmenge U von M heißt ~, wenn sie eine Vereinigung von G-Bahnen ist. D.h. g Element G, x Element U => g * x Element U