The document Groups Computer Science Engineering (CSE) Notes | EduRev is a part of the Computer Science Engineering (CSE) Course GATE Computer Science Engineering(CSE) 2022 Mock Test Series.

All you need of Computer Science Engineering (CSE) at this link: Computer Science Engineering (CSE)

**Algebraic Structure**

A non empty set S is called an algebraic structure w.r.t binary operation (*) if (a*b) belongs to S for all (a*b) belongs to S, i.e (*) is closure operation on ‘S’.

**Ex :** S = {1,-1} is algebraic structure under *

As 1*1 = 1, 1*-1 = -1, -1*-1 = 1 all results belongs to S.

But above is not algebraic structure under + as 1+(-1) = 0 not belongs to S.

An algebraic structure (S,*) is called a semigroup if a*(b*c)=(a*b)*c for all a,b,c belongs to S or elements follow associative property under * .

**Ex :** (Set of integers, +) is semigroup.

But (Matrix ,*) is semigroup.

A Semigroup (S,*) is called a monoid if there exists an element e in S such that (a*e) = (e*a) = a for all a in S. This element is called identity element of S w.r.t *.

**Ex :** (Set of integers,*) is Monoid as 1 is an integer which is also identity element . (Set of natural numbers, +) is not Monoid as there doesn’t exists any identity element. But this is Semigroup.

A monoid (S,*) is called Group if to each element there exists an element b such that (a*b) = (b*a) = e . Here e is called identity element an b is called inverse of the corresponding element. (Set of rational number , *) is not Group because there doesn’t exists inverse for 0 Thus for a Group:

It should be

1) Algebric Structure

2) Semigroup

3) Moniod

4) have inverse.

**Abelian Group**

A group (G,*) is said to be abelian if (a*b)=(b*a) for all a,b belongs to G. Thus Commutative property should hold .

Offer running on EduRev: __Apply code STAYHOME200__ to get INR 200 off on our premium plan EduRev Infinity!

131 docs|167 tests