Congruence condition summary for groups of order 5^n

This article gives relevant information on:


 * Every possible collection of groups satisfying a universal congruence condition relative to the prime 5, for small orders.
 * Conditional versions of congruence conditions, e.g., those obtained by restricting the size or putting some other constraint on the size of the ambient group.

Order 1
The only nontrivial collection of groups of order 1 is the singleton collection comprising the trivial group, and this satisfies a universal congruence condition and an existence condition.

Order 5
The only nontrivial collection of groups of order 1 is the singleton collection comprising cyclic group:Z5, and this satisfies a universal congruence condition and an existence condition.

Order 25
There are two groups of order 25: cyclic group:Z25 and elementary abelian group:E25. There are thus $$2^2 - 1 = 3$$ possible non-empty collections of groups of this order. We note which of these satisfy the congruence condition:

Order 125
There are five groups of order 125. The three abelian groups are cyclic group:Z125, direct product of Z27 and Z3, and elementary abelian group:E125. The two non-abelian groups are prime-cube order group:U(3,5) (which has exponent 5) and M125 (which has exponent 25, and is a semidirect product of a cyclic group of order nine by a cyclic group of order three).

There are thus $$2^5 - 1 = 31$$ possible collections of groups. Instead of listing all 31, we simply note the ones that do satisfy a universal congruence condition or a congruence condition to an interesting restricted class: