We study properties of multiplicative canonical (m-canonical) ideals of ring extensions. Let R subset of S be a ring extension. A nonzero S-regular ideal I of R is called an m-canonical ideal of the extension R subset of S if (I :(S) (I :(S) J)) = J for all S-regular ideal J of R. We study m-canonical ideals for pullback diagrams, and we use the notion of m-canonical ideal to characterize Prufer extensions.
展开▼