Cтраница 4
F и инвариантное относительно всех автоморфизмов поля К, оставляющих k на месте, совпадает с К. [46]
Пусть К - некоторое подполе поля К ( Г), порожденное над С конечным числом элементов. Обозначим через Ф ( К) совокупность всех автоморфизмов поля / f ( Г), оставляющих на месте каждый элемент поля К. [47]
Предположим, что ф ( К) К для каждого элемента ф Е G. В таком случае ограничение ф ф к является автоморфизмом поля К над Р, и мы пришли к гомоморфизму ограничения ф - ф группы G GalF / P в Gad. [48]