Normal SubGroup
Let G be a group. A subgroup H of G is said to be a normal subgroup of G if for all hβ H and xβ G, x h x-1β H
If x H x-1 = {x h x-1| h β H} then H is normal in G if and only if xH x-1βH, β xβ G
Statement: If G is an abelian group, then every subgroup H of G is normal in G.
Proof: Let any hβ H, xβ G, then
x h x-1= x (h x-1)
x h x-1= (x x-1) h
x h x-1 = e h
x h x-1 = hβ H
Hence H is normal subgroup of G.
Group Homomorphism:
A homomorphism is a mapping f: Gβ G' such that f (xy) =f(x) f(y), β x, y β G. The mapping f preserves the group operation although the binary operations of the group G and G' are different. Above condition is called the homomorphism condition.
Kernel of Homomorphism: - The Kernel of a homomorphism f from a group G to a group G' with identity e' is the set {xβ G | f(x) =e'}
The kernel of f is denoted by Ker f.
If f: GβG' is a homomorphism of G intoG', then the image set of f is the range, denoted by f (G), of the map f. Thus
Im (f) = f (G) = {f(x)β G'| x βG}
If f (G) =G', then G' is called a homomorphic image of G.
Note: - A group homomorphism
Isomorphism:
Let (G1,*) and (G2,0) be two algebraic system, where * and 0 both are binary operations. The systems (G1,*) and (G2,0) are said to be isomorphic if there exists an isomorphic mapping f: G1βG2
When two algebraic systems are isomorphic, the systems are structurally equivalent and one can be obtained from another by simply remaining the elements and operation.
Example: Let (A1,*) and (A2,β‘) be the two algebraic systems as shown in fig. Determine whether the two algebraic systems are isomorphic.

Solution: The two algebraic system (A1,*) and (A2,β‘) are isomorphic and (A2,β‘) is an isomorphic image of A1, such that
f( a)=1
f (b)=w
f (c)= w2
Automorphism:
Let (G1,*) and (G2,0) be two algebraic system, where * and 0 both are binary operations on G1 and G2 respectively. Then an isomorphism from (G1,*) to (G2,0) is called an automorphism if G1= G2
Rings:
An algebraic system (R, +,) where R is a set with two arbitrary binary operations + and ., is called aring if it satisfies the following conditions
- (R, +) is an abelian group.
- (R,β) is a semigroup.
- The multiplication operation, is distributive over the addition operation +i.e.,
a (b+c)=ab +ac and (b+c)a = ba + ca for all a, b, c β R.
Example1: Consider M be the set of all matrices of the type
over integers under matrix addition and matrix multiplication. Thus M form a ring.
Example2: The set Z9 = {0, 1, 2, 3, 4, 5, 6, 7, 8} under the operation addition and multiplication modulo 9 forms a ring.
Types of Rings:
1. Commutative Rings: A ring (R, +,) is called a commutative ring if it holds the commutative law under the operation of multiplication i.e., a. b = b. a, for every a, bβ R
Example1: Consider a set E of all even integers under the operation of addition and multiplication. The set E forms a commutative ring.
2. Ring with Unity: A ring (R, +,) is called a ring with unity, if it has a multiplicative identity i.e,
Example: Consider a set M of all 2 x 2 matrices over integers under matrix multiplication and matrix addition. The set M forms a ring with unity
.
3. Ring with Zero Divisions: If a.b=0, where a and b are any two non-zero elements of R in the ring (R, +) then a and b are called divisions of zero and the ring (R, +) is called ring with zero division.
4. Rings without Zero Division: An algebraic system (R, +) where R is a set with two arbitrary binary operation + and is called a ring without divisors of zero if for every a, b βR, we have a.bβ 0 βΉaβ 0 and b β 0
SubRings:
A subset A of a ring (R, +) is called a subring of R, if it satisfies following conditions:
(A, +) is a subgroup of the group (R,+)
A is closed under the multiplication operation i.e., a.b βA,for every a,b βA.
Example: The ring (I, +) of integers is a subring of ring (R, +) of real numbers.
Note:
1. If R is any ring then {0} and R are subrings of R.
2. Sum of two subrings may not be a subring.
3. Intersection of subring is a subring.
Labels: Discrete, DSTL Unit-2
Discussion & Queries (<$I18NNumComments$>):
<$CommentPager$>
- <$I18NAtCommentTimeWithPermalink$>, <$I18NCommentAuthorSaid$>
<$CommentPager$>
<$BlogCommentBody$>
<$BlogCommentDeleteIcon$>