tiphareth: лекция 5 по группам Галуа

(Читать комментарии) - (Добавить комментарий)

monroth
2013-02-16 15:24 (ссылка)

композиция Галуа нифига не Галуа
присоедините к Q корень квадратный из 2, потом присоедините корень квадратный из положительного квадратного корня из 2
Все галуа, потому что все второй степени
будет чисто вещественное поле, так что корня квадратного из отрицательного квадратного корня из 2 там наблюдаться не будет
а должен бы, если оно галуа - так как это все корни неприводимого по Эйзенштейну многочлена X^4-2=0

(Ответить) (Ветвь дискуссии)

	tiphareth 2013-02-16 15:44 (ссылка)
	композит расширений Галуа не расширение Галуа а вот если K:k:k' цепочка расширений Галуа, то K:k' тоже расширение Галуа, что вполне ясно (Ответить) (Уровень выше) (Ветвь дискуссии)

	monroth 2013-02-16 15:48 (ссылка)
	я сказал композиция, а не композит то есть цепочка контрпример указан (Ответить) (Уровень выше)

monroth
2013-02-16 15:54 (ссылка)

ну то есть если мы возьмем два неприводимых многочлена, и присоединим с начала все корни одного, потом все корни другого, то это будет Галуа
проблема в том, что второй неприводимый может стать приводимым после первого расширения
и ниоткуда не следует, что если мы присоединим все корни одного сомножителя (что тоже галуа над средним полем), то присоединятся остальные корни
в конструкции на следующей странице это не проявляется (то есть она все равно правильная), потому что вы потом все равно присоединяете и корни одного, и корни другого

(Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2013-02-16 15:55 (ссылка)
	мне на корни начхать я беру тензорное произведение алгебр (Ответить) (Уровень выше) (Ветвь дискуссии)

	monroth 2013-02-16 16:01 (ссылка)
	ну меня менее продвинуто учили, так что у меня в голове корни сидят наверное, зря (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2013-02-16 16:03 (ссылка)
	может и не зря потому что на вопрос где вранье я до сих пор ответить не знаю как (Ответить) (Уровень выше)

	tiphareth 2013-02-16 16:11 (ссылка)
	разобрался, кстати - спасибо! (Ответить) (Уровень выше) (Ветвь дискуссии)

	monroth 2013-02-16 16:18 (ссылка)
	а где, кстати, если в двух словах? (Ответить) (Уровень выше) (Ветвь дискуссии)

tiphareth
2013-02-16 16:29 (ссылка)

Проще вместо тензорных произведений смотреть на расслоенные
произведения накрытий.

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

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

правильный вариант задачи был бы такой:

Пусть $K_1 \supset K_2 \supset K_3$ - последовательность
расширений полей, причем $[K_1: K_2]$ и $[K_2: K_3]$ -
расширения Галуа. Предположим, что для любого подполя
$K_1 \supset K_2' \supset K_3$, изоморфного K_2, подкольцо
$K_1 \otimes_{K_3} K_1$, состоящее из $K_2$-линейных тензоров
(здесь $K_2$ действует обычно на первом сомножителе, и как
$K'_2$ -- на втором), изоморфно сумме нескольких копий $K_1$.
Докажите, что $[K_1: K_3]$ -- расширение Галуа.

Но неуклюже выходит, я просто попросил придумать контрпример.

Такие дела
Миша

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2013-02-16 16:50 (ссылка)
	Может быть можно формализовать понятие сложности алгебры. в первом приближении числом байт доказательства здесь 464б и 416б после сжатия (Ответить) (Уровень выше)

	tiphareth 2013-02-16 15:57 (ссылка)
	и там доказательство занимает примерно одну строчку осталось понять, где наврано (Ответить) (Уровень выше) (Ветвь дискуссии)

	kaledin 2013-02-16 20:05 (ссылка)
	В смысле, нормальная погруппа в нормальной подгруппе нормальна? -- не с чего вроде бы. (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2013-02-16 20:18 (ссылка)
	угу, и оно было у нас в листочках старых! С ошибкою. (Ответить) (Уровень выше)

	tiphareth 2013-02-16 15:52 (ссылка)
	занятно спасибо, хороший вопрос (Ответить) (Уровень выше)

(Читать комментарии) -