Ring er i matematikk ein algebraisk struktur med to binæroperasjonar, addisjon og multiplikasjon , som har mange av dei same eigenskapane som finst hjå heiltala . Mengda av heile tall,
Z
{\displaystyle \mathbb {Z} }
, saman med den vanlege definisjonen av addisjon og multiplikasjon, er eit døme på ein ring. Mengda av alle matriser er eit døme på ein ikkje-kommutativ ring.
Ein ring
R
{\displaystyle R}
er ein
(
R
,
+
,
⋅
)
{\displaystyle (R,+,\cdot )}
, der
R
{\displaystyle R}
er ei mengd og
+
:
R
×
R
→
R
{\displaystyle +:R\times R\to R}
og
⋅
:
R
×
R
→
R
{\displaystyle \cdot :R\times R\to R}
binæroperasjonar slik at følgande aksiom held. For alle
a
,
b
,
c
∈
R
{\displaystyle a,b,c\in R}
har me:
(assosiativitet )
(
a
+
b
)
+
c
=
a
+
(
b
+
c
)
{\displaystyle (a+b)+c=a+(b+c)}
(kommutativitet )
a
+
b
=
b
+
a
{\displaystyle a+b=b+a}
(additiv identitet ) Det finst eit element
0
∈
R
{\displaystyle 0\in R}
slik at
0
+
a
=
a
+
0
=
a
{\displaystyle 0+a=a+0=a}
(multiplikativ identitet ) Det finst eit element
1
∈
R
{\displaystyle 1\in R}
slik at
1
⋅
a
=
a
⋅
1
=
a
{\displaystyle 1\cdot a=a\cdot 1=a}
(additiv invers) Det finst eit element
d
∈
R
{\displaystyle d\in R}
slik at
a
+
d
=
0
{\displaystyle a+d=0}
(distributivitet )
a
⋅
(
b
+
c
)
=
a
⋅
b
+
a
⋅
c
{\displaystyle a\cdot (b+c)=a\cdot b+a\cdot c}
og
(
a
+
b
)
⋅
c
=
a
⋅
c
+
b
⋅
c
{\displaystyle (a+b)\cdot c=a\cdot c+b\cdot c}
(
R
,
+
)
{\displaystyle (R,+)}
er med andre ord ei abelsk gruppe og
(
R
,
⋅
)
{\displaystyle (R,\cdot )}
er ei semigruppe .
Vidare definisjoner
endre
(
R
,
+
,
⋅
)
{\displaystyle (R,+,\cdot )}
er ein kommutativ ring viss
⋅
{\displaystyle \cdot }
også er kommutativ:
a
⋅
b
=
b
⋅
a
{\displaystyle a\cdot b=b\cdot a}
for alle
a
,
b
∈
R
{\displaystyle a,b\in R}
.
(
R
,
+
,
⋅
)
{\displaystyle (R,+,\cdot )}
er ein kropp viss
(
R
∗
,
⋅
)
{\displaystyle (R^{*},\cdot )}
dannar ei gruppe, der
R
∗
{\displaystyle R^{*}}
er mengden av alle elementer i
R
{\displaystyle R}
utanom den additive identiteten
0
{\displaystyle 0}
.
polynomringen
R
[
x
]
{\displaystyle R[x]}
av alle polynom med koeffisientar i ein kommutativ ring
R
{\displaystyle R}
ringen
Z
{\displaystyle \mathbb {Z} }
av heiltal
Den endelege ringen
Z
n
{\displaystyle \mathbb {Z} _{n}}
under addisjon og multiplikasjon modulo
n
{\displaystyle n}
for eit naturleg tal
n
{\displaystyle n}