Difference between revisions of "Field"
ComplexZeta (talk | contribs) m |
m |
||
(6 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
− | A '''field''' is a structure | + | A '''field''' is a structure in [[abstract algebra]], similar to a [[group]] or a [[ring]]. Informally, fields are the general structure in which the usual laws of [[arithmetic]] governing the operations <math>+, -, \times</math> and <math>\div</math> hold. In particular, the [[rational number]]s <math>\mathbb{Q}</math>, the [[real number]]s <math>\mathbb{R}</math>, and the [[complex number]]s <math>\mathbb{C}</math> are all fields, although there are many others, including subfields of those fields. |
− | + | Formally, a field <math>k</math> (here the letter <math>k</math> stands for Körper, the German word for a mathematical field) is a [[set]] of elements with two [[operation]]s, usually called multiplication and addition (denoted <math>\cdot</math> and <math>+</math>, respectively) which have the following properties: | |
− | |||
− | |||
+ | * <math>(k,+)</math> is an Abelian group with an identity of <math>0\in k</math>. | ||
+ | * <math>(k\backslash\{0\},\cdot)</math> (also denoted as <math>k^{\times}</math>) is also an Abelian group with an identity of <math>1\in k</math>. | ||
+ | * Multiplication (<math>\cdot</math>) distributes over addition (<math>+</math>); for any <math>a,b,c\in k</math>, | ||
+ | <cmath>a\cdot (b+c)=a\cdot b+a\cdot c.</cmath> | ||
− | Common examples of fields are the [[rational number]]s, the [[real number]]s or the [[ | + | There is also a unique name for <math>(k\backslash\{0\},\cdot)</math>, which most accept as the '''group of units''' of <math>k</math>. Furthermore, it can be proven that the group of units of <math>k</math> is a cyclic group for any field <math>k</math> which can help in determining certain homomorphisms between fields. |
+ | |||
+ | Common examples of fields are the [[rational number]]s <math>\mathbb{Q}</math>, the [[real number]]s <math>\mathbb{R}</math>, or <math>\mathbb{Z}/p\mathbb{Z}</math> (the [[integers]] modulo <math>p</math> for some prime <math>p</math>). In general, a field of order <math>N</math> is denoted as <math>\mathbb{F}_N</math>, although this is rather unspecific since fields are usually referenced by name. | ||
+ | |||
+ | The study of fields and all of their properties is called [[field theory]], where very interesting theorems can be proved such as the [[Fundamental Theorem of Algebra]], the [[Abel-Ruffini Theorem]], and more. | ||
+ | |||
+ | [[Category:Field theory]] |
Latest revision as of 23:24, 31 December 2021
A field is a structure in abstract algebra, similar to a group or a ring. Informally, fields are the general structure in which the usual laws of arithmetic governing the operations and
hold. In particular, the rational numbers
, the real numbers
, and the complex numbers
are all fields, although there are many others, including subfields of those fields.
Formally, a field (here the letter
stands for Körper, the German word for a mathematical field) is a set of elements with two operations, usually called multiplication and addition (denoted
and
, respectively) which have the following properties:
is an Abelian group with an identity of
.
(also denoted as
) is also an Abelian group with an identity of
.
- Multiplication (
) distributes over addition (
); for any
,
There is also a unique name for , which most accept as the group of units of
. Furthermore, it can be proven that the group of units of
is a cyclic group for any field
which can help in determining certain homomorphisms between fields.
Common examples of fields are the rational numbers , the real numbers
, or
(the integers modulo
for some prime
). In general, a field of order
is denoted as
, although this is rather unspecific since fields are usually referenced by name.
The study of fields and all of their properties is called field theory, where very interesting theorems can be proved such as the Fundamental Theorem of Algebra, the Abel-Ruffini Theorem, and more.