結局、単遠アーベルを使うというのは体は非同型にしたいということでしょうね
で、クンマー理論と結びつけるのは自然同型もありうる形で充満多重同型ということにしたい、と
つまり、同型⊂充満多重同型