Characteristic (algebra): Difference between revisions
m →Motivation: "a rngs" -> "rngs" |
NeilOnWiki (talk | contribs) m →Equivalent characterizations: Made explicit that R is the ring (eg. so it's not confused with the standard notation for the Reals). |
||
Line 24: | Line 24: | ||
== Equivalent characterizations == |
== Equivalent characterizations == |
||
* The characteristic is the [[natural number]] {{math|''n''}} such that {{math|''n''<math>\mathbb{Z}</math>}} is the [[kernel (ring theory)|kernel]] of the unique [[ring homomorphism]] from <math>\mathbb{Z}</math> to {{math|''R''}}.{{efn|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]], <math>\mathbb{Z}</math> 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).}} |
* The characteristic of a ring {{math|''R''}} is the [[natural number]] {{math|''n''}} such that {{math|''n''<math>\mathbb{Z}</math>}} is the [[kernel (ring theory)|kernel]] of the unique [[ring homomorphism]] from <math>\mathbb{Z}</math> to {{math|''R''}}.{{efn|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]], <math>\mathbb{Z}</math> 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).}} |
||
* The characteristic is the [[natural number]] {{math|''n''}} such that {{math|''R''}} contains a [[subring]] [[ring homomorphism|isomorphic]] to the [[factor ring]] <math>\mathbb{Z}/n\mathbb{Z}</math>, which is the [[image (mathematics)|image]] of the above homomorphism. |
* The characteristic is the [[natural number]] {{math|''n''}} such that {{math|''R''}} contains a [[subring]] [[ring homomorphism|isomorphic]] to the [[factor ring]] <math>\mathbb{Z}/n\mathbb{Z}</math>, which is the [[image (mathematics)|image]] of the above homomorphism. |
||
* When the non-negative integers {{math|{{mset|0, 1, 2, 3, ...}}}} are [[Partially ordered set|partially ordered]] by divisibility, then {{math|1}} is the smallest and {{math|0}} is the largest. Then the characteristic of a ring is the smallest value of {{math|''n''}} for which {{math|''n'' ⋅ 1 {{=}} 0}}. If nothing "smaller" (in this ordering) than {{math|0}} will suffice, then the characteristic is {{math|0}}. This is the appropriate partial ordering because of such facts as that {{math|char(''A'' × ''B'')}} is the [[least common multiple]] of {{math|char ''A''}} and {{math|char ''B''}}, and that no ring homomorphism {{math|''f'' : ''A'' → ''B''}} exists unless {{math|char ''B''}} divides {{math|char ''A''}}. |
* When the non-negative integers {{math|{{mset|0, 1, 2, 3, ...}}}} are [[Partially ordered set|partially ordered]] by divisibility, then {{math|1}} is the smallest and {{math|0}} is the largest. Then the characteristic of a ring is the smallest value of {{math|''n''}} for which {{math|''n'' ⋅ 1 {{=}} 0}}. If nothing "smaller" (in this ordering) than {{math|0}} will suffice, then the characteristic is {{math|0}}. This is the appropriate partial ordering because of such facts as that {{math|char(''A'' × ''B'')}} is the [[least common multiple]] of {{math|char ''A''}} and {{math|char ''B''}}, and that no ring homomorphism {{math|''f'' : ''A'' → ''B''}} exists unless {{math|char ''B''}} divides {{math|char ''A''}}. |
Latest revision as of 16:59, 6 September 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.
That is, char(R) is the smallest positive number n such that:[1](p 198, Thm. 23.14)
if such a number n exists, and 0 otherwise.
Motivation
[edit]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)
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
[edit]- The characteristic of a ring R is the natural number n such that n is the kernel of the unique ring homomorphism from to R.[a]
- The characteristic is the natural number n such that R contains a subring isomorphic to the factor ring , 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 ⋅ 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 × B) is the least common multiple of char A and char B, and that no ring homomorphism f : A → 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 ∈ R implies that k is a multiple of n.
Case of rings
[edit]If R and S are rings and there exists a ring homomorphism R → 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 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 with p elements, then the quotient ring is a field of characteristic p. Another example: The field of complex numbers contains , so the characteristic of is 0.
A -algebra is equivalently a ring whose characteristic divides n. This is because for every ring R there is a ring homomorphism , and this map factors through 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 = xp + yp for all elements x and y in R – the normally incorrect "freshman's dream" holds for power p. The map x ↦ xp then defines a ring homomorphism R → R, which is called the Frobenius homomorphism. If R is an integral domain it is injective.
Case of fields
[edit]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 or a finite field 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
[edit]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 or the field of real numbers , the characteristic is 0. Thus, every algebraic number field and the field of complex numbers are of characteristic zero.
Fields of prime characteristic
[edit]The finite field GF(pn) has characteristic p.
There exist infinite fields of prime characteristic. For example, the field of all rational functions over , the algebraic closure of or the field of formal Laurent series .
The size of any finite ring of prime characteristic p is a power of p. Since in that case it contains 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.[b]
Notes
[edit]- ^ 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, 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 pn, so its size is (pn)m = pnm.
References
[edit]- ^ a b 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
[edit]- McCoy, Neal H. (1973) [1964]. The Theory of Rings. Chelsea Publishing. p. 4. ISBN 978-0-8284-0266-8.