Топологическая группа Галуа
Топологи́ческая гру́ппа Галуа́, группа Галуа, снабжённая топологией Крулля; базис фильтра этой топологии состоит из нормальных делителей конечного индекса. Если – конечное расширение Галуа, то топология его группы Галуа дискретна. Если поле – объединение конечных расширений Галуа поля , то топологическая группа Галуа есть проективный предел конечных групп с дискретной топологией. В этом случае топологическая группа Галуа является проконечной группой и тем самым вполне несвязной компактной топологической группой. Если – поле инвариантов для группы , то подгруппа всюду плотна в группе . Основная теорема о конечных расширениях Галуа может быть переформулирована для бесконечных расширений: существует взаимно однозначное соответствие между инвариантными открытыми подгруппами топологической группы Галуа расширения и подполями , являющимися конечными расширениями поля Галуа .