Safekipedia
Abstract algebraAlgebraic structuresField theory

Field (mathematics)

Adapted from Wikipedia · Adventurer experience

A 3D illustration of a double torus, a shape with two ring-like forms connected together.

In mathematics, a field is a special group of numbers. You can add, take away, multiply, and divide numbers in a field just like you do with regular fractions and decimals. This idea helps mathematicians solve problems and find patterns in numbers.

The most common fields are sets of rational numbers (fractions), real numbers (including decimals), and complex numbers (which have special numbers called i). There are also other fields made from special fractions, fields with only a few numbers, and fields that help solve tough geometry problems.

Fields are important in many areas of math. They help prove that some old geometry puzzles, like splitting an angle into three equal parts or making a square with the same area as a circle, cannot be solved with just a compass and straightedge. Fields are also the basis for studying vectors and matrices in linear algebra, and they are important in number theory and cryptography.

Definition

A field in mathematics is a special set of numbers. In a field, you can add, subtract, multiply, and divide, just like with regular numbers.

For every number in the field, there is a number you can add to it to get zero. This is called its additive inverse. For every number that isn’t zero, there is a number you can multiply it by to get one. This is called its multiplicative inverse.

Fields follow certain rules. For example, you can change the order of addition or multiplication without changing the result. There is also a special number “0” that you can add to anything without changing it. There is a special number “1” that you can multiply by anything without changing it.

All these rules make a field a useful system for doing arithmetic. The most common fields are the sets of rational numbers, real numbers, and complex numbers.

Main article: field axioms

Examples

Main article: Rational number

Rational numbers are numbers that can be written as fractions a/b, where a and b are integers and b is not zero. These numbers have been used for a very long time and follow special rules in math.

Main articles: Real number and Complex number

The real numbers and complex numbers also follow these special rules. Complex numbers look like a + bi, where a and b are real numbers and i is a special number that helps solve certain math problems.

Main article: Constructible numbers

Some numbers can be created using just a compass and straightedge. These are called constructible numbers. Not all numbers can be made this way, like the square root of 2.

Main article: Finite field § Field with four elements

There are also fields with a small number of elements, like one with four elements: O, I, A, and B. These follow the same rules as bigger number systems.

Elementary notions

A field in mathematics is a special set where you can add, subtract, multiply, and divide numbers just like you do with ordinary numbers. For example, the numbers we use every day, like fractions and decimals, form fields.

Fields have some neat rules. For instance, multiplying any number by zero always gives zero. Also, if you multiply two numbers and get zero, at least one of those numbers must be zero. These rules help mathematicians understand how numbers behave and relate to each other in different situations.

Finite fields

Main article: Finite field

Finite fields, also called Galois fields, are special sets in mathematics. They have a limited number of parts. These parts let us add, subtract, multiply, and divide, just like with regular numbers. For example, F4 is a finite field with four parts. Its smaller version, F2, is the simplest field possible because every field needs at least two different parts: 0 and 1.

We can make simple finite fields using a method called modular arithmetic. For a whole number n, we look at numbers from 0 up to n–1. We add and multiply by finding the remainder after dividing by n. This only works to make a field when n is a prime number, like 2 or 3. If n is not prime, such as 4, this method does not work. Each finite field with a certain number of parts can be described in one way, and they are often written as Fq or GF(q), where q shows how many parts are in the field.

History

The idea of a field in mathematics came from three areas: solving equations, number theory, and geometry. In 1770, a mathematician named Joseph-Louis Lagrange found something interesting about equations with three solutions. This helped explain older ways to solve certain equations.

Later, in 1801, Carl Friedrich Gauss studied equations that help decide when certain shapes can be drawn with a compass and straightedge. Over time, mathematicians like Richard Dedekind and Leopold Kronecker helped create the modern idea of a field. By the early 1900s, mathematicians had a clear definition and understanding of fields, which are important in many areas of math today.

Constructing fields

A field in mathematics is a set where you can add, subtract, multiply, and divide numbers, just like you can with regular numbers. The most common fields are the rational numbers (fractions), the real numbers (including decimals and square roots), and the complex numbers (which include imaginary numbers).

We can build new fields from existing ones in a few ways. One way is by taking a set that almost works and adding what’s missing to make it a full field. For example, the whole numbers (like 1, 2, 3...) aren’t a field because you can’t divide them and always get another whole number. But if you allow fractions, you get the rational numbers, which is a field.

Another way is to start with a field and add new elements to it. For example, the real numbers don’t include solutions to equations like x2 + 1 = 0, but if you add the imaginary unit i, which satisfies i2 = –1, you get the complex numbers.

Fields with additional structure

Main article: Ordered field

A field is a special set where you can add, subtract, multiply, and divide numbers. It works much like ordinary numbers. When a field has extra rules that let us compare its elements, it is called an ordered field. For example, the real numbers are an ordered field because we can tell if one number is bigger or smaller than another.

An Archimedean field is an ordered field where, for any number, we can add 1 enough times to get a bigger number. This means the field does not have infinitely large or infinitely small numbers. The real numbers are an example of an Archimedean field.

A topological field is a field where the elements can also be seen as points in space. The field’s operations work well with this space idea. For example, the rational numbers can be “filled in” to create the real numbers, which have no gaps.

Local fields are special types of topological fields that share important properties, even though they look different. Differential fields are fields where we can also take derivatives. This is important for studying equations that involve rates of change.

FieldMetricCompletionzero sequence
Q|xy| (usual absolute value)R1/n
Qobtained using the p-adic valuation, for a prime number pQp (p-adic numbers)pn
F(t)
(F any field)
obtained using the t-adic valuationF((t))tn

Galois theory

Main article: Galois theory

Galois theory is a part of mathematics that studies how numbers and their operations can have symmetry. It looks at special kinds of number systems called fields and how they connect to each other. One important idea is the Galois group, which shows how these number systems can be changed without losing their special properties. This helps mathematicians find patterns and understand why some equations are very hard to solve.

Invariants of fields

In mathematics, a field has some special properties called invariants. One important property is called the characteristic. Another is the transcendence degree, which tells us how many numbers in the field help describe all the other numbers.

Two special types of fields, called algebraically closed fields, are thought of as the same, or isomorphic, if they share these properties. For example, the field of complex numbers C is similar to other algebraically closed fields with the same characteristic.

Applications

In fields, some equations have one clear answer. For example, if a is not zero, the equation a_x = b always has one solution for x. This idea is useful in linear algebra.

Finite fields are used in cryptography and coding theory. They help make safe ways to send and protect information.

Fields are also found in geometry and number theory. For instance, functions that change numbers into other numbers can form fields, helping us learn more about shapes and equations.

Related notions

In addition to fields, there are other ideas in mathematics. One idea is the concept of a field with one element. This is thought of as a limit of some fields.

There are also weaker structures related to fields, such as quasifields, near-fields, and semifields.

Some very large collections of numbers, called proper classes, can have field-like properties. For example, the surreal numbers include regular numbers but are too large to be a set. The nimbers, used in game theory, also form a structure similar to a field.

This article is a child-friendly adaptation of the Wikipedia article on Field (mathematics), available under CC BY-SA 4.0.

Images from Wikimedia Commons. Tap any image to view credits and license.