Ésta es una extensión significativa de la teoría de extensiones cuadráticas, y la teoría predecesora de las formas cuadráticas (enlazada a la 2-torsión del grupo de clase).