שינויים

יהיו <math>F,F'</math> שדות, <math>\psi:F\to F'</math> איזומורפיזם של שדות ו-<math>f(x)\in F[x]</math>. יהי <math>E</math> שדה פיצול של <math>f</math> מעל <math>F</math> ויהי <math>E'</math> שדה פיצול של <math>\psi(f)</math> מעל <math>F'</math>. אזי קיים איזומורפיזם של שדות <math>\Psi:E\to E'</math> כך ש-<math>\Psi|_F=\psi</math>.