Galois theory over Q, Finite abelian groups, Class field theory, Hecke Grossencharacters, bnrL1, bnrchar, bnrclassfield, bnrclassno, bnrclassnolist, bnrcompositum, bnrconductor, bnrconductorofchar, bnrdisc, bnrdisclist, bnrgaloisapply, bnrgaloismatrix, bnrinit, bnrisconductor, bnrisgalois, bnrisprincipal, bnrmap, bnrrootnumber, bnrstark, bnrstarkunit, galoischardet, galoischarpoly, galoischartable, galoisconjclasses, galoisexport, galoisfixedfield, galoisgetgroup, galoisgetname, galoisgetpol, galoisidentify, galoisinit, galoisisabelian, galoisisnormal, galoisorder, galoispermtopol, galoissplittinginit, galoissubcyclo, galoissubfields, galoissubgroups, gcharalgebraic, gcharconductor, gcharduallog, gchareval, gcharidentify, gcharinit, gcharisalgebraic, gcharlocal, gcharlog, gcharnewprec, nfgrunwaldwang, nflist, nfresolvent, subcyclohminus, subcycloiwasawa, subcyclopclgp