von Dyck 定理

設 群 有一個 群表示

使得 ，其中 是以 為基的 自由群，並且 是由 生成的 正規子群。如果 是一個 群，且 ，並且如果對於所有 ，，則存在一個滿同態 ，其中對於所有 ，。