Corollary of Krull-Remak-Schmidt theorem for cancellation of powers
Suppose and are groups such that satisfies the following two conditions:
- the ascending chain condition on normal subgroups
- the descending chain condition on normal subgroups
Then, and are isomorphic.
In particular, this result holds when is a finite group.