משפט קרונקר-ובר
מתוך ויקיפדיה, האנציקלופדיה החופשית
משפט קרונקר-ובר הוא אחד המשפטים המרכזיים בתורת המספרים האלגברית. המשפט קובע שכל הרחבת גלואה אבלית סופית של שדה המספרים הרציונליים מוכלת בשדה ציקלוטומי, כלומר שדה מהצורה כאשר הוא שורש יחידה מסדר n. בניסוח אחר, לשדה הנוצר מעל הרציונליים על ידי כל שורשי היחידה, אין הרחבות עם חבורת גלואה אבלית סופית.
לאופולד קרונקר הציע את הרעיונות המרכזיים של ההוכחה בשנת 1853, אבל את המשפט הוכיח בסופו של דבר היינריך ובר בשנת 1886.