Kolobar

Iz MaFiRaWiki

Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili.

Kaj pomeni to opozorilo?

Kolobar (K,0,-,+,\cdot) je algebrska struktura, ki zadošča naslednjim pogojem:

  1. (K,0, − , + ) je Abelova grupa za seštevanje +. Elementu 0 \in K pravimo ničla, elementu x pa nasprotni element elementa x.
  2. (K,\cdot) je polgrupa za množenje \cdot.
  3. Veljata distributivnostna zakona: za vse a, b, c \in K je a(b + c) = ab + ac in (a + b)c = ac + bc.

Kolobar z enoto ali unitalni kolobar je kolobar z elementom 1 \in K, imenovanim enota, za katerega je (K,1,\cdot) monoid.

Običajno zahtevamo 0 \neq 1 (če to ne velja, sledi da ima K en sam element).

Glej tudi

Osebna orodja