I matematikken betegner en kropp (på engelsk field ) en mengde elementer (for eksempel tall) hvor man kan utføre operasjonene
addisjon , subtraksjon , multiplikasjon og divisjon .[1]
En kropp er en kommutativ ring
(
k
,
+
,
⋅
)
{\displaystyle (k,+,\cdot )}
slik at for hvert element
r
∈
k
{\displaystyle r\in k}
hvor
r
≠
0
{\displaystyle r\neq 0}
har en multiplikativ invers: det fins et element
s
∈
k
{\displaystyle s\in k}
slik at
s
⋅
r
=
1
{\displaystyle s\cdot r=1}
.
De rasjonale tallene
Q
{\displaystyle \mathbb {Q} }
, de reelle tallene
R
{\displaystyle \mathbb {R} }
og de komplekse tallene
C
{\displaystyle \mathbb {C} }
er kropper.
De hele tallene
Z
{\displaystyle \mathbb {Z} }
er ikke en kropp siden ingen tall unntatt
−
1
{\displaystyle -1}
og
1
{\displaystyle 1}
har en invers.
For hvert primtall
p
{\displaystyle p}
er heltallene modulo
p
{\displaystyle p}
en kropp
F
p
=
Z
/
p
Z
=
{
0
,
1
,
2
,
…
,
p
−
1
}
{\displaystyle \mathbb {F} _{p}=\mathbb {Z} /p\mathbb {Z} =\{0,1,2,\ldots ,p-1\}}
. Dette er en endelig kropp .
For hvert primtall
p
{\displaystyle p}
gir
p
{\displaystyle p}
-adisk komplettering av de rasjonale tallene kroppen
Q
p
{\displaystyle \mathbb {Q} _{p}}
av
p
{\displaystyle p}
-adiske tall.
^ John B. Fraleigh (1982). A First Course in Abstract Algebra . Addison-Wesley. s. 209-211. ISBN 0-201-10406-7 .