## You are here

HomeArchimedean semigroup

## Primary tabs

# Archimedean semigroup

Let $S$ be a commutative semigroup. We say an element $x$ *divides* an element $y$, written $x\mid y$, if there is an element $z$ such that $xz=y$.

An *Archimedean semigroup* $S$ is a commutative semigroup with the property that for all $x,y\in S$ there is a natural number $n$ such that $x\mid y^{n}$.

This is related to the Archimedean property of positive real numbers $\mathbb{R}^{+}$: if $x,y>0$ then there is a natural number $n$ such that $x<ny$. Except that the notation is additive rather than multiplicative, this is the same as saying that $(\mathbb{R}^{+},+)$ is an Archimedean semigroup.

Defines:

divides, Archimedean

Related:

ArchimedeanProperty

Type of Math Object:

Definition

Major Section:

Reference

## Mathematics Subject Classification

20M14*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