7.3 Gruppe

Eine Mange {a,b,c} bildet eine Gruppe G, wenn gilt:

• Für alle a, b ist a, b G
• (ab)c = a(bc)
• Es existiert ein I für alle a, so daß Ia = aI = a gilt. Man nennt I neutrales Element.
• Es existiert ein a^-1 für alle a, so daß aa^-1 = a^-1a = I ist. a^-1 ist das inverse Element.