PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
primal element (Definition)

An element $r$ in a commutative ring $R$ is called primal if whenever $r\mid ab$ with $a,b\in R$ then there exist elements $s,t\in R$ such that

  1. $r=st$
  2. $s\mid a$ and $t\mid b$

Lemma. In a commutative ring, an element that is both irreducible and primal is a prime element.

Proof. Suppose $a$ is irreducible and primal, and $a\mid bc$ Since $a$ is primal, there is $x,y\in R$ such that $a=xy$ with $x\mid b$ and $y\mid c$ Since $a$ is irreducible, either $x$ or $y$ is a unit. If $x$ is a unit, with $z$ as its inverse, then $za=zxy=y$ so that $a\mid y$ But $y\mid c$ we have that $a\mid c$ $ \qedsymbol$




"primal element" is owned by CWoo. [ full author list (2) ]
(view preamble | get metadata)

View style:

Also defines:  primal
Log in to rate this entry.
(view current ratings)

Cross-references: inverse, unit, prime element, irreducible, commutative ring
There are 4 references to this entry.

This is version 5 of primal element, born on 2004-11-22, modified 2008-08-21.
Object id is 6508, canonical name is PrimalElement.
Accessed 3262 times total.

Classification:
AMS MSC13A05 (Commutative rings and algebras :: General commutative ring theory :: Divisibility)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)