2014 dxdy logo

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

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


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


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



Начать новую тему Ответить на тему
 
 НОК в целостном кольце
Сообщение15.02.2023, 06:48 


03/02/21
12
Здравствуйте! Читаю первый том Кострикина и не могу доказать следующее утверждение:
Пусть для элементов $a,b$ целостного кольца $K$ существуют НОД(a,b) и НОК(a,b). Тогда:
а) $НОК(a,b) = 0 \Leftrightarrow a = 0$ или $b = 0$

В доказательстве буквально говорится, что а) вытекает непосредственно из определения НОК(a,b).

Докажем сначала в одну сторону $\Leftarrow$:
Если $a = 0$ или $b = 0$, тогда по определению НОК(a,b) (обозначим его далее через $m$) выходит, что $m = aa', m = bb'$, где $a',b' \in K$. Очевидно, что в данном случае $m = 0$.

Но в обратную сторону данное утверждение уже не получается доказать $\Rightarrow$:
Пусть $m = 0 \Rightarrow m = aa', m = bb'$, где $a',b' \in K$. Но ведь в этом случае $a$ или $b$ не обязаны быть равными нулю, ибо мы можем положить $a' = b' = 0$ и при этом мы будем иметь $m =$ НОК(a,b) $= 0$, где $a,b \ne 0$

 Профиль  
                  
 
 Re: НОК в целостном кольце
Сообщение15.02.2023, 08:15 
Заслуженный участник


18/01/15
3312
Ну да,бывает, запутались с тривиальными вещами.

Пусть $a,b\ne0$, и $m$ --- их НОК. Допустим, $m=0$. Любой элемент, который делится на оба $a$ и $b$, должен делиться и на $m$. В частности, $ab$ делится на $m$. Но $ab\ne0$, поскольку кольцо целостное. А на нуль ничто, кроме нуля, не делится --- противоречие.

 Профиль  
                  
 
 Re: НОК в целостном кольце
Сообщение15.02.2023, 08:28 


03/02/21
12
Понял. Большое Вам спасибо за ответ и уделённое время!

 Профиль  
                  
 
 Re: НОК в целостном кольце
Сообщение15.02.2023, 09:31 
Заслуженный участник


18/01/15
3312
Пожалуйста. .

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

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



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

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


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

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