# Omega subgroups are homomorph-containing

View subgroup property satisfactions for subgroup-defining functions  View subgroup property dissatisfactions for subgroup-defining functions
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 .