von Dyck 定理

设 群 有一个 群表示

使得 ，其中 是以 为基的 自由群，并且 是由 生成的 正规子群。如果 是一个 群，且 ，并且如果对于所有 ，，则存在一个满同态 ，其中对于所有 ，。