2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу 1, 2, 3  След.
 
 Задачки по алгебре из Винберга
Сообщение19.08.2024, 19:32 
Аватара пользователя


03/01/23
73
Здравствуйте. Я хочу решить задачку из учебника Винберга. Вот ее условие:

Доказать, что подмножество $L$ поля $K$ является подполем тогда и только тогда, когда
1) $L$ замкнуто относительно вычитания и деления.
2) $L$ содержит 0 и 1

Так как у нас имеется связка "тогда и только тогда", то доказываем утверждение в две стороны.

1) Если $L$ - подполе, тогда выполняется 1) и 2)
2) Если выполняется 1) и 2), тогда $L$ - подполе.

Докажем "туда" (пункт первый). Пусть $L$ - подполе $K$. Рассмотрим $a, b \in L$: $a + (-b) = a - b \in L$, следовательно, разность замкнута ($-b \in L$, т.к. $L$ - абелева группа по сложению). Пусть $a, b \in L$: $a\cdot {b}^{-1}=\frac{a}{b} \in L$, следовательно, деление замкнуто.
$L$ содержит 0, так как является абелевой группой по сложению (по определению подполя). $L$ содержит 1, т.к. $\forall a \in L:\frac{a}{a}=1 \in L$

Скажите, пожалуйста, я правильно доказал утверждение в одну сторону? Как доказать его в обратную сторону?

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 19:39 
Заслуженный участник


07/08/23
1055
Without Name в сообщении #1650723 писал(а):
$L$ содержит 1, т.к. $\forall a \in L:\frac{a}{a}=1 \in L$

Тут важно использовать что $L$ содержит какой-то ненулевой элемент.

А чтобы доказывать в обратную сторону, попробуйте как-то выразить сложение и умножение через вычитание и деление (ну и константы 0, 1).

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 20:28 
Аватара пользователя


03/01/23
73
dgwuqtj в сообщении #1650725 писал(а):
Without Name в сообщении #1650723 писал(а):
$L$ содержит 1, т.к. $\forall a \in L:\frac{a}{a}=1 \in L$

Тут важно использовать что $L$ содержит какой-то ненулевой элемент.

А чтобы доказывать в обратную сторону, попробуйте как-то выразить сложение и умножение через вычитание и деление (ну и константы 0, 1).


Выразить сложение через вычитание как $a + b = a + (-b)$? А что это даст? Я запутался

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 20:34 
Заслуженный участник


07/08/23
1055
Нет, вам нужно тождество, где с одной стороны $a + b$, а с другой вообще нет сложения, только вычитание, переменные и нули.

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 20:40 
Аватара пользователя


03/01/23
73
dgwuqtj в сообщении #1650735 писал(а):
Нет, вам нужно тождество, где с одной стороны $a + b$, а с другой вообще нет сложения, только вычитание, переменные и нули.


Что-то типа этого? $a+b = a - (0 - 1 - 1 - ... - 1)$, где вычитание выполняется $b$ раз?
И если удастся доказать, что в $L$ можно определить операции сложения и умножения, а также, что $L$ вместе с любым элементом $a$ содержит обратный к нему, то по определению подполя это будет подполе? Так?

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 20:47 
Заслуженный участник


07/08/23
1055
Without Name в сообщении #1650737 писал(а):
$a+b = a - (0 - 1 - 1 - ... - 1)$, где вычитание выполняется $b$ раз?

Нет, тождество — это строка фиксированной длины, без многоточий. Единицу там использовать не обязательно. Ну и никто не обещал, что $b$ будет натуральным числом, это может быть вообще формальный степенной ряд Лорана над конечным полем типа $t^{-1} + \overline 4 t + \overline 4 t^{10} + \overline 4 t^{100} + \ldots \in \mathbb F_5((t))$. Природа элементов поля тут роли не играет.

Without Name в сообщении #1650737 писал(а):
И если удастся доказать, что в $L$ можно определить операции сложения и умножения, а также, что $L$ вместе с любым элементом $a$ содержит обратный к нему, то по определению подполя это будет подполе? Так?

Я не знаю, каким именно определением подполя вы пользуетесь, но вы явно написали недостаточно условий (надо ещё что-то про умножение). Если со сложением трудновато, можно сначала показать, что из $x \in L$ следует $-x \in L$.

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 20:56 
Аватара пользователя


03/01/23
73
Цитата:
Я не знаю, каким именно определением подполя вы пользуетесь, но вы явно написали недостаточно условий (надо ещё что-то про умножение). Если со сложением трудновато, можно сначала показать, что из $x \in L$ следует $-x \in L$


Пользуюсь вот этим определением поля из Винберга: полем называется коммутативное ассоциативное кольцо с единицей, в котором всякий ненулевой элемент обратим.

И определением подполя оттуда же: подмножество $L$ поля $K$ называется подполем, если
1) $L$ является подкольцом кольца $K$
2) $a \in L, a \ne 0\Rightarrow {a}^{-1} \in L$
3) $1 \in L$

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

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 21:00 
Заслуженный участник


07/08/23
1055
С точки зрения алгебры странно требовать, чтобы сами кольца не могли состоять только из нулевого элемента, но для полей сойдёт. Там обязательно $1 \neq 0$. Вы можете просто написать все возможные выражения из букв $a, b$, нуля, вычитания и скобок, а потом проверить, какие из них упрощаются в $a + b$ и в $-a$. Конечно, выражений бесконечно много, но нужное будет где-то в начале. Список примерно такой: $0$, $a$, $b$, $0 - a$, $0 - b$, $a - 0$, $b - 0$, $0 - 0$, $a - a$, $b - b$, $a - b$, $b - a$, $(0 - 0) - 0$, $0 - (0 - 0)$, ...

Заодно так получится другое полезное утверждение: подмножество $X$ в абелевой группе $A$ является подгруппой тогда и только тогда, когда оно содержит 0 и замкнуто относительно вычитания. Это если вы слышали про абелевы группы.

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 21:09 
Аватара пользователя


03/01/23
73
dgwuqtj в сообщении #1650735 писал(а):
Нет, вам нужно тождество, где с одной стороны $a + b$, а с другой вообще нет сложения, только вычитание, переменные и нули.

Тогда получается что-то типа такого? $a+b = a - (0 - b)$

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 21:11 
Заслуженный участник


07/08/23
1055
Да. И теперь видно, что если $a, b \in L$, то $0 - b \in L$ и $a - (0 - b) \in L$, что и требовалось. Аналогично проверяйте, что $L$ замкнуто относительно умножения и взятия обратного.

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 21:11 
Аватара пользователя


03/01/23
73
А ряд Лорана может быть над конечным полем? Это же комплексный ряд. Хотя есть эллиптические кривые над конечным полем, можно определить формальную производную над конечным полем. Может, и ряд Лорана можно определить.

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 21:21 
Заслуженный участник


07/08/23
1055
Ряд Лорана в комплексном анализе — это такой ряд, который к тому же сходится в какой-то области. Но над любым кольцом можно рассматривать формальные степенные ряды, где никакой сходимости не требуется (например, в комбинаторике популярны производящие функции, это обычно формальные степенные ряды над $\mathbb Z$). И над полями осмысленны формальные степенные ряды Лорана, чисто синтаксические выражения вида $a_{-N} t^{-N} + a_{1 - N} t^{1 - N} + \ldots + a_0 + a_1 t + \ldots$ с коэффициентами $a_i$. Они сами образуют поле. С теми же производящими функциями обычно работают внутри поля формальных рядов Лорана $\mathbb C((t))$, потому что сходимость не всегда требуется и не всегда вообще есть.

Производные многочленов и формальных степенных рядов можно определить над любым коммутативным кольцом (даже нулевым, только там неинтересно). Эллиптические кривые — это уже алгебраическая геометрия, а не алгебра, их тоже иногда изучают над коммутативными кольцами.

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 21:27 
Аватара пользователя


03/01/23
73
Получается, что $a \cdot b = a : \frac{1}{b} \in L$
Таким образом, мы определили в $L$ замкнутые операции сложения и умножения, поэтому $L$ - кольцо. Каждый элемент из $L$ имеет обратный и единица находится в $L$ по условию. Следовательно, выполняются все аксиомы подполя, поэтому $L$ - подполе. Так?

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение19.08.2024, 21:29 
Заслуженный участник


07/08/23
1055
Да, теперь всё верно.

 Профиль  
                  
 
 Re: Задачки по алгебре из Винберга
Сообщение20.08.2024, 22:17 
Аватара пользователя


03/01/23
73
А как решить следующую задачу? "Доказать, что поле $Q$ не имеет нетривиальных (т.е. отличных от него самого) подполей".
Я хочу доказать это утверждение по определению подполя, вот оно: подмножество $L$ поля $K$ называется подполем, если
1) $L$ является подкольцом кольца $K$
2) $a \in L, a \ne 0 \Rightarrow {a}^{-1}\in L$
3) $1 \in L$

Пусть $K\in Q$ - подполе. Оно состоит из элементов вида $\frac{p}{q}, p, q \in Z$. Обратным к этому элементу будет $\frac{q}{p}$, по этой причине $1\in K$ как произведение обратных элементов. Выполнены два пункта из определения подполя. Остается доказать, что $K$ не является подкольцом. А как это сделать? Доказать, что операция умножения в $K$ не замкнута?

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 33 ]  На страницу 1, 2, 3  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Padawan


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group