cancellation ideal
Let be a commutative ring containing regular elements and be the multiplicative semigroup of the non-zero fractional ideals of .β A fractional ideal of is called a cancellation ideal or simply cancellative, if it is a cancellative element of , i.e. if
-
β’
Each invertible ideal is cancellative.
-
β’
A finite product of fractional ideals is cancellative iff every is such.
-
β’
The fractional idealβ ,β where is an integral ideal of and a regular element of , is cancellative if and only if is cancellative in the multiplicative semigroup of the non-zero integral ideals of .
-
β’
Ifβ ,β then the principal ideal of is cancellative if and only if is a regular element of the total ring of fractions of .
-
β’
Ifβ β is a cancellation ideal and a positive integer, then
In particular, if the idealβ β of is cancellative, then
References
- 1 R. Gilmer: Multiplicative ideal theory.β Queens University Press. Kingston, Ontario (1968).
- 2 M. Larsen & P. McCarthy: Multiplicative theory of ideals.β Academic Press. New York (1971).
Title | cancellation ideal |
---|---|
Canonical name | CancellationIdeal |
Date of creation | 2015-05-06 14:49:08 |
Last modified on | 2015-05-06 14:49:08 |
Owner | pahio (2872) |
Last modified by | pahio (2872) |
Numerical id | 11 |
Author | pahio (2872) |
Entry type | Definition |
Classification | msc 13B30 |
Synonym | cancellative ideal |
Related topic | CancellativeSemigroup |
Related topic | IdealDecompositionInDedekindDomain |
Defines | cancellative |