(no subject)

« previous entry | next entry »
May. 15th, 2011 | 09:08 pm

В разговоре с физиком был спрошен о том, что такое расслоенное произведение (скажем, для топологических пространств). Не смог объяснить! То есть формальное определение можно зачитать вслух, но как передать интуицию?! В таких случаях помогают примеры, но какими словами описать раслоённое произведение, кроме как «раслоённое произведение»?! Очень похоже на ситуацию с объяснением того, что такое определённый артикль, носителю языка без такового.
Tags:

Link | Leave a comment | Add to Memories


Comments {75}

polytheme

From: [info]polytheme
Date: May. 16th, 2011 - 07:35 pm
Link

да, теорема Кронекера-Вебера хорошая, только не только с циклической группой Галуа, а с любой абелевой. контрольный вопрос: построить числовое поле с группой Z/2Z+Z/2Z и вложить его в круговое :) элементарное доказательство, кстати, не такое уж и сложное, в Леммермейере оно даже для квадратичных полей дано в упражнениях (т.е. доказательство, которое обобщается для всех абелевых числовых полей; сам факт, что квадратичное поле вкладывается в поле корней из единицы, был известен ещё Гауссу - квадрат суммы его имени есть простое число, можно выразить простое число как квадрат произведения тангенсов, а по-научному можно сказать так: группа Галуа корней простой степени из единицы есть Z/(p-1)Z, там внутри сидит Z/2Z - это и есть наш корень из p, потому что дискриминант подполя делит дискриминант поля) - всё-таки её почти доказал Вебер и совсем доказал Гильберт, когда ещё никакой теории полей классов не было, и даже существование поля классов было гипотезой, которую доказал, кажется, Фуртвенглер.
P.S. книжка Леммермейера лежит на колхозе

Reply | Parent | Thread


зачем ты умер, иван

From: [info]dmitri83
Date: May. 16th, 2011 - 07:58 pm
Link

> построить числовое поле с группой Z/2Z+Z/2Z и вложить его в круговое

в смысле? ну какое-нибудь Q(\sqrt{-2},\sqrt{-3}), подполе Q(\mu_12).

> квадрат суммы его имени есть простое число

подозреваю, что это-то по-научному и доказывается через какие-нибудь когомологии и ту самую теорию полей классов. а зная это, остальное доказать уже просто, да.

Reply | Parent | Thread


polytheme

From: [info]polytheme
Date: May. 17th, 2011 - 10:53 pm
Link

ну, не совсем через когомологии, но научное доказательство действительно есть, через башню полей и след :)

Reply | Parent


зачем ты умер, иван

From: [info]dmitri83
Date: May. 16th, 2011 - 07:59 pm
Link

книжку Л. уже достал с либололо, спасибо за наводку

Reply | Parent