---
tag: 0VBZH90R1A
kind: concept
name: Internal direct product
msc: ["20E34"]
sources:
  - url: https://en.wikipedia.org/wiki/Direct_product_of_groups
    locator: Algebraic structure
---

## Summary

A group $G$ is the internal direct product of two normal subgroups $H$ and $K$ when $H \cap K = \{e\}$ and $HK = G$.
Then $G$ is isomorphic to the direct product $H \times K$.