Let $G$ be a finite group. We will say that $G=A \times B \times C$ if
- A,B,C are normal in $G$
- $A\cap B \cap C ={e}$
- $|G|=|A||B||C|$
Is the first condition ok? or should I say $A \times B$ is normal in $G$ and $C$ is normal in $G$.
Let $G$ be a finite group. We will say that $G=A \times B \times C$ if
Is the first condition ok? or should I say $A \times B$ is normal in $G$ and $C$ is normal in $G$.
That is satisfied if $G$ is an elementary Abelian group of order $8$, $A=\{e,a\}$, $B=\{e,b\}$ and $C=\{e,ab\}$ where $a$ and $b$ are distinct elements of order two. But in this case the natural homomorphism from $A\times B\times C$ to $G$ is not an isomorphism.
In this case the subgroups "$A\times B$", "$A\times C$" and "$B\times C$" are all normal in $G$ too.