Congruence condition on number of ideals of given prime power order in a given ideal in a nilpotent ring

From Groupprops

Statement

Suppose is a nilpotent ring and is an ideal of . Suppose is a prime power dividing the order of . Then, the number of ideals of that have order and are contained in is congruent to 1 mod .

Related facts

Similar facts