Commutative Algebra (math.AC)

  • PDF
    For the ring $\mathcal{O}_K$ of integers in a number field $K$, we construct a polynomial $H\in \operatorname{Int}(\mathcal{O}_K) = \{f\in K[x] \mid f(\mathcal{O}_K) \subseteq \mathcal{O}_K\}$ which has a given number of factorizations of prescribed length greater than $1$. In addition, we show that there is no transfer homomorphism from the multiplicative monoid of $\operatorname{Int}(\mathcal{O}_K)$ to a block monoid. In the case where $\mathcal{O}_K = \mathbb{Z}$ is the ring of integers these results had been shown before. However, the known construction depends on properties of $\mathbb{Z}$ which do not hold in general rings of integers $\mathcal{O}_K$ in number fields. We show that it is possible to overcome the difficulties and modify the approach in order to be applicable to the more general case. In particular, we exploit that $\mathcal{O}_K$ is a Dedekind domain and hence non-zero ideals factor uniquely as product of prime ideals.
  • PDF
    Let $D$ be an integral domain and $\star $ a star operation defined on $D$. We say that $D$ is a $\star $-power conductor domain ($\star $-PCD) if for each pair $a,b\in D\backslash (0)$ and for each positive integer $n$ we have $Da^{n}\cap Db^{n}=((Da\cap Db)^{n})^{\ast }.$ We study $\star $-PCDs and characterize them as root closed domains satisfying $ ((a,b)^{n})^{-1}=(((a,b)^{-1})^{n})^{\star }$ for all nonzero $a,b$ and all natural numbers $n\geq 1$. From this it follows easily that Prüfer domains are $d$-PCDs (where $d$ denotes the trivial star operation), and $v$ -domains (e.g., Krull domains) are $v$-PCDs, thereby establishing that a $v$ -domain (e.g., a Prufer or Krull domain) is a $\star $ -PCD. We also consider when a $\star $-PCD is completely integrally closed, and this leads to new characterizations of Krulll domains. In particular, we show that a Noetherian domain is a Krull domain if and only if it is a $w$ -PCD.