Настроение:	calm
Музыка:	Леонид Фёдоров, Владимир Волков -- Немцы
Entry tags:	когомологии

Немцы
Классификацию гомеоморфизмов поверхностей (на те, которые в некоторой степени тождественны, сохраняющие объединение окружностей и псевдоаносовские) завершил Тёрстон, а начал Якоб Нильсен; это тот самый Нильсен, который в 1915 году служил германским военным советником в турецком флоте и именем которого называется теорема Нильсена-Шрайера: всякая подгруппа свободной группы свободна. Это тот самый Шрайер, именем которого названа теория Артина-Шрайера и ещё ныне подтверждённая гипотеза Шрайера: группа внешних автоморфизмов конечной простой группы разрешима (единственное доказательство использует классификацию простых конечных групп). Доказательство Шрайера теоремы Нильсена-Шрайера использовало факторизацию графа Кэли свободной группы по действию подгруппы; топологическое доказательство первым дал Баэр, тот самый, который ввёл инъективные модули. Наконец, Баэр, Нильсен и ещё Ден (конечно, тот самый, которого инвариант) доказали теорему, утверждающую, что группа классов отображений поверхности есть группа внешних автоморфизмов фундаментальной группы.