Okruh (algebra)

Z Multimediaexpo.cz

Okruh je v matematice algebraická struktura s dvěma binárními operacemi běžně nazývanými sčítání a násobení. Přitom sčítání splňuje axiomy Abelových grup a násobení axiomy monoidu. Typickým příkladem okruhu je množina celých čísel s běžně známými operacemi sčítání a násobení.

Obsah 1 Definice okruhu 2 Vlastnosti 3 Příklady okruhů 4 Podokruh 5 Související články 6 Externí odkazy

Definice okruhu

Strukturu \(R\) s nosičem R a dvěma binárními operacemi + (sčítání) a · (násobení) na R nazýváme okruh, platí-li pro všechny prvky R x, y, z následující axiomy:

1. Uzavřenost obou operací: x + y i x · y jsou prvky R.
2. Asociativita sčítání i násobení: (x + y) + z = x + (y + z), (x · y) · z = x · (y · z).
3. Existence nulového prvku 0.
4. Existence opačného prvku: pro každé x z R existuje y z R tak, že x + y = 0 = y + x, značíme y = −x.
5. Komutativita sčítání: x + y = y + x.
6. (Oboustranná) distributivita násobení ke sčítání: x · ( y + z) = (x · y) + (x · z), ( y + z) · x = ( y · x) + (z · x).

Vlastnosti

Množina R s operací +, tj. (R, +), je tedy Abelova grupa. Množina R s operací ·, tj. (R, ·), je tedy pologrupa.

Pokud navíc existuje jednotkový prvek (neutrální při násobení), jedná se o unitární okruh (nebo také okruh s jednotkovým prvkem). Pokud navíc neexistují tzv. dělitelé nuly, jedná se o tzv. obor. Pokud je obor navíc komutativní, jedná se o obor integrity.

Pokud existují v unitárním okruhu převrácené prvky, nazýváme takový okruh těleso. Jeho nenulové prvky tvoří tedy s operací násobení grupu.

Příklady okruhů

• Obor celých čísel \(\scriptstyle \mathbb{Z}\)
• Lineární zobrazení na \(\scriptstyle \mathbb{R}^n\) s operací sčítání a skládání tvoří okruh. Obecná zobrazení však okruh netvoří, neboť není splněn předpoklad distributivity skládání.
• Triviální okruh R = {0}. Jedná se o jediný okruh takový, že 0 = 1.

Podokruh

S je neprázdná podmnožina okruhu (R, +, ·) je podokruh (S, +, ·) okruhu R, právě když pro všechna a, b z S do něj patří a-b i a·b.

Související články

• Grupa
• Těleso
• Obor integrity

Externí odkazy

• Skripta Pěstujeme lineární algebru
• Okruh na MathWorld (anglicky)
• Podokruh na MathWorld (anglicky)

Náklady na energie a provoz naší encyklopedie prudce vzrostly. Potřebujeme vaši podporu... Kolik ?? To je na Vás. Náš FIO účet — 2500575897 / 2010
Informace o článku. Článek je převzat z Wikipedie, otevřené encyklopedie, do které přispívají dobrovolníci z celého světa. Tento text je dostupný za podmínek Creative Commons 3.0 Unported – creativecommons.org. Originální článek na české Wikipedii