maximal abelian extension