Universal side divisor: Difference between revisions

From Commalg
Line 8: Line 8:
==Facts==
==Facts==


* [[Element of smallest norm among non-units in Euclidean ring has a universal side divisor]]
* [[Element of smallest norm among non-units in Euclidean ring is a universal side divisor]]
* [[Euclidean ring that is not a field has a universal side divisor]]
* [[Euclidean ring that is not a field has a universal side divisor]]

Revision as of 23:57, 22 January 2009

Definition

A nonzero element x in an commutative unital ring R is termed a universal side divisor if x satisfies the following two conditions:

  • x is not a unit.
  • For any yR, either x divides y or there exists a unit uR such that x divides yu.

Facts