>>825
1の冪根による拡大(円分拡大)の後、
aの冪根による拡大(クンマー拡大)を行うのは
それぞれアーベル拡大として実現できるからだろう
もちろん全体としては一般的にガロア群は非可換になる