Math 2.0

statement theorem

The characteristic of an integral domain is zero or prime

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 Z/6Z\mathbb{Z}/6\mathbb{Z} has characteristic 66, and it is not an integral domain.

Explanations

L1 human

If 6⋅1=06 \cdot 1 = 0 in a ring, then (2⋅1)(3⋅1)=0(2 \cdot 1)(3 \cdot 1) = 0. In an integral domain, this forces 2⋅1=02 \cdot 1 = 0 or 3⋅1=03 \cdot 1 = 0. So the least nn with n⋅1=0n \cdot 1 = 0 cannot be a product of two smaller numbers.

What this node 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 node is. They do not measure its truth.

What this needs

To read this node, read these 7 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • 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

What depends on this

4 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Characteristic_(algebra), Case of rings