Евклидовы кольца — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (Примеры)
м (rollbackEdits.php mass rollback)
 
(не показано 5 промежуточных версий 3 участников)
Строка 1: Строка 1:
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
<b>Евклидово кольцо</b> - [[Определение кольца, подкольца, изоморфизмы колец|кольцо]], в котором существует алгоритм евклида.
+
<b>Евклидово кольцо</b> - [[Определение кольца, подкольца, изоморфизмы колец|кольцо]], в котором существует алгоритм Евклида.
 
}}
 
}}
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
<b>Евклидово кольцо</b> - это [[Делители нуля, области целостности|область целостности]] <tex>R</tex>, для которой определена евклидова норма <tex>\|\cdot \| :R \rightarrow \mathbb{N}\cup\{-\infty\}</tex>, причем <tex>\|a\|=-\infty \Leftrightarrow a=0</tex>, для <tex>\forall a,b\in R \exists</tex> представление <tex>a=b\cdot q + r, для которого \|r\|<\|d\|</tex>
+
<b>Евклидово кольцо</b> - это [[Делители нуля, области целостности|область целостности]] <tex>R</tex>, для которой определена евклидова норма <tex>\|\cdot \| :R \rightarrow \mathbb{N}\cup\{-\infty\}</tex>, причем <tex>\|a\|=-\infty \Leftrightarrow a=0</tex>, для <tex>\forall a,b\in R \exists</tex> представление <tex>a=b\cdot q + r, для которого \|r\|<\|b\|</tex>
 
}}
 
}}
 
==Примеры==
 
==Примеры==
 
#<tex>\mathbb{Z}</tex>, тогда <tex>\|a\|=|a|</tex>
 
#<tex>\mathbb{Z}</tex>, тогда <tex>\|a\|=|a|</tex>
 
#<tex>\mathbb{Q}[x]</tex>, тогда <tex>\|f(x)\|=deg(f(x))</tex><br>
 
#<tex>\mathbb{Q}[x]</tex>, тогда <tex>\|f(x)\|=deg(f(x))</tex><br>
<tex>|a\cdot b|^2=|a|^2\cdot |b|^2\geq |b|^2</tex>, кроме того <tex>\|a\cdot b\|\geq \|b\|=|b|^2 \Rightarrow \|a\cdot b\|=|a\cdot b|^2</tex>
+
<tex>|a\cdot b|^2=|a|^2\cdot |b|^2\geq |b|^2</tex>, кроме того <tex>\|a\cdot b\|\geq \|b\|=|b|^2 \Rightarrow |a\cdot b|^2=\|a\cdot b\|</tex>
 
#<tex>\mathbb{Z}[i]: \|a+b\cdot i\|=a^2+b^2</tex>, т.e. <tex>\|z\|=|z|^2</tex>
 
#<tex>\mathbb{Z}[i]: \|a+b\cdot i\|=a^2+b^2</tex>, т.e. <tex>\|z\|=|z|^2</tex>
  
Строка 21: Строка 21:
 
<tex>r_n=r_{n+1}\cdot u_{n+2}</tex>.<br>
 
<tex>r_n=r_{n+1}\cdot u_{n+2}</tex>.<br>
 
Число <tex>r_{n+1}</tex> является НОД чисел <tex>a</tex> и <tex>b</tex>. Алгоритм заканчивает свою работу, поскольку <tex>\forall a \in \mathbb{N} \cup \{-\infty\}</tex> может строго превосходить лишь конечное количество других таких чисел.
 
Число <tex>r_{n+1}</tex> является НОД чисел <tex>a</tex> и <tex>b</tex>. Алгоритм заканчивает свою работу, поскольку <tex>\forall a \in \mathbb{N} \cup \{-\infty\}</tex> может строго превосходить лишь конечное количество других таких чисел.
 +
 +
==Свойства==
 +
#В евклидовых кольцах единственно разложение на множители.
 +
#<tex>a\cdot b\vdots p \Rightarrow a\vdots p \lor b\vdots p</tex> <br> Пусть <tex>gcd(a,p)=1 \Rightarrow 1=a\cdot x+p\cdot y; x,y \in \mathbb{R} \Rightarrow b=a\cdot b\cdot x + p\cdot b\cdot y \vdots p \Rightarrow b\vdots p</tex>
 +
#Если а и b - не [[Единицы (обратимые элементы), группа обратимых элементов|обратимы]], то <tex>\|a\cdot b\|>\|b\|</tex><br> Пусть <tex>b=k\cdot a\cdot b+r;r\neq 0;\|r\|<\|a\cdot b\|\Rightarrow r=b-k\cdot a\cdot b\Rightarrow \|r\|=\|b\cdot(1-k\cdot a)\|>\|b\|</tex>

Текущая версия на 19:18, 4 сентября 2022

Определение:
Евклидово кольцо - кольцо, в котором существует алгоритм Евклида.


Определение:
Евклидово кольцо - это область целостности [math]R[/math], для которой определена евклидова норма [math]\|\cdot \| :R \rightarrow \mathbb{N}\cup\{-\infty\}[/math], причем [math]\|a\|=-\infty \Leftrightarrow a=0[/math], для [math]\forall a,b\in R \exists[/math] представление [math]a=b\cdot q + r, для которого \|r\|\lt \|b\|[/math]

Примеры

  1. [math]\mathbb{Z}[/math], тогда [math]\|a\|=|a|[/math]
  2. [math]\mathbb{Q}[x][/math], тогда [math]\|f(x)\|=deg(f(x))[/math]

[math]|a\cdot b|^2=|a|^2\cdot |b|^2\geq |b|^2[/math], кроме того [math]\|a\cdot b\|\geq \|b\|=|b|^2 \Rightarrow |a\cdot b|^2=\|a\cdot b\|[/math]

  1. [math]\mathbb{Z}[i]: \|a+b\cdot i\|=a^2+b^2[/math], т.e. [math]\|z\|=|z|^2[/math]

Алгоритм Евклида

Изначально даны [math]a,b\in R[/math], необходимо найти их НОД. Пусть [math]a\lt b[/math]. Поделим [math]b[/math] на [math]a[/math] с остатком
[math]b=a\cdot u_1 + r_1 (0\le r_1\lt a)[/math],
[math]a=r_1\cdot u_2 + r_2 (0\le r_2\lt r_1)[/math],
...........................
[math]r_{n-1}=r_n\cdot u_{n+1} + r_{n+1} (0\le r_{n+1}\lt r_n)[/math],
[math]r_n=r_{n+1}\cdot u_{n+2}[/math].
Число [math]r_{n+1}[/math] является НОД чисел [math]a[/math] и [math]b[/math]. Алгоритм заканчивает свою работу, поскольку [math]\forall a \in \mathbb{N} \cup \{-\infty\}[/math] может строго превосходить лишь конечное количество других таких чисел.

Свойства

  1. В евклидовых кольцах единственно разложение на множители.
  2. [math]a\cdot b\vdots p \Rightarrow a\vdots p \lor b\vdots p[/math]
    Пусть [math]gcd(a,p)=1 \Rightarrow 1=a\cdot x+p\cdot y; x,y \in \mathbb{R} \Rightarrow b=a\cdot b\cdot x + p\cdot b\cdot y \vdots p \Rightarrow b\vdots p[/math]
  3. Если а и b - не обратимы, то [math]\|a\cdot b\|\gt \|b\|[/math]
    Пусть [math]b=k\cdot a\cdot b+r;r\neq 0;\|r\|\lt \|a\cdot b\|\Rightarrow r=b-k\cdot a\cdot b\Rightarrow \|r\|=\|b\cdot(1-k\cdot a)\|\gt \|b\|[/math]