Normality satisfies image condition

From Groupprops
This article gives the statement, and possibly proof, of a subgroup property (i.e., normal
subgroup) satisfying a subgroup metaproperty (i.e., image condition)
View all subgroup metaproperty satisfactions | View all subgroup metaproperty
dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for subgroup
properties
Get more facts about normal subgroup |Get facts that use property satisfaction of normal
subgroup | Get facts that use property satisfaction of normal subgroup|Get more facts about
image condition

Contents
1 Statement
1.1 Property-theoretic statement
1.2 Statement with symbols
2 Generalizations
3 Proof

Statement
Property-theoretic statement
The subgroup property of being normal satisfies the image condition: the image of a normal subgroup under
any surjective homomorphism is also normal.

Statement with symbols

Suppose
Then,

is a surjective homomorphism of groups, and

is normal in
.

is a normal subgroup of

Generalizations
This result is part of a more general result called the fourth isomorphism theorem (also called the lattice
isomorphism theorem or correspondence theorem).

Proof
Given:

is a surjective homomorphism of groups, and

is a normal subgroup of

To prove:

is normal in

Proof: Pick

and

Since

. We need to show that

, there exists
such that

such that

is normal in

. Further, since

is surjective, there exists

. Then:

(where the second step uses the fact that

Now, since

is a homomorphism).
, and hence

, showing that

.
Retrieved from "http://groupprops.subwiki.org/w/index.php?
title=Normality_satisfies_image_condition&oldid=28605"
Category: Subgroup metaproperty satisfactions
This page was last modified on 24 February 2011, at 17:40.
This page has been accessed 1,921 times.
Content is available under Attribution-Share Alike 3.0 Unported unless otherwise noted.