Задача для обитателя /math
Дорогие анонимобляди.

Да, вы.

Я предоставляю вам охуительный шанс показать,
что вы действительно ЧТО-ТО МОЖЕТЕ, а я являюсь
тупым ластиком, который никогда не достигнет вашего
интеллектуального уровня, и совершенно несправедливо
катит бочку на двач и посетителей /math - так сказать,
локомотив современной русской математической мысли.

Для этого я даю вам одну задачку. Мне пришлось поискать
такую, которая проблематично гуглится и в тоже время
была достаточно простой, дабы меня не упрекнули в заумности.
Решить ее в силах матшкольник или первокурсник. Но вы все
еще можете копировать выдачу с mathoverflow, криво переведя
ее на русский, либо нести бред, либо проигнорировать.

Итак, докажите



Для тех кому непонятны все эти страшные знаки, подсказываю:

докажите, что расширение
\mathbb{Q} \subset \mathbb{Q}(\sqrt(3 + \sqrt(5)))
— расширение Галуа и его группа автоморфизмов изоморфна
\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}

Ответы (особенно если вы просто заблудшая душа, а не
великие математики с /math) крайне желательно отправлять
на мою почту - speciesxdata@gmail.com.

Увы, мне не под силу разрушить ваш хрупкий манямирок,
для этого нужно засунуть в условия, где с вас будут
реально СПРАШИВАТЬ.