Alkuideaali

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.

Alkuideaalit kommutatiivisissa renkaissa 

Jos R on 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ä 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.

Esimerkkejä 

 Jokainen maksimaalinen ideaali on alkuideaali.

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.

Lähteet

Kirjallisuutta
 

Rengasteoria