retagged by
2,795 views

1 Answer

Best answer
3 votes
3 votes

Definition of homomorphism of groups

Let (G,*) and (G1,o) be two groups and f be a function from G to G1. Then f is called a homomorphism of G into G1 if for all a,b∈G

            f(a*b) = f(a) o f(b)

To do the above problem you have to know the following theorem

If f is a homomorphism from a group G into a group G1 and e,e1 are the identity elements of G and G1 respectively ,then

(i) f(e) = e1

(ii) f(a-1) = f(a)-1 for all a ∈ G

Now, come to the given problem

Suppose f is a monomorphism. Then f is injective.

Let a∈ ker f and also assume e be the identity element of G and e1 be the identity element of G1

Hence, f(a) = e1 ( From the definition of Ker f)

Again f(e) = e ( From the theorem written above)

Since f is injective we have a=e.

Hence ,ker f = {e}. 

Now, to prove the converse 

Conversely, suppose ker f = {e}.

Let x,y ∈ G such that f(x) = f(y)

Then f(x)f(y)-1 = e1

=> f(x)f(y-1) = e1 (From the theorem written above)

=> f(xy-1) = e1 (From the definition of homomorphism of groups).

=> xy-1 ∈ ker f = {e} and so xy-1 = e.

Hence, x=y.

Therefore f is injective and so f is a monomorphism.

Hence the problem 

A homomorphism f:G →G1 of groups is a monomorphism iff Ker f = {e}.

selected by

Related questions

1 votes
1 votes
1 answer
1
go_editor asked Dec 20, 2016
537 views
Verify whether the following mapping is a homomorphism. If so, determine its kernel.$f(x)=x^3$, for all $x$ belonging to $G$.
1 votes
1 votes
0 answers
2
go_editor asked Dec 20, 2016
439 views
Verify whether the following mapping is a homomorphism. If so, determine its kernel.$G$ is the group of non zero real numbers under multiplication.
1 votes
1 votes
0 answers
3
go_editor asked Dec 20, 2016
477 views
Verify whether the following mapping is a homomorphism. If so, determine its kernel.$\overline{G}=G$
1 votes
1 votes
1 answer
4
ankitgupta.1729 asked May 1, 2018
1,228 views
Prove that :-Every infinite cyclic group is isomorphic to the infinite cyclic group of integers under addition.