Előszöris megjegyezzük, hogy a alapján ideál -ben, így a baloldalon álló faktorgyűrű valóban értelmes. Igaz továbbá, hogy a alapján részgyűrű abban a gyűrűben, ahová mutat, így a tételben szereplő gyűrűizomorfia jobboldala is értelmes. Most megmutatjuk, …
Tekintsük azt az gyűrűhomomorfizmust, amelynek a magja. Ez egy valamilyen, számunkra ismeretlen gyűrűbe képez, amelynek nullelemét jelöljük most -szel, míg az gyűrű nullelemét jelöljük -rel. Az függvény tehát minden eleméhez -et rendeli hozzá, hiszen . …
Ha magja egy gyűrűhomomorfizmusnak, akkor a alapján ideál -ben, azaz . Megfordítva: Ha ideál -ben, akkor a alapján az -ből kiinduló és az faktorgyűrűbe mutató természetes gyűrűhomomorfizmusnak éppen a magja.
A alapján a maradékosztályok közötti és műveletek jóldefiniáltak, azaz az eredményként kapott maradékosztály nem függ az és reprezentánselemek megválasztásától. Így -re elegendő a szerinti gyűrűaxiómákat ellenőrizni. Az asszociativitási és disztributivitási tulajdonságok, valamint a művelet kommutativitása: …
Az áttekinthetőség kedvéért most az összeadást a , az ellentettképzést és a kivonást pedig a szimbólummal fogjuk jelölni mindhárom gyűrű esetén. Mindig gondoljuk azonban végig, hogy az adott kifejezésben szereplő műveleti jelek éppen melyik gyűrűre …
A alapján azt kell tehát bizonyítani, hogy az ideál szerinti kongruenciareláció reflexív (), tranzitív () és szimmetrikus (). Az alábbiakban legyenek , és az gyűrű tetszőleges elemei. A bizonyítás során végig arra fogunk támaszkodni, hogy …
A alapján azt kell tehát bizonyítani, hogy az szerinti kongruenciareláció reflexív (), tranzitív () és szimmetrikus (). Az alábbiakban legyenek , és az gyűrű tetszőleges elemei. Mivel nyilván teljesül, ezért fennáll az reláció, így az …
Tegyük fel, hogy részgyűrű -ben. Ekkor a műveleti zártság – azaz az 1. és 2. tulajdonság – nyilvánvalóan teljesül, máskülönben nem lenne gyűrű az -beli műveletekre nézve, és így részgyűrű sem lehetne -ben. Mivel -nek …
Jelöljük az gyűrű összeadását a , míg az gyűrű összeadását a szimbólummal. Az 1. állítás: Mivel egyrészt az gyűrű nulleleme, valamint tartja az összeadást, ezért az gyűrű tetszőleges elemére felírható az alábbi: Másrészt, mivel az …
A bizonyításban a szerinti gyűrűaxiómákra fogunk hivatkozni. Az 1. tulajdonság: Az hatvány egy olyan tényezős szorzat, amelynek minden tényezője . A 4. gyűrűaxióma alapján a szorzás asszociatív, valamint – mivel kommutatív gyűrűről van szó – …
Azt kell megmutatni, hogy a függvény tartja az eredeti gyűrű mindkét műveletét. Nézzük először az összeadást. Itt az alábbi összefüggést kell igazolni: Fejtsük ki mindkét oldalt a alapján. A bal- és jobboldalon képződő maradékokat jelöljük …
Tegyük fel, hogy prímszám, és a gyűrű valamely és elemeinek moduláris szorzata , azaz . Azt kell megmutatni, hogy ekkor és közül legalább az egyik szükségképpen . Az a alapján azt jelenti, hogy , vagyis …
A ban szereplő gyűrűaxiómák teljesülését kell igazolnunk. Nézzük őket sorban: A műveletek kommutativitása: Ez egyszerűen adódik a ból, valamint a hagyományos összeadás és szorzás kommutativitásából: Neutrális elem létezése: Az esetben a utáni megjegyzés 4. pontja …
Előszöris azt igazoljuk, hogy a maradékos osztás ezekkel a szigorúbb feltételekkel is elvégezhető, azaz mindenképpen létezik nemnegatív maradék is. Ezután fogjuk igazolni ennek egyértelműségét. A ből tudjuk, hogy az abszolútérték függvény egy euklidészi norma a …
Mivel és egymás ellentettjei, ezért a oszthatóság miatt a 8. pontja alapján az alábbi oszthatóságok mind teljesülnek: A fenti négy oszthatóság között biztosan van olyan, amelynek mindkét oldalán nemnegatív számok szerepelnek. Ezért az általánosság megsértése …
Legyen adva egy gyűrű és annak egy részhalmaza. Az részhalmaz akkor és csak akkor magja egy valamilyen -ből kiinduló gyűrűhomomorfizmusnak, ha ideál -ben.
Legyenek és tetszőleges gyűrűk, valamint tegyük fel, hogy adva van egy gyűrűhomomorfizmus. Ekkor , azaz az -ből képzett magja szerinti faktorgyűrű izomorf képével.
Legyen tetszőleges gyűrű, pedig valamilyen ideál -ben. Tegyük fel továbbá, hogy az gyűrű valamilyen és valamint és elemeire teljesülnek az alábbi kongruenciák: Ekkor teljesülnek az alábbi kongruenciák is:
Legyen egy tetszőleges gyűrű, és tegyük fel, hogy ideál -ben. Jelöljük -vel azt a halmazt, amelynek elemei a ben definiált ideál szerinti maradékosztályok. Vezessünk be ezek között két műveletet az alábbiak szerint: Ha és két …
