You are on page 1of 1

Proposition 1.

Operation with special property on Set


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

You might also like