Аннотация:
Будет дано определение проконечных групп, дискретных модулей над ними и их когомологий. Будет обсуждаться теория Галуа для бесконечных расширений в терминах проконечных групп. Будет дано доказательство тривиальности аддитивных комогологий Галуа. Будет доказано теорема Гильберта 90.