Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Field"

 
m
 
(9 intermediate revisions by 6 users not shown)
Line 1: Line 1:
−
A '''field''' is a structure of [[abstract algebra]], similar to a [[group]] or a [[ring]]. A field <math>F</math> is a set of elements with two operations, usually called multiplication and addition and denoted <math>\cdot</math> and <math>+</math>, which have the following properties:
+
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. 
  
−
There exists an element, usually denoted 0, such that 0 + a = a + 0 = a for all <math>a\in F</math>. (List of other defining properties goes here.)
+
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 [[integer]]s taken [[modulo]] some [[prime]].  In each case, addition and multiplication are "as usual."
+
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 22: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 $+, -, \times$ and $\div$ hold. In particular, the rational numbers $\mathbb{Q}$, the real numbers $\mathbb{R}$, and the complex numbers $\mathbb{C}$ are all fields, although there are many others, including subfields of those fields.

Formally, a field $k$ (here the letter $k$ 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 $\cdot$ and $+$, respectively) which have the following properties:

  • $(k,+)$ is an Abelian group with an identity of $0\in k$.
  • $(k\backslash\{0\},\cdot)$ (also denoted as $k^{\times}$) is also an Abelian group with an identity of $1\in k$.
  • Multiplication ($\cdot$) distributes over addition ($+$); for any $a,b,c\in k$,

\[a\cdot (b+c)=a\cdot b+a\cdot c.\]

There is also a unique name for $(k\backslash\{0\},\cdot)$, which most accept as the group of units of $k$. Furthermore, it can be proven that the group of units of $k$ is a cyclic group for any field $k$ which can help in determining certain homomorphisms between fields.

Common examples of fields are the rational numbers $\mathbb{Q}$, the real numbers $\mathbb{R}$, or $\mathbb{Z}/p\mathbb{Z}$ (the integers modulo $p$ for some prime $p$). In general, a field of order $N$ is denoted as $\mathbb{F}_N$, 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.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Field&oldid=169002"