# Finite Group with One Sylow p-Subgroup per Prime Divisor is Isomorphic to Direct Product

## Theorem

Let $G$ be a finite group whose order is $n$ and whose identity element is $e$.

Let $G$ be such that it has exactly $1$ Sylow $p$-subgroup for each prime divisor of $n$.

Then $G$ is isomorphic to the internal direct product of all its Sylow $p$-subgroups.

## Proof

If each of the Sylow $p$-subgroups are unique, they are all normal.

As the order of each one is coprime to each of the others, their intersection is $\set e$.