ЛичныйПипка strikes back

СОК, ты понимаешь о чем он?

PasGal пишет:блин, не выпендривайся, а просто подчеркни в каком месте я неправду написал

ладно посчитай,по методу андрея дискриминант у решетки, 1 a 2f 4g. Это не базис ну и что,все равно посчитаем, и получим явно другой ответ

Так, правильно ли я понял что ты оспариваешь такое утверждение:
"метод Андрея это метод, позволяющий посчитать дискриминант любой решетки" ?
я думал (и думаю) что дискриминант решетки именно так и определяется. если не так то как?


1 а 2f 4g это другая решетка, и дискриминант у неё другой будет, в чем противоречие?

PasGal пишет:Так, правильно ли я понял что ты оспариваешь такое утверждение:
"метод Андрея это метод, позволяющий посчитать дискриминант любой решетки" ?
я думал (и думаю) что дискриминант решетки именно так и определяется. если не так то как?


1 а 2f 4g это другая решетка, и дискриминант у неё другой будет, в чем противоречие?

Если 1 a g f- базис то дискриминант тот, а если нет, то он будет другим. Значит,чтоб доказать, что это базис, достаточно доказать, что дискриминант ДП= Д этой Р

для этого нужно знать ДП

дак ты согласен или нет что дискриминант решетки по определению равен тому что вычисляет метод Андрея?

PasGal пишет:дак ты согласен или нет что дискриминант решетки по определению равен тому что вычисляет метод Андрея?

Ну,я не смотрел определение. Дискриминант решетки ничего не дает, пока не докажешь, что это базис, а это доказывается кучей методов. Но посчитал ты его правильно, так как здесь ДП=2*2*17^3.

НГ пишет:здесь ДП=2*2*17^3.

отлично. как это найти/доказать?

Отличный способ раскладывать простые числа в произведение простых идеалов описан на странице 257 книжки Alaca, Williams --- Introductory algebraic number theory

правда он позволяет посчитать только для тех простых которые не делят индекс \theta, где K=Q(\theta)

что такое индекс элемента? степень в которой он целый?

вы понимаете это?

ps: это даже красноречивее пустого коммента

ой! это я понимаю

с трудом, но понимаю

применить это у меня мозгов естественно не хватит

у меня поле просто получается последовательностью двух расширений.
т.о. я из этой формулы знаю ДП.
и он совпадает с Д наименьшей из Р которую я смог родить. lolwin

с точностью до квадрата конечно

с этой помощью можно вычислить дискриминант Q[sqrt(sqrt(17))]?
можешь объяснить мне как?

ну считаешь дискриминанты каждого расширения.
а остольное ты знаешь и игого

дискриминант присоединения корня из 17 это, наверно, 17

а дискриминант следующего расширения надо наверно подумать чуток

эм

я не умею считать
1) норму
2) дискриминант расширения Q[17^0.25]/Q[17^0.5]

как доказывать что данный набор является integral basis? Без подсчета дискриминанта

Наверно тупо считаешь дискриминант решетки и видишь там корень из простого числа.

И тогда достаточно сказать, что дискриминант не может быть 1-цей в иначе этож *нецензурная брань* ты нахуй

Норма элемента базового поля это элемент в степени расширения т.е квадрат элемента у тебя

как наверно считать верхний фактор я написал выше

Вовч, как ведет себя дискриминант если есть башня расширений?

Формула --- картинка на пред странице

Хотя насчет нормы я, наверно, погорячился там не обязательно обрушится в базовое поле
тогда не квадрат, а элемент * на его образ под действием единственного нетривиального автоморфизма

VOVCH пишет:Формула --- картинка на пред странице

что такое N? как его считать?

Я не понял как считать сраный дискриминант K/L