האם יש קשר בין השדה F לשדה K?
בנוסף, לא הבנתי מה הכוונה בזה ש"חבורת גלואה טרנזיטית על.." האם הכוונה שכל איבר בחבורה (כלומר כל אוטו') הוא טרנזיטיבי על השורשים?
אני חושב שהכוונה היא שחבורת גלוואה פועלת על השורשים באופן טרנזיטיבי
כלומר קיים שורש <math>a</math> כך שלכל שורש b קיים אוטומורפיזם <math>\sigma</math> כך ש <math>\sigma (a)=b</math>