מספר ראשוני רגולרי – הבדלי גרסאות

ב-[[1847]] הראה ארנסט קומר שאם <math>\ u</math> הוא [[איבר הפיך]] בחוג הציקלוטומי מסדר p, אז <math>\ u^p</math> הוא מספר שלם. הבחנה זו אפשרה לו להכליל את הרעיונות של קודמיו, והוא הראה ששיטת ההוכחה של אוילר שוללת את קיומם של פתרונות שלמים למשוואה <math>\ x^p+y^p=z^p</math> לכל ראשוני אי-זוגי p, ובלבד שהאידאלים בחוג הציקלוטומי מקיימים תכונה מסוימת. לתכונה זו קרא קומר 'רגולריות' של p.