Definition:Decomposable Group

Definition
Let $\struct {G, \circ}$ be a group.

Then $\struct {G, \circ}$ is decomposable there exists a decomposition of $\struct {G, \circ}$.

That is, $\struct {G, \circ}$ is the internal direct product of two (or more) proper subgroups of $G$.