Related papers: Boundness in almost Dedekind domains
We give an explicit description of the lattice $\Semistar(D)$ of all semistar operations on any Dedekind domain $D$ from its set $\Max(D)$ of maximal ideals. This descpription is constructive if $\Max(D)$ is finite. As a corollary we show…
A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $\lambda(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most…
We give an algorithm for computing the factor ring of a given ideal in a Dedekind domain with finite rank, which runs in deterministic and polynomial-time. We provide two applications of the algorithm: judging whether a given ideal is prime…
Let $F$ be a field, and let Zar$(F)$ be the space of valuation rings of $F$ with respect to the Zariski topology. We prove that if $X$ is a quasicompact set of rank one valuation rings in Zar$(F)$ whose maximal ideals do not intersect to…
Let R* be an ideal-adic completion of a Noetherian integral domain R and let L be a subfield of the total quotient ring of R* such that L contains R. Let A denote the intersection of L with R*. The integral domain A sometimes inherits nice…
We prove in this article the surjectivity of three maps. We prove in Theorem $1.6$ the surjectivity of the Chinese remainder reduction map associated to the projective space of an ideal with a given factorization into ideals whose radicals…
Let I be a nonzero proper ideal in a Noetherian integral domain R. In this paper we establish the existence of a finite separable integral extension domain A of R and a positive integer m such that all the Rees integers of IA are equal to…
In this article we study two classes of integral domains. The first is characterized by having a finite intersection of principal ideals being finitely generated only when it is principal. The second class consists of the integral domains…
We show that a criterion for an integral domain to be a principal ideal domain (PID), due to Dedekind and Hasse, can also be applied in quaternion orders, and that it can be used to build a finite algorithm to determine if a given order is…
In our recent work, we introduced a generalization of the prime ideal factorization in Dedekind domains for submodules of finitely generated modules over Noetherian rings. In this article, we find conditions for the intersection of two…
It is proved that if $D$ is a $UFD$ and $R$ is a $D$-algebra, such that $U(R)\cap D\neq U(D)$, then $R$ has a maximal subring. In particular, if $R$ is a ring which either contains a unit $x$ which is not algebraic over the prime subring of…
Let $\mathfrak D$ be a residually finite Dedekind domain, $a\in \mathfrak D$ be a nonzero element and $\mathfrak n$ be a nonzero ideal of $\mathfrak D$. In this paper we describe the dynamics of the map $x\mapsto ax$ over the quotient ring…
Given three lists of ideals of a Dedekind domain, the question is raised, whether there exist two matrices A and B with entries in the given Dedekind domain, such that the given lists of ideals are the determinantal divisors of A, B, and…
As a natural extension of the ongoing development of a theory of ideals in commutative quantales with an identity element, this article aims to study into the analysis of certain topological properties exhibited by distinguished classes of…
The methods of nonstandard analysis are applied to algebra and number theory. We study nonstandard Dedekind rings, for example an ultraproduct of the ring of integers of a number field. Such rings possess a rich structure and have…
A nonzero element of an integral domain (or commutative cancellative monoid) is called atomic if it can be written as a finite product of irreducible elements (also called atoms). In this paper, we introduce and investigate an unrestricted…
Working within the framework of free actions of countable amenable groups on compact metrizable spaces, we show that the small boundary property is equivalent to a density version of almost finiteness, which we call almost finiteness in…
Let $K$ be a finite extension of $\mathbb{Q}$ and $\mathcal{O}_K$ be its ring of integers. Let $\mathfrak{B}$ be a primitive collection of ideals in $\mathcal{O}_K$. We show that any $\mathfrak{B}$-free system is essentially minimal.…
In this work, we introduce a natural notion concerning finite vector spaces. A family of $k$-dimensional subspaces of $\mathbb{F}_q^n$, which forms a partial spread, is called almost affinely disjoint if any $(k+1)$-dimensional subspace…
We study universal quadratic forms over totally real number fields using Dedekind zeta functions. In particular, we prove an explicit upper bound for the rank of universal quadratic forms over a given number field $K$, under the assumption…