Math 2.0

Commutative algebra Definition

Prime element

Builds on Divisibility in a commutative ringUnit of a ring

Definition

Let RR be a commutative ring. An element p∈Rp \in R is prime if it has these three properties.

  1. p≠0p \neq 0.
  2. pp is not a unit.
  3. For all a,b∈Ra, b \in R, if p∣abp \mid a b, then p∣ap \mid a or p∣bp \mid b.

Remarks

A nonzero pp is prime if and only if the principal ideal (p)(p) is a prime ideal. The prime elements of ℤ\mathbb{Z} are the numbers pp and −p-p with pp a prime number. In an integral domain, prime elements are irreducible.

Reading path

To understand this page from the ground up, read these 6 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. Commutative ring definition
  4. Unit of a ring definition
  5. Divisibility in a commutative ring definition
  6. Prime element definition

Where this leads

20 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Prime_element, Definition
About this page
Tag0MNHXBSX3M
URIm2://0MNHXBSX3M
Kinddefinition
WritingW1 stated
MSC13A05
DefinesPrime element
UsesDivisibility in a commutative ring, Unit of a ring

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (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