Groupprops, The Group Properties Wiki (pre-alpha)
Take a short survey about Math Resources on the Internet.

From Groupprops

This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property must also satisfy the second group property
View all group property implications | View all group property non-implications |Get help on looking up group property implications/non-implications
|

Contents 1 Statement 1.1 Verbal statement 1.2 Property-theoretic statement 2 Definitions used 2.1 Abelian group 2.2 Normal subgroup 2.3 Dedekind group 3 Proof

Statement

Verbal statement

Every subgroup of an Abelian group is a normal subgroup.

Property-theoretic statement

The group property of being an Abelian group is stronger than the group property of being a Dedekind group (a group where every subgroup is normal).

Definitions used

Abelian group

Normal subgroup

Dedekind group

Proof

Fill this in later