定義だけではなんなので、具体的なPCPの計算をとでやってみる。 を定義として、降中心列を計算すると、 となる。それぞれの商群から生成元を選んでやると、たとえば とすると、PCPは となる。 では、 となり、降中心列はよく似ているが、 と選ぶと、PCPは と…

O'Brien論文のための予備知識第二弾である。降中心列の類似品である lower exponent-p central series を次のように定義する。 Lower exponent-p central series p-群に対して ， ， と定義するとき、はの特性部分群であり、．また在るに対して となる。 を…