Dowód ideałów

Grupy, pierścienie, ciała, rozkładalność, klasyczne struktury algebraiczne...
JakubP-Jzero
Użytkownik
Użytkownik
Posty: 21
Rejestracja: 16 lis 2018, o 12:44
Płeć: Mężczyzna
Lokalizacja: Polska
Podziękował: 3 razy

Dowód ideałów

Post autor: JakubP-Jzero » 5 lut 2019, o 18:31

Udowodnić, że \(\displaystyle{ \sqrt(\sqrt I) = \sqrt I}\), gdzie \(\displaystyle{ I}\) jest ideałem i \(\displaystyle{ \sqrt I=\left\{ a \in P : (\exists n \in \mathbb N)( a^n \in I)\right\}}\).
Wykazać, że \(\displaystyle{ a \in I \Leftrightarrow a + I}\) jest elementem nilpotentnym pierścienia \(\displaystyle{ P/I}\).
Od czego zacząć ? Czy definicja elementu nilpotentnego tutaj jest użyteczna ?
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

Awatar użytkownika
leg14
Użytkownik
Użytkownik
Posty: 3132
Rejestracja: 5 lis 2014, o 20:24
Płeć: Mężczyzna
Lokalizacja: Radom
Podziękował: 154 razy
Pomógł: 475 razy

Dowód ideałów

Post autor: leg14 » 5 lut 2019, o 19:04

W drugim punkcie chyba chodziło o to, że \(\displaystyle{ a}\) ma należeć do radykału I?
Czy definicja elementu nilpotentnego tutaj jest użyteczna ?
Oczywiście - jak inaczej zrozumiesz polecenie?

Proponuję udowodnić to wprost z definicji - nie ma tu nic trudnego. Zacznij, to pociągniemy to razem

JakubP-Jzero
Użytkownik
Użytkownik
Posty: 21
Rejestracja: 16 lis 2018, o 12:44
Płeć: Mężczyzna
Lokalizacja: Polska
Podziękował: 3 razy

Dowód ideałów

Post autor: JakubP-Jzero » 5 lut 2019, o 20:31

Czy mogę ten zbiór opisać tak :
\(\displaystyle{ \sqrt (\sqrt(I)) = \left\{ a \in P: \exists n \in \mathbb N (a^n)^n \in I\right\}}\)

Awatar użytkownika
karolex123
Użytkownik
Użytkownik
Posty: 728
Rejestracja: 22 gru 2012, o 11:01
Płeć: Mężczyzna
Lokalizacja: somewhere
Podziękował: 38 razy
Pomógł: 124 razy

Re: Dowód ideałów

Post autor: karolex123 » 6 lut 2019, o 17:51

JakubP-Jzero, nie do końca. Lepiej zapisać tak:
\(\displaystyle{ \sqrt (\sqrt(I)) = \left\{ a \in P: \exists n \in \mathbb N: a^n \in \sqrt I \right\}}\).
Zatem elementy \(\displaystyle{ \sqrt (\sqrt(I))}\) to takie, że istnieje \(\displaystyle{ m \in \NN}\) o tej własności, że dla pewnego \(\displaystyle{ n \in \NN}\) mamy \(\displaystyle{ (a^n)^m=a^{nm} \in I}\). No ale to oznacza, że...

JakubP-Jzero
Użytkownik
Użytkownik
Posty: 21
Rejestracja: 16 lis 2018, o 12:44
Płeć: Mężczyzna
Lokalizacja: Polska
Podziękował: 3 razy

Dowód ideałów

Post autor: JakubP-Jzero » 6 lut 2019, o 19:10

Że mamy \(\displaystyle{ (a^m)^n \in \sqrt I}\) ?
Czy, że \(\displaystyle{ \sqrt I \subset \sqrt(\sqrt I)}\) oraz \(\displaystyle{ \sqrt(\sqrt I) \subset \sqrt I}\), a to oznacza, że \(\displaystyle{ \sqrt I = \sqrt(\sqrt I)}\) ?

Awatar użytkownika
karolex123
Użytkownik
Użytkownik
Posty: 728
Rejestracja: 22 gru 2012, o 11:01
Płeć: Mężczyzna
Lokalizacja: somewhere
Podziękował: 38 razy
Pomógł: 124 razy

Re: Dowód ideałów

Post autor: karolex123 » 6 lut 2019, o 21:21

Nie, że \(\displaystyle{ a \in \sqrt I}\). w takim razie mamy dwie inkluzje, które dają żądaną równość

JakubP-Jzero
Użytkownik
Użytkownik
Posty: 21
Rejestracja: 16 lis 2018, o 12:44
Płeć: Mężczyzna
Lokalizacja: Polska
Podziękował: 3 razy

Re: Dowód ideałów

Post autor: JakubP-Jzero » 6 lut 2019, o 22:04

Dziękuję, a drugi dowód ?
\(\displaystyle{ a \in \sqrt I \Leftrightarrow (\exists n \in \mathbb N)(a^n \in I) \Rightarrow a^n+I=I \Rightarrow a^n+I=(a+I)^n=I \Rightarrow a+I}\) jest elementem nilpotentnym pierścienia \(\displaystyle{ P/I}\) ?

Awatar użytkownika
karolex123
Użytkownik
Użytkownik
Posty: 728
Rejestracja: 22 gru 2012, o 11:01
Płeć: Mężczyzna
Lokalizacja: somewhere
Podziękował: 38 razy
Pomógł: 124 razy

Re: Dowód ideałów

Post autor: karolex123 » 7 lut 2019, o 19:46

JakubP-Jzero pisze:Dziękuję, a drugi dowód ?
\(\displaystyle{ a \in \sqrt I \Leftrightarrow (\exists n \in \mathbb N)(a^n \in I) \Rightarrow a^n+I=I \Rightarrow a^n+I=(a+I)^n=I \Rightarrow a+I}\) jest elementem nilpotentnym pierścienia \(\displaystyle{ P/I}\) ?
Tak , tam wszędzie mamy równoważności

ODPOWIEDZ