Definition:Divisor-Finite Monoid

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {M, *}$ be a monoid.


Then $M$ is divisor-finite if and only if for all $m \in M$ the set:

$\set {\tuple {x, y} \in M^2 : x*y = m}$

is finite.


Also see


Sources