Maximal abelian extension