the theorem that extending ideals gives a mapping on the class group of an algebraic number field to the class group of its Hilbert class field, which sends all ideal classes to the class of a principal ideal
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).