阿施巴赫组件定理

假设 (G 的所有分支的交换积) 是单群，且 包含一个半单群对合。则存在某个半单群对合 使得 有一个正规子群 ，K 要么是拟单群，要么同构于 ，并且使得 是紧嵌入的。