Misalkan \(G\) suatu grup dengan subgrup \(H\) dan \(K\) yang memenuhi syarat-syarat berikut.
-
\(G = HK = \{ hk : h \in H, k \in K \}\text{;}\)
-
\(H \cap K = \{ e \}\text{;}\)
-
\(hk = kh\) untuk semua \(k \in K\) dan \(h \in H\text{.}\)
Maka \(G\) merupakan hasil kali langsung internal dari \(H\) dan \(K\text{.}\)