We denote by D2n the dihedral group of order 2n.
D2n is nilpotent if n a power of 2: n=2m with m≥0. In fact,
Suppose D2n is nilpotent. Let p be prime number which divides n . Then rn/p is an element of D2n order p, so rn/p=r−n/p . Let ∣s∣=2 and ∣rn/p∣=p are relatively prime, so that, srn/p=rn/ps ; a contradiction. Thus no primes divide n , and we have n=2k.
reciprocally, we proceed by induction on k where n=2k.
For k=0, D2.20≅Z2 is abelian, hence nilpotent.
Suppose D2.2k is nilpotent. We have Z(D2⋅2k+1)=⟨r2k⟩, and so, D2⋅2k+1/Z(D2⋅2k+1)≅D2⋅2k is nilpotent. Thus, D2⋅2k+1 is nilpotent.
Comments