2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 Расширение кольца в сторону поля.
Сообщение30.10.2016, 23:27 


16/12/14
472
Доброе время суток!
Хотелось бы понять рассматривались ли такие конструкции, для ясности приведу простой пример и этой оперы, а потом опишу общий вид.

Возьем кольцо вычетов по модулю $6$: $\mathbb{Z}_6$, и попробуем присоединить к нему обратный к $4$ элемент: $\frac{1}{4}$.
Для этого рассмотрим множество формальных выражений вида:
$a + \frac{b}{4}$, так как $4 \cdot 4 = 16 = 6\cdot2 + 4$, то в кольце $\mathbb{Z}_6$ верно, что $4^2 = 4$, что дает нам право в нашем расширении считать $(\frac{1}{4})^2 = \frac{1}{4}$, таким образом легко проверить, что наше множество есть снова кольцо: сложение и вычитание выполняем,естественно, покомнонентно, а умножение дается такой формулой:
$(a + \frac{b}{4})(c + \frac{d}{4}) = ac + \frac{ad + bc + bd}{4}$
В общем случае можно к конечному кольцу присоединить обратный элемент по такому признаку, если только он не является нильпотентом (ибо тогда возникает деление на ноль,что неприятно), и как бы движемся в сторону поля.

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

 Профиль  
                  
 
 Re: Расширение кольца в сторону поля.
Сообщение30.10.2016, 23:38 
Заслуженный участник
Аватара пользователя


08/11/11
5940
https://en.wikipedia.org/wiki/Localization_of_a_ring

Это не совсем то, но ваша конструкция сведётся к локализации, если вы потребуете естественных соотношений вроде $1+\frac{0}{4}=0+\frac{4}{4}$. Если в знаменателе делитель нуля (как в вашем случае), из-за этих соотношений кольцо может уменьшиться.

 Профиль  
                  
 
 Re: Расширение кольца в сторону поля.
Сообщение31.10.2016, 00:41 
Заслуженный участник


27/06/08
4058
Волгоград
Pulseofmalstrem, а Вас не смущает, например, такое: $3=3\cdot(4\cdot\frac14)=(3\cdot4)\cdot\frac14=0$

g______d
, Вы это имели в виду?

 Профиль  
                  
 
 Re: Расширение кольца в сторону поля.
Сообщение31.10.2016, 00:54 
Заслуженный участник
Аватара пользователя


08/11/11
5940
VAL в сообщении #1164577 писал(а):
Вы это имели в виду?


Да. Только у вас тоже равенство $4\cdot \frac14=1$ предполагается, хотя формально из определения не следует.

 Профиль  
                  
 
 Re: Расширение кольца в сторону поля.
Сообщение31.10.2016, 00:59 
Заслуженный участник


27/06/08
4058
Волгоград
g______d в сообщении #1164582 писал(а):
Только у вас тоже равенство $4\cdot \frac14=1$ предполагается, хотя формально из определения не следует.
Так я исходил из допущений ТС:
Pulseofmalstrem в сообщении #1164541 писал(а):
Возьем кольцо вычетов по модулю $6$: $\mathbb{Z}_6$, и попробуем присоединить к нему обратный к $4$ элемент: $\frac{1}{4}$.

 Профиль  
                  
 
 Re: Расширение кольца в сторону поля.
Сообщение31.10.2016, 01:03 
Заслуженный участник
Аватара пользователя


08/11/11
5940
Короче говоря, ответ на вопрос ТС -- да, рассматривались, называются локализация, описаны по ссылке в википедии или в любом учебнике по коммутативной алгебре.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 6 ] 

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



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

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


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

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