## You are here

Homeprimal element

## Primary tabs

# primal element

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$. ∎

Defines:

primal

Type of Math Object:

Definition

Major Section:

Reference

Groups audience:

## Mathematics Subject Classification

13A05*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections