5.1. A Krull pair (E, R) is called strong if every maximal element F in the Asano class 01 of E is d-Noetherian and R is a left-Asano quotient ring of E. This condition entails that every thick divisorial left ideal of every maximal order in iy is symbolically invertible, that is, a member of the Brandt groupoid B&Q) = K (see Theorem 3.6 and Corollary 3.8). In Section 6, the groupoid k’ is investigated from a general point of view. This is used in Section 7 to obtain a factorization theory for one-sided ideals of a strong Krull pair. But since we now have completed the essential definitions, it is appropriate first to point out examples of Krull pairs and strong Krull pairs showing that important classes of rings are of the type considered in this paper.
Read full abstract