在数学的
群论中,完备群(又称
完全群,不过完全群也可以指另一种群)是指如下的一种
群G:G是无
中心群,并且G的所有
自同构都是
内自同构,也就是说G有平凡
外自同构群和平凡
中心。另一等价定义是将元素映射到
自同构的
群同态是
群同构。因为此群同态的
核是G的中心,而其像是G的所有内自同构;所以G有平凡中心,则此群同态是
单射,而所有自同构都是内自同构,则此群同态是
满射。
对称群除了n=2,6外,都是完备群。有非平凡中心,而有一个外自同构(与
内自同构复合之异不别)。
任何完备群都同构于其自同构群。注意其逆命题不成立:有8个元素的
二面体群同构于其自同构群,这个群却不是完备群。