Определение кольца, подкольца, изоморфизмы колец — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «{{Определение |definition= Множество <tex>R</tex>, на котором заданы бинарные операции сложение и у…»)
 
 
Строка 24: Строка 24:
 
<i>Доказательство.</i><br>
 
<i>Доказательство.</i><br>
 
Нужно убедится,что если выполняются аксиомы кольца для <tex>R</tex>, то они выполняяютсяи для <tex>R'</tex>. Докажем аксиому об существовании обратного элемента относительно сложения, остальное аналогично. Пусть <tex>a' \in R'</tex>, а <tex>a</tex> его прообраз в <tex>R</tex>, тогда по аксиоме об существовании обратного элемента относительно сложения <tex>\exists b: a+b=0</tex>. По изоморфизму <tex>\exists b': b \rightarrow b'</tex>, а также <tex>a'+b'=0'</tex>, значит в <tex>R'</tex> также выполняется эта аксиома.
 
Нужно убедится,что если выполняются аксиомы кольца для <tex>R</tex>, то они выполняяютсяи для <tex>R'</tex>. Докажем аксиому об существовании обратного элемента относительно сложения, остальное аналогично. Пусть <tex>a' \in R'</tex>, а <tex>a</tex> его прообраз в <tex>R</tex>, тогда по аксиоме об существовании обратного элемента относительно сложения <tex>\exists b: a+b=0</tex>. По изоморфизму <tex>\exists b': b \rightarrow b'</tex>, а также <tex>a'+b'=0'</tex>, значит в <tex>R'</tex> также выполняется эта аксиома.
 +
 +
==Примеры колец==
 +
* <tex>\mathbb{Z}</tex> — целые числа.
 +
* <tex>\mathbb{Z}_n</tex> — кольцо вычетов по модулю натурального числа <tex>n</tex>.
 +
* <tex>\mathbb{Q}</tex> — кольцо рациональных чисел, являющееся полем.
 +
* <tex>\mathbb{R}</tex> — кольцо вещественных чисел, являющееся полем.
 +
* <tex>\mathbb{R}[x_1,x_2,...,x_n]</tex> — кольцо многочленов от <tex>n</tex> переменных над полем <tex>\mathbb{R}</tex>.

Текущая версия на 02:32, 16 сентября 2010

Определение:
Множество [math]R[/math], на котором заданы бинарные операции сложение и умножение, с определенными свойствами, называется кольцом.

Свойства:

  • [math]\forall a,b \in R: a+b=b+a[/math] - коммутативность по сложению.
  • [math]\forall a,b,c \in R: a+(b+c)=(a+b)+c[/math] - ассоциотивность по сложению.
  • [math]\exists 0 \in R: a+0=0+a=a[/math] - существование нейтрального элемента по сложению.
  • [math]\forall a \in R\; \exists b \in R:a+b=b+a=0[/math] — существование обратного элемента относительно сложения;
  • [math]\forall a,b,c \in R:(a \cdot b) \cdot c=a \cdot (b \cdot c)[/math] — ассоциативность по умножению
  • [math]\forall a,b,c \in R[/math]


Подкольцо[править]

Определение:
Множество [math]A \subset R[/math], которое определено относительно операций, определенных в [math]R[/math] называестя подкольцом.


Изоморфизм колец[править]

Теорема[править]

Пусть [math]R[/math] и [math]R'[/math] - множества, в каждом из которых определены операции сложения и умножения. Пусть [math]R[/math] изоморфно [math]R'[/math]. Тогда, если [math]R[/math] кольцо, то и [math]R'[/math] кольцо. Доказательство.
Нужно убедится,что если выполняются аксиомы кольца для [math]R[/math], то они выполняяютсяи для [math]R'[/math]. Докажем аксиому об существовании обратного элемента относительно сложения, остальное аналогично. Пусть [math]a' \in R'[/math], а [math]a[/math] его прообраз в [math]R[/math], тогда по аксиоме об существовании обратного элемента относительно сложения [math]\exists b: a+b=0[/math]. По изоморфизму [math]\exists b': b \rightarrow b'[/math], а также [math]a'+b'=0'[/math], значит в [math]R'[/math] также выполняется эта аксиома.

Примеры колец[править]

  • [math]\mathbb{Z}[/math] — целые числа.
  • [math]\mathbb{Z}_n[/math] — кольцо вычетов по модулю натурального числа [math]n[/math].
  • [math]\mathbb{Q}[/math] — кольцо рациональных чисел, являющееся полем.
  • [math]\mathbb{R}[/math] — кольцо вещественных чисел, являющееся полем.
  • [math]\mathbb{R}[x_1,x_2,...,x_n][/math] — кольцо многочленов от [math]n[/math] переменных над полем [math]\mathbb{R}[/math].