全形 (數學) 在數學的群論中一個群G的全形HolG是一個特定的群同時包含群G和其自同構群AutG群的全形可用半直積或交換群來描述