כל מה שרצית לדעת על משפט פרובניוס:
משפט פרובניוס הוא משפט בתורת המספרים האלגברית, העוסק בתכונות הפירוק של פולינומים בעלי מקדמים שלמים, כאשר מתבוננים בהם מודולו מספרים ראשוניים שונים.
את המשפט הוכיח פרדיננד פרובניוס ב-1880, והוא התפרסם ב-1896, לאחר שריכרד דדקינד ניסח (ב-1894) את העקרונות של תורת המספרים האידאליים.
באותו זמן שיער פרובניוס את משפט הצפיפות של צ'בוטרב, המכליל את התוצאה שלו; צ'בוטרב הראה שההשערה נכונה ב-1922.
פירוק פולינום לגורמים מעל שדה סופי הוא בעיה שיש לה פתרונות אלגוריתמיים, ומשפט פרובניוס מאפשר להשתמש באותן שיטות גם כדי לנתח פולינומים מעל המספרים השלמים.