# Omega subgroups are homomorph-containing

From Groupprops

Template:Sdf property satisfaction

## Statement

Suppose is a group of prime power order (i.e., a finite -group for some prime number ). Then, the omega subgroups of , defined as:

are homomorph-containing subgroups of .