Nilpotency-forcing number

This article defines a property that can be evaluated for natural numbers

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Nilpotency-forcing number, all facts related to Nilpotency-forcing number) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

Definition

A natural number $n$ is said to be nilpotency-forcing or nilpotence-forcing if the following equivalent conditions hold:

1. Every group of order $n$ is nilpotent
2. Every group of order $n$ is a direct product of its Sylow subgroups
3. Every prime divisor of $n$ is Sylow-direct
4. Every prime divisor of $n$ is Sylow-unique
5. Suppose $p_i,p_j$ are prime divisors of $n$ and $p_j^{k_j}$ is the largest power of $p_j$ dividing $n$. Then, the order of $p_j$ modulo $p_i$ exceeds $k_j$. In other words, $p_i$ does not divide $p_j^l-1$ for $1\le l\le k_j$.

For proof of the equivalence of definitions, see classification of nilpotency-forcing numbers.

Relation with other properties

Stronger properties

• Abelianness-forcing number
• Cyclicity-forcing number

Weaker properties

• Solvability-forcing number

List

The following is a list of all nilpotency-forcing numbers below 100: 1, 2, 3, 4, 5, 7, 8, 9, 11, 13, 15, 16, 17, 19, 23, 25, 27, 29, 31, 32, 33, 35, 37, 41, 43, 45, 47, 49, 51, 53, 59, 61, 64, 65, 67, 69, 71, 73, 77, 79, 81, 83, 85, 87, 89, 91, 95, 97, 99. This sequence is A056867 in the OEIS[1].