Stickelberger's discriminant theorem for algebras
Asher Auel, Owen Biesel, John Voight · arXiv (Cornell University) · 2022
Stickelberger proved that the discriminant of a number field is congruent to 0 or 1 modulo 4. We generalize this to an arbitrary (not necessarily commutative) ring of finite rank over the integers using techniques from linear algebra. Our proof, which relies only on elementary matrix identities, is new even in the classical case.