Characteristic (algebra)

Last updated September 07, 2024

In mathematics, the characteristic of a ring $R$ , often denoted $char(R)$ , is defined to be the smallest positive number of copies of the ring's multiplicative identity ( $1$ ) that will sum to the additive identity ( $0$ ). If no such number exists, the ring is said to have characteristic zero.

Motivation

The special definition of the characteristic zero is motivated by the equivalent definitions characterized in the next section, where the characteristic zero is not required to be considered separately.

The characteristic may also be taken to be the exponent of the ring's additive group, that is, the smallest positive integer $n$ such that:^[1]^{(p 198, Def. 23.12)}

\underbrace {a+\cdots +a} _{n{\text{ summands}}}=0

for every element $a$ of the ring (again, if $n$ exists; otherwise zero). This definition applies in the more general class of rngs (see Ring (mathematics) § Multiplicative identity and the term "ring" ); for (unital) rings the two definitions are equivalent due to their distributive law.

Equivalent characterizations

The characteristic of a ring $R$ is the natural number $n$ such that $\mathbb {Z}$ is the kernel of the unique ring homomorphism from $\mathbb {Z}$ to $R$ .^{[lower-alpha 1]}
The characteristic is the natural number $n$ such that $R$ contains a subring isomorphic to the factor ring $\mathbb {Z} /n\mathbb {Z}$ , which is the image of the above homomorphism.
When the non-negative integers ${0, 1, 2, 3, ...}$ are partially ordered by divisibility, then $1$ is the smallest and $0$ is the largest. Then the characteristic of a ring is the smallest value of $n$ for which $n \cdot 1 = 0$ . If nothing "smaller" (in this ordering) than $0$ will suffice, then the characteristic is $0$ . This is the appropriate partial ordering because of such facts as that $char(A \times B)$ is the least common multiple of $char A$ and $char B$ , and that no ring homomorphism $f : A \to B$ exists unless $char B$ divides $char A$ .
The characteristic of a ring $R$ is $n$ precisely if the statement $ka = 0$ for all $a \in R$ implies that $k$ is a multiple of $n$ .

Case of rings

If $R$ and $S$ are rings and there exists a ring homomorphism $R \to S$ , then the characteristic of $S$ divides the characteristic of $R$ . This can sometimes be used to exclude the possibility of certain ring homomorphisms. The only ring with characteristic $1$ is the zero ring, which has only a single element $0$ . If a nontrivial ring $R$ does not have any nontrivial zero divisors, then its characteristic is either $0$ or prime. In particular, this applies to all fields, to all integral domains, and to all division rings. Any ring of characteristic $0$ is infinite.

The ring $\mathbb {Z} /n\mathbb {Z}$ of integers modulo $n$ has characteristic $n$ . If $R$ is a subring of $S$ , then $R$ and $S$ have the same characteristic. For example, if $p$ is prime and $q (X)$ is an irreducible polynomial with coefficients in the field $\mathbb {F} _{p}$ with $p$ elements, then the quotient ring $\mathbb {F} _{p}[X]/(q(X))$ is a field of characteristic $p$ . Another example: The field $\mathbb {C}$ of complex numbers contains $\mathbb {Z}$ , so the characteristic of $\mathbb {C}$ is $0$ .

A $\mathbb {Z} /n\mathbb {Z}$ -algebra is equivalently a ring whose characteristic divides $n$ . This is because for every ring $R$ there is a ring homomorphism $\mathbb {Z} \to R$ , and this map factors through $\mathbb {Z} /n\mathbb {Z}$ if and only if the characteristic of $R$ divides $n$ . In this case for any $r$ in the ring, then adding $r$ to itself $n$ times gives $nr = 0$ .

If a commutative ring $R$ has prime characteristic $p$ , then we have $(x + y) p = x p + y p$ for all elements $x$ and $y$ in $R$ – the normally incorrect "freshman's dream" holds for power $p$ . The map $x \mapsto x p$ then defines a ring homomorphism $R \to R$ , which is called the Frobenius homomorphism . If $R$ is an integral domain it is injective.

Case of fields

As mentioned above, the characteristic of any field is either $0$ or a prime number. A field of non-zero characteristic is called a field of finite characteristic or positive characteristic or prime characteristic. The characteristic exponent is defined similarly, except that it is equal to $1$ when the characteristic is $0$ ; otherwise it has the same value as the characteristic.^[2]

Any field $F$ has a unique minimal subfield, also called its prime field. This subfield is isomorphic to either the rational number field $\mathbb {Q}$ 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.

Fields of characteristic zero

The most common fields of characteristic zero are the subfields of the complex numbers. The p-adic fields 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, such as the field of rational numbers $\mathbb {Q}$ or the field of real numbers $\mathbb {R}$ , the characteristic is $0$ . Thus, every algebraic number field and the field of complex numbers $\mathbb {C}$ are of characteristic zero.

Fields of prime characteristic

The finite field $GF(p n)$ has characteristic $p$ .

There exist infinite fields of prime characteristic. For example, the field of all rational functions over $\mathbb {Z} /p\mathbb {Z}$ , the algebraic closure of $\mathbb {Z} /p\mathbb {Z}$ or the field of formal Laurent series $\mathbb {Z} /p\mathbb {Z} ((T))$ .

The size of any finite ring of prime characteristic $p$ is a power of $p$ . Since in that case it contains $\mathbb {Z} /p\mathbb {Z}$ it is also a vector space over that field, and from linear algebra 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.^{[lower-alpha 2]}

Notes

↑ The requirements of ring homomorphisms are such that there can be only one (in fact, exactly one) homomorphism from the ring of integers to any ring; in the language of category theory, $\mathbb {Z}$ is an initial object of the category of rings. Again this applies when a ring has a multiplicative identity element (which is preserved by ring homomorphisms).
↑ It is a vector space over a finite field, which we have shown to be of size $p n$ , so its size is $(p n) m = p nm$ .

Related Research Articles

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after Niels Henrik Abel.

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics.

In mathematics, a finite field or Galois field is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtraction and division are defined and satisfy certain basic rules. The most common examples of finite fields are given by the integers mod $p$ when $p$ is a prime number.

In mathematics, particularly in algebra, a field extension is a pair of fields $, such that the operations of K are those of L restricted to K . In this case, L is an extension field of K and K is a subfield of L . For example, under the usual notions of addition and multiplication, the complex numbers are an extension field of the real numbers; the real numbers are a subfield of the complex numbers.$

In mathematics, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element a has the cancellation property, that is, if a ≠ 0, an equality ab = ac implies b = c.

In abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded. The construction of the field of fractions is modeled on the relationship between the integral domain of integers and the field of rational numbers. Intuitively, it consists of ratios between integral domain elements.

In mathematics, and more specifically in ring theory, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers preserves evenness, and multiplying an even number by any integer results in an even number; these closure and absorption properties are the defining properties of an ideal. An ideal can be used to construct a quotient ring in a way similar to how, in group theory, a normal subgroup can be used to construct a quotient group.

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. Informally, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings.

In mathematics, more specifically in ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on algebraic varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules.

In algebra, a valuation is a function on a field that provides a measure of the size or multiplicity of elements of the field. It generalizes to commutative algebra the notion of size inherent in consideration of the degree of a pole or multiplicity of a zero in complex analysis, the degree of divisibility of a number by a prime number in number theory, and the geometrical concept of contact between two algebraic or analytic varieties in algebraic geometry. A field with a valuation on it is called a valued field.

In mathematics, the tensor product of two fields is their tensor product as algebras over a common subfield. If no subfield is explicitly specified, the two fields must have the same characteristic and the common subfield is their prime subfield.

In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring formed from the set of polynomials in one or more indeterminates with coefficients in another ring, often a field.

In mathematics, specifically in the field of group theory, a divisible group is an abelian group in which every element can, in some sense, be divided by positive integers, or more accurately, every element is an nth multiple for each positive integer n. Divisible groups are important in understanding the structure of abelian groups, especially because they are the injective abelian groups.

In mathematics, especially in the area of abstract algebra known as module theory, an injective module is a module Q that shares certain desirable properties with the Z-module Q of all rational numbers. Specifically, if Q is a submodule of some other module, then it is already a direct summand of that module; also, given a submodule of a module Y, any module homomorphism from this submodule to Q can be extended to a homomorphism from all of Y to Q. This concept is dual to that of projective modules. Injective modules were introduced in and are discussed in some detail in the textbook.

In algebra, a field k is perfect if any one of the following equivalent conditions holds:

In abstract algebra, a valuation ring is an integral domain D such that for every non-zero element x of its field of fractions F, at least one of x or x⁻¹ belongs to D.

In mathematics and group theory, the term multiplicative group refers to one of the following concepts:

In commutative algebra, an element b of a commutative ring B is said to be integral over a subring A of B if b is a root of some monic polynomial over A.

In mathematics, an algebraic number field is an extension field $of the field of rational numbers such that the field extension has finite degree . Thus is a field that contains and has finite dimension when considered as a vector space over .$

References

1 2 Fraleigh, John B.; Brand, Neal E. (2020). A First Course in Abstract Algebra (8th ed.). Pearson Education.
↑ Bourbaki, Nicolas (2003). "5. Characteristic exponent of a field. Perfect fields". Algebra II, Chapters 4–7. Springer. p. A.V.7. doi:10.1007/978-3-642-61698-3.

Sources

McCoy, Neal H. (1973) [1964]. The Theory of Rings. Chelsea Publishing. p. 4. ISBN 978-0-8284-0266-8.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[2] The requirements of ring homomorphisms are such that there can be only one (in fact, exactly one) homomorphism from the ring of integers to any ring; in the language of category theory, $\mathbb {Z}$ is an initial object of the category of rings. Again this applies when a ring has a multiplicative identity element (which is preserved by ring homomorphisms).

[4] It is a vector space over a finite field, which we have shown to be of size $p n$ , so its size is $(p n) m = p nm$ .

[Fraleigh-Brand-2020-1] 1 2 Fraleigh, John B.; Brand, Neal E. (2020). A First Course in Abstract Algebra (8th ed.). Pearson Education.

[3] Bourbaki, Nicolas (2003). "5. Characteristic exponent of a field. Perfect fields". Algebra II, Chapters 4–7. Springer. p. A.V.7. doi:10.1007/978-3-642-61698-3.

[1]

[lower-alpha 1]

[2]

[lower-alpha 2]