Associate elements: Difference between revisions
m (1 revision) |
No edit summary |
||
| Line 2: | Line 2: | ||
Two elements in a [[commutative unital ring]] are said to be '''associate elements''' if each one divides the other. The relation of being associate elements is an equivalence relation. | Two elements in a [[commutative unital ring]] are said to be '''associate elements''' if each one divides the other. The relation of being associate elements is an equivalence relation. | ||
{{proofat|[[Associate element relation is an equivalence relation]]}} | |||
==Facts== | ==Facts== | ||
In an integral domain, two elements are associate if and only if they are in the same orbit under the multiplicative action of the [[group of units]] of the ring (or in other words, there is an invertible element that multiplied with the first gives the second). | In an integral domain, two elements are associate if and only if they are in the same orbit under the multiplicative action of the [[group of units]] of the ring (or in other words, there is an invertible element that multiplied with the first gives the second). Refer: | ||
* [[Elements in same orbit under multiplication by group of units are associate]] | |||
* [[Associate implies same orbit under multiplication by group of units in integral domain]] | |||
* [[Associate not implies same orbit under multiplication by group of units]] | |||
Revision as of 21:25, 23 January 2009
Definition
Two elements in a commutative unital ring are said to be associate elements if each one divides the other. The relation of being associate elements is an equivalence relation.
For full proof, refer: Associate element relation is an equivalence relation
Facts
In an integral domain, two elements are associate if and only if they are in the same orbit under the multiplicative action of the group of units of the ring (or in other words, there is an invertible element that multiplied with the first gives the second). Refer: