Math 2.0

Commutative algebra Theorem

The characteristic of an integral domain is zero or prime

Builds on Characteristic of a ringIntegral domain

Statement

Let RR be an integral domain. Then the characteristic of RR is 00 or a prime number.

Remarks

The proof: suppose that the characteristic is n=abn = a b with 1<a,b<n1 < a, b < n. Then (a⋅1)(b⋅1)=n⋅1=0(a \cdot 1)(b \cdot 1) = n \cdot 1 = 0, but a⋅1≠0a \cdot 1 \neq 0 and b⋅1≠0b \cdot 1 \neq 0. The characteristic is not 11, because 1≠01 \neq 0 in an integral domain. In particular, the characteristic of a field is 00 or a prime number. The ring ℤ/6ℤ\mathbb{Z}/6\mathbb{Z} has characteristic 66, and it is not an integral domain.

Reading path

To understand this page from the ground up, read these 7 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Group concept
  2. Ring definition
  3. Characteristic of a ring definition
  4. Commutative ring definition
  5. Zero divisor definition
  6. Integral domain definition
  7. The characteristic of an integral domain is zero or prime statement

Where this leads

6 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Characteristic_(algebra), Case of rings
About this page
Tag00758QM6JJ
URIm2://00758QM6JJ
Kindstatement, theorem
WritingW0 stub
MSC13G05
StatusThis copy of the site has no build data. Run m2 status 00758QM6JJ.
UsesCharacteristic of a ring, Integral domain

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by