记(Z/2Z)^n为2^n元阿贝尔2-群，Klein四元群同构于(Z/2Z)^2, 典型例子为{1, 3, 5, 7}模8乘法运算，其中可以找到3个在该运算下的2元(Z/2Z)^1型的子群{1, 3}, {1, 5}, {1, 7}，这个是显而易见的
{1, 5, 7, 11, 13, 17, 19, 23}模24乘法运算形成的群为一个Klein八元群，同构于(Z/2Z)^3，可以找到7个同构于(Z/2Z)^2的子群（Klein四元群）{1, 5, 7, 11}, {1, 5, 13, 17}, {1, 5, 19, 23}, {1, 7, 13, 19}, {1, 7, 17, 23}, {1, 11, 13, 23}, {1, 11, 17, 19}，计算方法为C(7, 2)/3=7, 根据Klein四元群的性质，有单位元e，三个非单位元满足ab=ba=c, ac=ca=b, bc=cb=a, 可以知道选出其中的两项非单位元就能触发出另一项非单位元，并且，任意挑选就会出现一个子群重复选了三次
那么，(Z/2Z)^4最多能够选出多少个互不相同的(Z/2Z)^3子群
一般的，(Z/2Z)^n最多能选出多少个互不相同的(Z/2Z)^(n-1)子群
更一般的，已知2≤m＜n且m, n∈Ｎ*，(Z/2Z)^n最多能选出多少个互不相同的(Z/2Z)^m子群