statement theorem
The characteristic of an integral domain is zero or prime
Statement
Let be an integral domain. Then the characteristic of is or a prime number.
Remarks
The proof: suppose that the characteristic is with . Then , but and . The characteristic is not , because in an integral domain. In particular, the characteristic of a field is or a prime number. The ring has characteristic , and it is not an integral domain.
Explanations
L1 human
If in a ring, then . In an integral domain, this forces or . So the least with 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.
- no evidence level
- Group concept
- Ring definition
- Characteristic of a ring definition
- Commutative ring definition
- Zero divisor definition
- Integral domain definition
- 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.
- Uniqueness of finite fields of a given order 010PKCQPXP
- Galois field 04SGPNT8R9
- A finite field of order q is the splitting field of x^q - x 0CDAHW576M
- The order of a finite field is a prime power 0H5WWC8RZX
Sources
- Web https://en.wikipedia.org/wiki/Characteristic_(algebra), Case of rings
What links here
Used by
- The order of a finite field is a prime power 0H5WWC8RZX