# Condition for Nu Function to be 1

Jump to navigation
Jump to search

It has been suggested that this page or section be merged into Group of Order p q is Cyclic.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Mergeto}}` from the code. |

## Theorem

Let:

- $n = \ds \prod_{i \mathop = 1}^s p_i^{m_i}$

where $p_1, p_2, \ldots, p_s$ are distinct primes.

Then:

- $(1): \quad m_1, m_2, \ldots, m_s = 1$, that is, $n$ is square-free
- $(2): \quad \forall i, j \in \set {1, 2, \ldots, s}: p_i \not \equiv 1 \pmod {p_j}$

## Proof

This theorem requires a proof.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Examples

### Group of Order $15$ is Cyclic Group

Let $G$ be a group whose order is $15$.

Then $G$ is cyclic.

## Sources

- 1978: John S. Rose:
*A Course on Group Theory*... (previous) ... (next): $1$: Introduction to Finite Group Theory: $1.4$