Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Here's another question in the same spirit as my previous one:

Are there any integrally closed BFDs which are not Krull domains?

Some background information:

A BFD (bounded factorization domain) is defined as an atomic domain where the number of factors is bounded for each element. (More precisely: every nonzero nonunit $x$ can be factorized into irreducibles, but not necessarily uniquely, and there is a number $N(x)$ such that whenever $x=a_1 \dots a_r$ is such a factorization, then $r \le N(x)$.)

Unless I've misread something, the following relations hold (with strict inclusions): $$ \{ \text{Noetherian domains} \} \subset \{ \text{BFDs} \} \quad \Bigl( \subset \{ \text{ACCP domains} \} \Bigr), $$ $$ \{ \text{Noetherian domains} \} \cap \{ \text{integrally closed domains} \} = \{ \text{Noetherian domains} \} \cap \{ \text{Krull domains} \}, $$ $$ \{ \text{Krull domains} \} \subset \{ \text{integrally closed domains} \}, $$ $$ \{ \text{Krull domains} \} \subset \{ \text{BFDs} \}. $$ (Disclaimer: Trying to navigate in this jungle of classes of integral domains has got my head spinning, so I'm not 100% sure about anything at the moment...)

For the purposes of drawing a correct Venn diagram involving these relations (and many more!), I would need to know whether there is equality or strict inclusion in the relation $$ \{ \text{Krull domains} \} \subseteq \{ \text{BFDs} \} \cap \{ \text{integrally closed domains} \}. $$

share|improve this question

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.