The document defines properties of operations on sets including closure, associativity, identity elements, and inverse elements. It then defines magmas, semigroups, monoids, groups, and abelian groups based on which properties are satisfied by an operation on a set. Groups are defined as monoids where every element has an inverse element, and abelian groups are groups where the operation is also commutative. The document concludes with a theorem stating that if a set forms a group, its identity element is unique.
The document defines properties of operations on sets including closure, associativity, identity elements, and inverse elements. It then defines magmas, semigroups, monoids, groups, and abelian groups based on which properties are satisfied by an operation on a set. Groups are defined as monoids where every element has an inverse element, and abelian groups are groups where the operation is also commutative. The document concludes with a theorem stating that if a set forms a group, its identity element is unique.
The document defines properties of operations on sets including closure, associativity, identity elements, and inverse elements. It then defines magmas, semigroups, monoids, groups, and abelian groups based on which properties are satisfied by an operation on a set. Groups are defined as monoids where every element has an inverse element, and abelian groups are groups where the operation is also commutative. The document concludes with a theorem stating that if a set forms a group, its identity element is unique.
G is a Set, is an Operation on G, I is Closure x, y G, x y G II is Associativity x, y, z G, (x y) z = x (y z) III e G is Identity Element x G, x e = e x = x IV a, b G, a is the Inverse Element of b a b = b a = e, e is a Identity Element of G V is Commutativity a, b G, a b = b a Proposition 2. Magma G is a Set, is an Operation on G, G is a Magma is Closure Proposition 3. Semigroup G is a Magma, is an Operation on G, G is a Semigroup is Associativity Proposition 4. Monoid G is a Semigroup, is an Operation on G, G is a Monoid e G is a Identity Element Proposition 5. Group G is a Monoid, is an Operation on G, G is a Group (a G, b, b is the Inverse Element of a) Proposition 6. Abelian Group G is a Group with Operation , G is a Abelian Group is Commutativiy Theorem 1. Grops Basic Property G is a Group with an operation I. Identity Element Unique e1 , e2 G are both Identity Element e1 = e2