Model theory remarks on Abelian Galois extension'