TheInfoList

In
mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and their changes (cal ...
, the characteristic of a ring , often denoted , is defined to be the smallest number of times one must use the ring's
multiplicative identity In mathematics, an identity element, or neutral element, is a special type of element of a set with respect to a binary operation on that set, which leaves any element of the set unchanged when combined with it. This concept is used in algebraic s ...
(1) in a sum to get the
additive identity In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...
(0). If this sum never reaches the additive identity the ring is said to have characteristic zero. That is, is the smallest positive number such that: :$\underbrace_ = 0$ if such a number exists, and otherwise.

# Motivation

The special definition of the characteristic zero is motivated by the equivalent definitions given in , where the characteristic zero is not required to be considered separately. The characteristic may also be taken to be the
exponent Exponentiation is a mathematical Mathematics (from Greek Greek may refer to: Greece Anything of, from, or related to Greece Greece ( el, Ελλάδα, , ), officially the Hellenic Republic, is a country located in Southeast Europ ...
of the ring's
additive group An additive group is a group of which the group operation is to be thought of as ''addition'' in some sense. It is usually abelian, and typically written using the symbol + for its binary operation. This terminology is widely used with structure ...
, that is, the smallest positive integer such that: :$\underbrace_ = 0$ for every element of the ring (again, if exists; otherwise zero). Some authors do not include the multiplicative identity element in their requirements for a ring (see Multiplicative identity and the term "ring"), and this definition is suitable for that convention; otherwise the two definitions are equivalent due to the
distributive law In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gen ...
in rings.

# Equivalent characterizations

* The characteristic is the
natural number In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and total order, ordering (as in "this is the ''third'' largest city in the country"). In common mathematical terminology, w ...
such that is the
kernel Kernel may refer to: Computing * Kernel (operating system), the central component of most operating systems * Kernel (image processing), a matrix used for image convolution * Compute kernel, in GPGPU programming * Kernel method, in machine learnin ...
of the unique
ring homomorphism In ring theory, a branch of abstract algebra, a ring homomorphism is a structure-preserving function (mathematics), function between two ring (algebra), rings. More explicitly, if ''R'' and ''S'' are rings, then a ring homomorphism is a function s ...
from $\mathbb$ to ; * The characteristic is the
natural number In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and total order, ordering (as in "this is the ''third'' largest city in the country"). In common mathematical terminology, w ...
such that contains a
subring In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...
isomorphic In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...
to the
factor ring In ring theory, a branch of abstract algebra, a quotient ring, also known as factor ring, difference ring or residue class ring, is a construction quite similar to the quotient groups of group theory and the quotient spaces of linear algebra. ...
$\mathbb/n\mathbb$, which is the
image An image (from la, imago) is an artifact that depicts visual perception Visual perception is the ability to interpret the surrounding environment (biophysical), environment through photopic vision (daytime vision), color vision, sco ...
of the above homomorphism. * When the non-negative integers are partially ordered by divisibility, then is the smallest and is the largest. Then the characteristic of a ring is the smallest value of for which If nothing "smaller" (in this ordering) than will suffice, then the characteristic is . This is the appropriate partial ordering because of such facts as that is the
least common multiple In arithmetic Arithmetic (from the Ancient Greek, Greek wikt:en:ἀριθμός#Ancient Greek, ἀριθμός ''arithmos'', 'number' and wikt:en:τική#Ancient Greek, τική wikt:en:τέχνη#Ancient Greek, �έχνη ''tiké échne', ... of and , and that no ring homomorphism exists unless divides * The characteristic of a ring is precisely if the statement for all implies is a multiple of .

# Case of rings

If ''R'' and ''S'' are
rings Ring most commonly refers either to a hollow circular shape or to a high-pitched sound. It thus may refer to: *Ring (jewellery), a circular, decorative or symbolic ornament worn on fingers, toes, arm or neck Ring may also refer to: Sounds * Ri ...
and there exists a
ring homomorphism In ring theory, a branch of abstract algebra, a ring homomorphism is a structure-preserving function (mathematics), function between two ring (algebra), rings. More explicitly, if ''R'' and ''S'' are rings, then a ring homomorphism is a function s ...
, then the characteristic of divides the characteristic of . This can sometimes be used to exclude the possibility of certain ring homomorphisms. The only ring with characteristic 1 is the
zero ring In ring theory In algebra, ring theory is the study of ring (mathematics), rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studies ...
, which has only a single element If a nontrivial ring does not have any nontrivial
zero divisor In abstract algebra In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), ...
s, then its characteristic is either or
prime A prime number (or a prime) is a natural number greater than 1 that is not a Product (mathematics), product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime ...
. In particular, this applies to all
fields File:A NASA Delta IV Heavy rocket launches the Parker Solar Probe (29097299447).jpg, FIELDS heads into space in August 2018 as part of the ''Parker Solar Probe'' FIELDS is a science instrument on the ''Parker Solar Probe'' (PSP), designed to mea ...
, to all
integral domain In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no g ...
s, and to all
division ringIn algebra, a division ring, also called a skew field, is a ring (mathematics), ring in which division (mathematics), division is possible. Specifically, it is a zero ring, nonzero ring in which every nonzero element has a multiplicative inverse, th ...
s. Any ring of characteristic is infinite. The ring $\mathbb/n\mathbb$ of integers modulo has characteristic . If is a
subring In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...
of , then and have the same characteristic. For example, if is prime and is an
irreducible polynomial In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...
with coefficients in the field $\mathbb F_p$ with elements, then the
quotient ring In ring theory In algebra, ring theory is the study of ring (mathematics), rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studie ...
is a field of characteristic . Another example: The field $\mathbb$ of
complex number In mathematics, a complex number is an element of a number system that contains the real numbers and a specific element denoted , called the imaginary unit, and satisfying the equation . Moreover, every complex number can be expressed in the for ... s contains $\mathbb$, so the characteristic of $\mathbb$ is . A $\mathbb/n\mathbb$-algebra is equivalently a ring whose characteristic divides . This is because for every ring there is a ring homomorphism $\mathbb\to R$, and this map factors through $\mathbb/n\mathbb$ if and only if the characteristic of divides . In this case for any in the ring, then adding to itself times gives . If a commutative ring has ''prime characteristic'' , then we have for all elements and in – the normally incorrect "
freshman's dream The freshman's dream is a name sometimes given to the erroneous equation (''x'' + ''y'')''n'' = ''x'n'' + ''y'n'', where ''n'' is a real number (usually a positive integer greater than 1). Beginning students comm ...
" holds for power . The map then defines a
ring homomorphism In ring theory, a branch of abstract algebra, a ring homomorphism is a structure-preserving function (mathematics), function between two ring (algebra), rings. More explicitly, if ''R'' and ''S'' are rings, then a ring homomorphism is a function s ...
It is called the ''
Frobenius homomorphism In commutative algebra Commutative algebra is the branch of algebra Algebra (from ar, الجبر, lit=reunion of broken parts, bonesetting, translit=al-jabr) is one of the areas of mathematics, broad areas of mathematics, together with ...
''. If is an
integral domain In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no g ...
it is
injective In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...
.

# Case of fields

As mentioned above, the characteristic of any field is either or a prime number. A field of non-zero characteristic is called a field of ''finite characteristic'' or ''positive characteristic'' or ''prime characteristic''. Any field has a unique minimal subfield, also called its . This subfield is isomorphic to either the
rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction (mathematics), fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ) ...
field $\mathbb$ or a finite field $\mathbb F_p$ of prime order. Two prime fields of the same characteristic are isomorphic, and this isomorphism is unique. In other words, there is essentially a unique prime field in each characteristic. The most common fields of ''characteristic zero'' that are the subfields of the
complex number In mathematics, a complex number is an element of a number system that contains the real numbers and a specific element denoted , called the imaginary unit, and satisfying the equation . Moreover, every complex number can be expressed in the for ... s. The
p-adic field group In mathematics, the -adic number system for any prime number  extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real number, real and complex number syst ...
s are characteristic zero fields that are widely used in number theory. They have absolute values which are very different from those of complex numbers. For any
ordered field In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...
, as the field of
rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction (mathematics), fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ) ...
s $\mathbb$ or the field of
real number In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no g ...
s $\mathbb$, the characteristic is . Thus, every
algebraic number field In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...
and the field of complex numbers $\mathbb$ are of characteristic zero. The
finite field In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
GF() has characteristic ''p''. There exist infinite fields of prime characteristic. For example, the field of all
rational function In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ... s over $\mathbb/p\mathbb$, the
algebraic closure In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
of $\mathbb/p\mathbb$ or the field of
formal Laurent series In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...
$\mathbb/p\mathbb\left(\left(T\right)\right)$. The ''characteristic exponent'' is defined similarly, except that it is equal to if the characteristic is ; otherwise it has the same value as the characteristic. The size of any
finite ringIn mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ha ...
of prime characteristic is a power of . Since in that case it contains $\mathbb/p\mathbb$ it is also a
vector space In mathematics Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...
over that field, and from
linear algebra Linear algebra is the branch of mathematics concerning linear equations such as: :a_1x_1+\cdots +a_nx_n=b, linear maps such as: :(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n, and their representations in vector spaces and through matrix (mat ...
we know that the sizes of finite vector spaces over finite fields are a power of the size of the field. This also shows that the size of any finite vector space is a prime power.

# Sources

* {{refend Ring theory Field (mathematics)