OpenCart Templates
Saturday , July 22 2017
Home / Modern Abstract Algebra / Groups| Modern Abstract Algebra

Groups| Modern Abstract Algebra

Definition of group: A group is a non empty set G together with a binary operation multiplication (*) such that the following four properties are satisfied

(i) Closure Property: a*b∊ G, ∀ a, b ∊G

(ii) Associative property: (a * b) * c = a * ( b* c), ∀ a, b, c ∊G

(iii) Identity property: There exist an element e ∊G called an identity or unit element such that, a * e = e * a = a, ∀ a ∊ G.

(iv) Inverse property: For each a ∊ G there exist an element b ∊ G such that a * b = e = b * a.

Abelian groups: A group (G; *) is abelian or commutative if the binary operation * is commutative.

Finite group and infinite group: A group G is said to be finite group or an infinite group according as it contains a finite or an infinite number of elements.

Order group: The order of a group G, denoted by o(G), |G|, is the number of elements in G.

Additive and multiplicative group: A group (G, *) is called an additive group or a multiplicative group according as its binary operation * is addition or multiplication.

Thus (Z, +) is an additive group while (R+,×) is a multiplicative group.

Uniqueness of identity and inverse in a group: If (G, *) is a group, then (i) G has a unique identity (ii) Every a ∊ G has a unique inverse in G.

Proof: (i) If possible, let G have two identities e and f.

Then for every x ∊ G.

x * e = e * x = x ——————–(i)

and x * f = f * x = x —————-(ii)

Putting x = f in (i) we have, f * e = e * f = f

Putting x = e in (ii) we have, e * f = f * e = f

Thus e = f * e = e * f = f

This proves the uniqueness of identity.

(ii) Let a ∊ G have two inverse say x and y ∊ G

Then a * x = x * a = e and a * y = y * a = e

Now x = x * e = x * ( a * y), using a * y = e

= (x * a) * y, by associatively

= e * y = y using x * e =e

Hence has a unique inverse.

Groupoid: A Groupoid is a non empty set S with a binary operation * such that S is closed under multiplication.

i.e., a * b ∊ S, ∀ a, b ∊S

Semi group: A groupoid (S, *) is called a semi group or quasi group, if S is associative for *.

Loop: A groupoid (S, *) is called a loop if S has the identity element e for *,

E * x = x * e = x, ∀ x ∊ S.

Monoid: A semi group (S, *) is called a monoid if S contains the identity e for *;

e * x = x * e = x, ∀ x ∊ S.

Check Also

Lecture – 4| Abstract Algebra

Problem – 1 : Show that if every element of the group G except the ...

Leave a Reply

Your email address will not be published. Required fields are marked *