Gauss resalta tales conjuntos y utiliza el transporte de estructura para morfismos entre dos anillos para mostrar la irreductibilidad de polinomios ciclotómicos.