Normal Subgroups: Why Every Kernel is a Homomorphism

  • Thread starter pivoxa15
  • Start date
  • Tags
    Groups
In summary, every normal subgroup can be represented as the kernel of a carefully chosen homomorphism, as demonstrated by the quotient group G/H.
  • #1
pivoxa15
2,255
1

Homework Statement


Expain why every normal subgroup is the kernel of some homomorphism.


The Attempt at a Solution


Every kernel is a normal subgroup but the reverse I can't show rigorously. It seems possible how to show?
 
Physics news on Phys.org
  • #2
What's the obvious map from G to G/N? What's its kernel?
 
  • #3
I would have thought that would be easy- it's the direction emphasised in Algebra texts! Of course, this says "some" homomorphism- you have to pick the homomorphism carefully.

If H is a normal subgroup G, then we can define the "quotient group", G/H. There is an obvious homomorphism from G to H. What is the kernel of that homomorphism?

Darn, I had to stop in the middle to take a telephone call and morphism got in in front of me!
 

FAQ: Normal Subgroups: Why Every Kernel is a Homomorphism

What is a normal subgroup?

A normal subgroup is a subgroup of a group that is invariant under conjugation by any element in the group. In other words, for any element in the normal subgroup, if we multiply it by any element in the original group and then multiply it by the inverse of that element, the result will still be in the normal subgroup.

Why is a normal subgroup important?

A normal subgroup is important because it allows us to define a quotient group, which is a group formed by the cosets of the normal subgroup. This allows us to study the structure of the original group in a more manageable way.

What is the significance of the kernel being a normal subgroup?

The kernel of a homomorphism is the set of elements in the domain that are mapped to the identity element in the codomain. Since the kernel is a normal subgroup, it allows us to define a quotient group and study the structure of the original group in a more manageable way.

How is a kernel related to a homomorphism?

A kernel is related to a homomorphism in that it is the set of elements in the domain that are mapped to the identity element in the codomain. This allows us to study the structure of the original group and better understand the properties of the homomorphism.

Can every normal subgroup be represented as a kernel?

No, not every normal subgroup can be represented as a kernel. However, every kernel is a normal subgroup. This means that there are some normal subgroups that cannot be represented as a kernel, but every normal subgroup that can be represented as a kernel is also a normal subgroup.

Similar threads

Replies
2
Views
1K
Replies
1
Views
1K
Replies
9
Views
1K
Replies
2
Views
1K
Replies
15
Views
2K
Replies
3
Views
2K
Replies
3
Views
1K
Back
Top