Commutative algebra Counterexample
Irreducible elements need not be prime
Builds on Irreducible elementPrime element
Counterexample
In the integral domain , the element is irreducible but not prime. Let . This norm is multiplicative, and the units are the elements of norm , that is . If with nonunits , then , so . But has no integer solution. So is irreducible. The element divides . It does not divide , because is not in . So is not prime.
Remarks
The same ring shows that factorization is not unique: . See [[ is not a UFD|0BSJYCG7NM]]. In a unique factorization domain, every irreducible element is prime.
Reading path
To understand this page from the ground up, read these 10 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Group concept
- Ring definition
- Commutative ring definition
- Unit of a ring definition
- Zero divisor definition
- Divisibility in a commutative ring definition
- Integral domain definition
- Prime element definition
- Irreducible element definition
- Irreducible elements need not be prime counterexample
Further reading
About this page
| Tag | 0CHE3J7QMX |
|---|---|
| URI | m2://0CHE3J7QMX |
| Kind | counterexample |
| Writing | W0 stub |
| MSC | 13A05 |
| Uses | Irreducible element, Prime element |
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)
- edge refutes or not_instance_of out (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.