Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Катя Америк ([info]katia)
@ 2012-02-01 12:42:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Объявление
Идиотским образом наврала студентам на лекции. Студенты! Если
кто-то из вас это читает, то



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


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


[info]xgrbml.livejournal.com
2012-02-01 14:00 (ссылка)
А я и не знал, кстати. Где можно почитать про эту мерзость?

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


[info]katia
2012-02-01 14:02 (ссылка)
А про какую именно? А главное, зачем читать про мерзость?

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


[info]xgrbml.livejournal.com
2012-02-01 14:04 (ссылка)
Про то, что все ac fields одной несчетной мощности изоморфны.

Ну хоть успокой меня: алгебраические замыкания Q и Q(t), они-то разные?

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


[info]katia
2012-02-01 14:07 (ссылка)
разные, конечно! про счетные поля это неверно. просто а.з. поля изоморфны,
если у них одна характеристика и степень трансцедентности, а степень трансцедентности
несчетного поля такова же, как и его мощность. может, в Ленге написано.

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


[info]xgrbml.livejournal.com
2012-02-01 14:09 (ссылка)
Вот же ж я идиот! В каком уж там Ленге, все сказала.

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


[info]katia
2012-02-01 14:12 (ссылка)
Ну дык я ж тоже ж идиот! А главное, я ровно это собиралась на следующей лекции
упомянуть! И при этом размышляла у доски, что маловероятно, что изоморфны
(соглашаясь при этом с тем, что оба должны быть мощности континуум :)

(Ответить) (Уровень выше)


[info]avzel.livejournal.com
2012-02-01 16:32 (ссылка)
Может, я и знал когда-то, что такое ультрапроизведение полей, но не помню ничего. А зачем оно, и как ему удается избавиться от конечных характеристик сомножителей?

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


[info]almony.livejournal.com
2012-02-01 19:04 (ссылка)
Kak ja ponimaju, elementy, u kotoryx pochti vezde nol', otozhdestvljajutsja s nuljom. Poetomu u nenulevyx el-tov budet beskonechnoe chislo xarakteristik "koordinat". (No mb ja putaju chto-to.)

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


[info]avzel.livejournal.com
2012-02-01 19:15 (ссылка)
Саша Боровик понятно объясняет это понятие в своем блоге, см. http://dialinf.wordpress.com/2008/06/16/ultraproducts-of-fields-i/. Но нужно еще ультрафильтр задать.

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


[info]katia
2012-02-02 01:03 (ссылка)
нужно, конечно. но в обсуждаемой ситуации он все равно какой, лишь бы
"неглавный" (т.е. не состоит из подмножеств, содержащих какой-то данный
элемент).
удивительно, что поле получается, не правда ли? :)
(вообще, все свойства "первого порядка", выполненные на каком-то подмножестве
индексов из ультрафильтра, передаются ультрапроизведению.)

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


[info]avzel.livejournal.com
2012-02-02 01:18 (ссылка)
Ну как бы против природы не попрешь - чем же еще быть фактору коммутативного кольца по максимальному идеалу ...

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


[info]katia
2012-02-02 11:21 (ссылка)
О, спасибо! Ценное педагогическое наблюдение может быть (на лекции сделала
замечание, что ультрафильтр - это то, что двойственно к максимальному идеалу
в булевой алгебре, но оно как-то в воздухе повисло).

(Ответить) (Уровень выше)


[info]tristes_tigres
2012-02-01 21:01 (ссылка)
Красивые женщины - всегда такие обманщицы

(Ответить)


(Анонимно)
2012-02-02 00:41 (ссылка)
Не бывает случайных и бесполезных изоморфизмов.

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


[info]katia
2012-02-02 01:05 (ссылка)
еще как бывает

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


[info]avzel.livejournal.com
2012-02-02 01:16 (ссылка)
Тем ценнее неслучайные и полезные. :)

(Ответить) (Уровень выше)