n=1 ya da n=2 durumunda degismeli olacagindan kendisine esittir. O zaman n≥3 kabul edelim.
1) b2a=bab−1=ab−2 yani tumevarimdan bra=ab−r oldugu gosterilebilir, r≥0 tamsayi.
2) Merkezdeki eleman hem a ile hem b ile degismeli olmali. x=aibj∈Z alalim. O zaman xa=ax ve xb=bx olmali.
3) 1-2 kullanildiginda i=0 ve b2j=1 gelir.
4) n cift iken bn/2 merkezdedir.
Bunlari kullanaraktan: n≥3 kosulu ile: n tek ise: merkez {1}, eger cift ise merkez {1,bn/2} olur.
Not: a,b,Z dedigim standart notasyonlar, cevabi uzatmak istemedim. (|a|=2, |b|=n ve Z merkez)