Algebraic Structures
Algebraic Structures
5
Algebraic
Structures
Algebraic
Groupoid – Closure property
Structures
Semigroup – Associativity property
U
As 1*1 = 1, 1*-1 = -1, -1*-1 = 1 all results belongs to S.
Monoid :
If a semigroup satisfies identity property then it is called Monoid
S = (N,+) is it a
monoid ???
S = (Z, +) is it a
monoid ???
Algebraic Structures –
Properties
4) Inverse Property :
A set A wrt operator * is said to satisfy inverse
property if , for all a belongs to A
there is an element 𝒂−𝟏 such that 𝒂 ∗ 𝒂−𝟏 = 𝒂−𝟏
∗𝒂=e
Group :
If a monoid satisfies inverse property then it is called Group .
Ex : a + b = b + a
a – b != b – a
a*b=b*a
a / b != b/a
Is (E , + ) abelian
group ??
Is ( O , *) abelian
Algebraic Structures –
Properties
Cyclic Group :
A finite group is said to be cyclic group if all elements of G are
generated by single element of it . This element is called
generator of G .
Prove that a set G = {1,-1,i,-i} is an abelian group wrt multiplication .
Check whether it is cyclic .
vi. Cyclic :
i 1= i
2
Prove that a set G = {1,ω, ω2} is an abelian group wrt multiplication .
Check whether it is cyclic .
v. Commutativity :
1*ω=ω*1=ω
Hence , it is an abelian group .
vi. Cyclic :
ω1 = ω , ω2 = ω2 , ω3 = 1
Addition modulo m :
Ex. 3 +𝟒 7 = 2
Multiplication modulo m :
Ex. 3 ∗𝟒 7 = 1
Order of a group :
It is denoted as O(a) = m
Let G = {0,1,2,3,4,5} .
i. Prepare composition table wrt addition mod ulo 6
ii. Prove that G is an abelian group wrt addition modulo 6
iii. Find the inverse of 2 , 3 and 5
iv. Check if it is cyclic
v. Find the order of 2,3 and subgroup generated by these elements
+6 0 1 2 3 4 5
0 0 1 2 3 4 5 i. Closure
ii. Associativity
1 1 2 3 4 5 0 iii. Identity
iv. Inverse
2 2 3 4 5 0 1 v. Commutativity
3 3 4 5 0 1 2 Check whether it is
abelian ??
4 4 5 0 1 2 3
5 5 0 1 2 3 4
Yes , it is abelian group
Yes , it is cyclic .
𝟏𝟏 = 𝟏 , 𝟏𝟐 = 𝟐 , 𝟏𝟑 = 𝟑 , 𝟏𝟒 = 𝟒 , 𝟏𝟓 = 𝟓 , 𝟏𝟔 = 𝟎
𝟐𝟏 = 𝟐 , 𝟐𝟐 = 𝟒 , 𝟐𝟑 = 0
𝟑𝟏 = 𝟑 , 𝟑𝟐 = 𝟎
Let G = {0,1,2,3,4,5,6} .
i. Check whether given set is cyclic
ii.Find the order of 2,3 and subgroup generated by these elements wrt
multiplication modulo 7.
Let G = {0,3,6,9,12} .
Check whether given set is cyclic group wrt multiplication modulo 15
Algebraic Semi group Monoid Group Abelian
structures Group
(N , +)
(N , -)
(N , *)
(N , /)
(Z , +)
(Z , -)
(Z , *)
(Z , /)
(R , +)
(R , -)
(R , *)
(R , /)
(E , +)
(E , - )
(O , +)
(O , - )
Algebraic Semi group Monoid Group Abelian
structures Group
(N , +) √ √ X X X
(N , -) X X X X X
(N , *) √ √ √ X X
(N , /) X X X X X
(Z , +) √ √ √ √ √
(Z , -) √ X X X X
(Z , *) √ √ √ X X
(Z , /) X X X X X
(R , +) √ √ √ √ √
(R , -) √ X X X X
(R , *) √ √ √ X X
(R , /) X X X X X
(E , +) √ √ √ √ √
(E , * ) √ √ X X X
(O , +) X X X X X
(O , * ) √ √ √ X X
Determine whether the set together with binary operation * , is a semi-
group , monoid or a group . It is a set of real numbers with a * b = a+b+2.
Checking for Closure : Checking for Associativity :
a+b belongs to R (a*b)*c = (a + b + 2 ) *c
2 belongs to R = (a + b + 2 ) + c +2
a+b+2 belongs = a + (b + c + 2) +
to R 2
Hence , closure = a + (b * c) + 2
is satisfied Hence ,=associativity
a * (b *c) is satisfied
a^-1 * a * b = a^-1 * a * c
e*b=
e*c b
= c
ii. Right
Cancellation
Law
State and prove
a * e1 = a = e1 * a ----(1)
a * e2 = a = e2 * a ----(2)
Therefore
identity element
is unique for any
group
State and prove
Let a belong to G and its inverse is not unique . Suppose a1 and a2 are
two
inverses of a .
a * a1 = e = a1 * ---(1)
a ---(2)
a * a2 = e = a2 *
From
a (1) and
(2) , a * a1 = a *
a2
a1 = a2
Therefore ,
inverse of each
element is
unique in a
group .
State and prove
Let b , c belong to G such that b=a^m and c=a^n for some m,n belongs to
vi. Let (A,*) be a semi group and a belong to A. Consider the binary operation
of
+ such that For all x,y which belongs to A . x+y = x*a*y . Show that +
is associative operation
x + ( y + z ) = x + (y * a * z)
= x * a * ( y * a * z)
= (x * a * y ) * a * z
=(x+y)+z
Therefore , it is associative .
State and prove
vii. Show that in a group for all a,b belonging to G . (a * b)^2 = a^2 * b^2 , if
and only if (G,*) must be Abelian .
Therefore , it is associative .