命題
N を指数 p の基本アーベル群（>>406）とする。
|N| = p^n とする。
Aut(N) を N の自己同型群とする。
H を群とする。
ψ：H → Aut(N) を同型とする。
このとき (N⊿H)_ψ （>>452）は AGL(n, Z/pZ) （>>446）に同型である。

証明
>>450と>>457と>>458による。