Alkuideaali
Wikipedia
Abstraktissa algebrassa alkuideaali on renkaan osajoukko, jolla on monia vastaavia tärkeitä ominaisuuksia kuin alkuluvuilla kokonaislukujen renkaassa. Alkuideaalien määritelmä kommutatiivisissa eli vaihdannaisissa renkaissa on yksinkertaisempi, joten sitä käsitellään tässä yhteydessä ensin.
Sisällysluettelo |
[muokkaa] Alkuideaalit kommutatiivisissa renkaissa
Jos R on kommutatiivinen rengas, niin R:n ideaali P on alkuideaali [1], mikäli sillä on seuraavat kaksi ominaisuutta:
- aina kun a ja b ovat sellaisia renkaan R alkioita, että niiden tulo ab kuuluu ideaaliin P, niin a kuuluu P:hen tai b kuuluu P:hen.
- P ei ole koko rengas R.
Tämä yleistää seuraavan alkulukujen ominaisuuden: jos p on alkuluku ja p jakaa kahden kokonaisluvun tulon ab, niin p jakaa a:n tai p jakaa b:n. Näin ollen voidaan sanoa:
- Positiivinen kokonaisluku n on alkuluku jos ja vain jos ideaali nZ on alkuideaali renkaassa Z.
[muokkaa] Esimerkkejä
- Jokainen maksimaalinen ideaali on alkuideaali.[2]
[muokkaa] Alkuideaalit ei-kommutatiivisissa renkaissa
Jos R on ei-kommutatiivinen rengas, niin R:n ideaali P on alkuideaali, mikäli sillä on seuraavat kaksi ominaisuutta:
- aina kun a ja b ovat sellaisia renkaan R alkioita, että kaikilla R:n alkioilla r tulo arb kuuluu ideaaliin P, niin a kuuluu P:hen tai b kuuluu P:hen.
- P ei ole koko rengas R.
Kommutatiivisten renkaiden tapauksessa tämä määritelmä on yhtenevä edellisessä osuudessa annettuun. Ei-kommutatiivisten renkaiden tapauksessa nämä kaksi määritelmää eroavat.
[muokkaa] Lähteet
- ↑ John B. Fraleigh (1999): A First Course in Abstract Algebra, s. 337. Addison-Wesley. ISBN 0-201-33596-4.
- ↑ Keijo Väänänen, Lukuteoria – luentorunko, s. 43 Oulun yliopisto. Luettu 27.2.2007.
