Rngas

Wikipediasta
Siirry navigaatioon Siirry hakuun

Matematiikassa rngas (tai ei-yksiköllinen rengas tai pseudorengas) on algebrallinen rakenne, joka täyttää samat ominaisuudet kuin rengas paitsi että se ei oleta multiplikatiivisen identiteetin (eli "ykkösalkion") olemassaoloa. Termi rngas kertoo, että se on rengas ilman neutraalialkiota e (vrt. engl. rng).

Vaikka rengas yleensä määritellään niin, että ykkösalkion pitää olla olemassa, jotkin teokset poikkeavat tästä eli määrittelevat kaikki rnkaat renkaiksi. Suomessa on tapana tarkoittaa pseudorenkaalla rngasta, mutta pseudorenkaille on myös kaksi ei-ekvivalenttia määritelmää. Sen sijaan rngas on yksikäsitteinen käsite. Sen huono puoli termiin "pseudorengas" nähden on, että se näyttää kirjoitusvirheeltä ja se helposti sekoittuu renkaisiin.

Alla esitetyssä inkluusioketjussa kukin algebrallinen käsite tarkoittaa sen käsitteen ilmenemien joukkoa (esimerkiksi "Pseudorengas" tarkoittaa kaikkien pseudorenkaiden joukkoa):

Rngas eli pseudorengasrengaskommutatiivinen rengaskokonaisaluefaktoriaalinen kokonaisaluepääideaalialueeuklidinen aluekuntaAlgebrallisesti suljettu kunta

Määritelmä

[muokkaa | muokkaa wikitekstiä]

Rngas on joukko R, jossa on määritelty kaksi binäärioperaatiota (+, ·), kutsuttakoon niitä yhteen- ja kertolaskuiksi, jotka täyttävät seuraavat ehdot:

Rngashomomorfismi on funktio f: RS rnkaalta toiselle, jolla

  • f(x + y) = f(x) + f(y)
  • f(x · y) = f(x) · f(y)

kaikilla x,y.

Jos R ja S ovat renkaita, rengashomomorfismi RS on sama kuin rngashomomorfismi f:RS, jolla .

Kaikki renkaat ovat rnkaita. Parillisten numeroiden joukko on rngas muttei rengas, samoin niiden 3x3-matriisien joukko, joiden alarivi on nolla. Kumpikin on esimerkki siitä, että jokainen (yksi- tai kaksipuolinen) ideaali on rngas.

Jos V on ääretönulotteinen vektoriavaruus, niin niiden lineaarioperaattorien

f : VV joukko, joilla dim f(V) < ∞, on rngas muttei rengas. Toinen esimerkki on nollaan suppenevien reaalisten jonojen joukko (komponentittaisilla yhteen- ja kertolaskuilla).

Missä tahansa topologisessa avaruudessa määriteltyjen niiden reaaliarvoisten jatkuvien funktioiden joukko, joilla on kompakti kantaja on rngas (yhteen- ja kertolasku pisteittiä). Se on rengas jos ja vain jos avaruus on kompakti.

Noudettu kohteesta ”https://fi.wikipedia.org/wiki/Rngas