שיחה:חוג פרימיטיבי

"יהי D חוג עם חילוק מעל שדה F. חוג הפולינומים (הקומוטטיביים) הוא פרימיטיבי אם ורק אם שדה הפונקציות מוכל בחוג המטריצות לאיזשהו m."

אני משער שצריך לדרוש שהשדה F הוא המרכז של D (או דרישה אחרת שתשלול את המקרה שבו לוקחים את D להיות שדה פונקציות מעל F)?