Puolirengas

Wikipedia
Loikkaa: valikkoon, hakuun

Puolirengas on abstraktiin algebraan kuuluva algebrallinen rakenne, joka muistuttaa rengasta. Toisin kuin renkaassa, puolirenkaassa alkioille ei yhteenlaskun suhteen vaadita vastalukua.

Määritelmä[muokkaa | muokkaa wikitekstiä]

Puolirengas on joukko R, joka on varustettu kahdella laskutoimituksella, binäärioperaatiolla + ja ·, eli additiivisella ja multiplikatiivisella, siten, että:[1]

  1. (R, +) on kommutatiivinen monoidi neutraalialkiona eli nolla-alkiona 0:
    1. (a + b) + c = a + (b + c)
    2. 0 + a = a + 0 = a
    3. a + b = b + a
  2. (R, ·) on monoidi with neutraalialkiona eli ykkösalkiona 1:
    1. (a·bc = a·(b·c)
    2. a = a·1 = a
  3. Multiplikatiivinen laskutoimitus osittelee additiivisen yli:
    1. a·(b + c) = (a·b) + (a·c)
    2. (a + bc = (a·c) + (b·c)
  4. a = a·0 = 0

Neljättä aksioomaa ei esiinny renkaan määritelmässä, sillä se seuraa suoraan muista renkaan aksioomista. Puolirenkaan tapauksessa näin ei kuitenkaan ole, sillä additiiviselta laskutoimitukselta ei vaadita vastalukujen olemassaoloa.

Renkaan ja puolirenkaan erona on vain se, että additiivisella laskutoimituksella varustettu joukko R on vain kommutatiivinen monoidi eikä kommutatiivinen ryhmä eli Abelin ryhmä.

Kommutatiivinen puolirengas on sellainen, jossa multiplikatiivinen laskutoimitus eli kertolasku on kommutatiivinen.

Esimerkkejä[muokkaa | muokkaa wikitekstiä]

  • Jokainen rengas on myös puolirengas.
  • Renkaan ideaalit muodostavat puolirenkaan, mutta eivät rengasta ideaalien yhteen- ja kertolaskun suhteen.
  • Luonnolliset luvut N (sisältäen nollan) ovat puolirengas tavallisen yhteen- ja kertolaskun suhteen. Tämä puolirengas on kommutatiivinen.
  • Samaan tapaan myös epänegatiiviset rationaaliluvut ja reaaliluvut ovat puolirengas tavallisen yhteen ja kertolaskun suhteen. Myös nämä puolirenkaat ovat kommutatiivisia.
  • n-x-n neliömatriisit ilman negatiivisia alkioita muodostavat puolirenkaan matriisien yhteen- ja kertolaskun suhteen. Yleistettynä tämä pätee myös sillon, kun neliömatriisien alkiot ovat minkä tahansa puolirenkaan S alkioita. Kyseinen matriisien muodostama puolirengas ei ole yleensä kommuttiivinen vaikka S olisikin.

Katso myös[muokkaa | muokkaa wikitekstiä]

Aiheesta muualla[muokkaa | muokkaa wikitekstiä]

  1. Berstel & Perrin (1985), Malline:Google books quote