Field (mathematics) in the context of "Algebraic structure"

In mathematics, a rational number is a number that can be expressed as the quotient or fraction ⁠${\displaystyle {\tfrac {p}{q}}}$⁠ of two integers, a numerator p and a non-zero denominator q. For example, ⁠${\displaystyle {\tfrac {3}{7}}}$⁠ is a rational number, as is every integer (for example, ${\displaystyle -5={\tfrac {-5}{1}}}$). The set of all rational numbers is often referred to as "the rationals", and is closed under addition, subtraction, multiplication, and division by a nonzero rational number. It is a field under these operations and therefore also calledthe field of rationals or the field of rational numbers. It is usually denoted by boldface Q, or blackboard bold ⁠${\displaystyle \mathbb {Q} .}$⁠

A rational number is a real number. The real numbers that are rational are those whose decimal expansion either terminates after a finite number of digits (example: 3/4 = 0.75), or eventually begins to repeat the same finite sequence of digits over and over (example: 9/44 = 0.20454545...). This statement is true not only in base 10, but also in every other integer base, such as the binary and hexadecimal ones (see Repeating decimal § Extension to other bases).

In algebraic number theory, an algebraic integer is a complex number that is integral over the integers. That is, an algebraic integer is a complex root of some monic polynomial (a polynomial whose leading coefficient is 1) whose coefficients are integers. The set of all algebraic integers A is closed under addition, subtraction and multiplication and therefore is a commutative subring of the complex numbers.

The ring of integers of a number field K, denoted by O_K, is the intersection of K and A: it can also be characterized as the maximal order of the field K. Each algebraic integer belongs to the ring of integers of some number field. A number α is an algebraic integer if and only if the ring ${\displaystyle \mathbb {Z} [\alpha ]}$ is finitely generated as an abelian group, which is to say, as a ${\displaystyle \mathbb {Z} }$-module.

In mathematics, an algebraic structure or algebraic system consists of a nonempty set A (called the underlying set, carrier set or domain), a collection of operations on A (typically binary operations such as addition and multiplication), and a finite set of identities (known as axioms) that these operations must satisfy.

An algebraic structure may be based on other algebraic structures with operations and axioms involving several structures. For instance, a vector space involves a second structure called a field, and an operation called scalar multiplication between elements of the field (called scalars), and elements of the vector space (called vectors).

In mathematics, a basic algebraic operation is a mathematical operation similar to any one of the common operations of elementary algebra, which include addition, subtraction, multiplication, division, raising to a whole number power, and taking roots (fractional power). The operations of elementary algebra may be performed on numbers, in which case they are often called arithmetic operations. They may also be performed, in a similar way, on variables, algebraic expressions, and more generally, on elements of algebraic structures, such as groups and fields.

An algebraic operation on a set ⁠${\displaystyle S}$⁠ may be defined more formally as a function that maps to ⁠${\displaystyle S}$⁠ the tuples of a given length of elements of ⁠${\displaystyle S}$⁠. The length of the tuples is called the arity of the operation, and each member of the tuple is called an operand. The most common case is the case of arity two, where the operation is called a binary operation and the operands form an ordered pair. A unary operation is an operation of arity one that has only one operand; for example, the square root. An example of a ternary operation (arity three) is the triple product.

In mathematics, a linear equation is an equation that may be put in the form${\displaystyle a_{1}x_{1}+\ldots +a_{n}x_{n}+b=0,}$ where ${\displaystyle x_{1},\ldots ,x_{n}}$ are the variables (or unknowns), and ${\displaystyle b,a_{1},\ldots ,a_{n}}$ are the coefficients, which are often real numbers. The coefficients may be considered as parameters of the equation and may be arbitrary expressions, provided they do not contain any of the variables. To yield a meaningful equation, the coefficients ${\displaystyle a_{1},\ldots ,a_{n}}$ are required to not all be zero.

Alternatively, a linear equation can be obtained by equating to zero a linear polynomial over some field, from which the coefficients are taken.

In mathematics, a structure on a set (or on some sets) refers to providing or endowing it (or them) with certain additional features (e.g. an operation, relation, metric, or topology). Τhe additional features are attached or related to the set (or to the sets), so as to provide it (or them) with some additional meaning or significance.

A partial list of possible structures is measures, algebraic structures (groups, fields, etc.), topologies, metric structures (geometries), orders, graphs, events, differential structures, categories, setoids, and equivalence relations.

In mathematics, the absolute value or modulus of a real number ${\displaystyle x}$, denoted ${\displaystyle |x|}$, is the non-negative value of ${\displaystyle x}$ without regard to its sign. Namely, ${\displaystyle |x|=x}$ if ${\displaystyle x}$ is a positive number, and ${\displaystyle |x|=-x}$ if ${\displaystyle x}$ is negative (in which case negating ${\displaystyle x}$ makes ${\displaystyle -x}$ positive), and ${\displaystyle |0|=0}$. For example, the absolute value of 3 is 3, and the absolute value of −3 is also 3. The absolute value of a number may be thought of as its distance from zero.

Generalisations of the absolute value for real numbers occur in a wide variety of mathematical settings. For example, an absolute value is also defined for the complex numbers, the quaternions, ordered rings, fields and vector spaces. The absolute value is closely related to the notions of magnitude, distance, and norm in various mathematical and physical contexts.

A one-dimensional space (1D space) is a mathematical space in which location can be specified with a single coordinate. An example is the number line, each point of which is described by a single real number. Any straight line or smooth curve is a one-dimensional space, regardless of the dimension of the ambient space in which the line or curve is embedded. Examples include the circle on a plane, or a parametric space curve.In physical space, a 1D subspace is called a "linear dimension" (rectilinear or curvilinear), with units of length (e.g., metre).

In algebraic geometry there are several structures that are one-dimensional spaces but are usually referred to by more specific terms. Any field ${\displaystyle K}$ is a one-dimensional vector space over itself. The projective line over ${\displaystyle K,}$ denoted ${\displaystyle \mathbf {P} ^{1}(K),}$ is a one-dimensional space. In particular, if the field is the complex numbers ${\displaystyle \mathbb {C} ,}$ then the complex projective line ${\displaystyle \mathbf {P} ^{1}(\mathbb {C} )}$ is one-dimensional with respect to ${\displaystyle \mathbb {C} }$ (but is sometimes called the Riemann sphere, as it is a model of the sphere, two-dimensional with respect to real-number coordinates).

In mathematics, a linear combination or superposition is an expression constructed from a set of terms by multiplying each term by a constant and adding the results (e.g. a linear combination of x and y would be any expression of the form ax + by, where a and b are constants). The concept of linear combinations is central to linear algebra and related fields of mathematics. Most of this article deals with linear combinations in the context of a vector space over a field, with some generalizations given at the end of the article.