Related papers: Unique factorization property of non-unique factor…

We prove some results on NIP integral domains, especially those that are Noetherian or have finite dp-rank. If $R$ is an NIP Noetherian domain that is not a field, then $R$ is a semilocal ring of Krull dimension 1, and the fraction field of…

Let B be a commutative $\mathbb{Z}$-graded domain of characteristic zero. An element f of B is said to be cylindrical if it is nonzero, homogeneous of nonzero degree, and such that $B_{(f)}$ is a polynomial ring in one variable over a…

We introduce the concept of isolated factorizations of an element of a commutative monoid and study its properties. We give several bounds for the number of isolated factorizations of simplicial affine semigroups and numerical semigroups.…

An integral domain is called {\em Globalized multiplicatively pinched-Dedekind domain $($GMPD domain$)$} if every nonzero non-invertible ideal can be written as $JP_1\cdots P_k$ with $J$ invertible ideal and $P_1,...,P_k$ distinct ideals…

A subset $S$ of an integral domain is called a semidomain if the pairs $(S,+)$ and $(S\setminus\{0\}, \cdot)$ are commutative and cancellative semigroups with identities. The multiplication of $S$ extends to the group of differences…

Given an integral domain $D$ with quotient field $K$, the ring of integer-valued polynomials on D is the subring $\{f (X) \in K[X]: f(D) \subset D\}$ of the polynomial ring $K[X]$. Using the related tools of $t$-closure and associated…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We study the arithmetic of seminormal $v$-noetherian weakly Krull monoids with nontrivial conductor which have finite class group and prime divisors in all classes. These monoids include seminormal orders in holomorphy rings in global…

Let $R$ be a one-dimensional, local, Noetherian domain, $\R$ the integral closure of $R$ in its quotient field and $v(R)$ the value set defined by the usual valuation. The aim of the paper is to study the non-negative invariant…

Let $\Gamma$ be a torsionless commutative cancellative monoid, $R =\bigoplus_{\alpha \in \Gamma}R_{\alpha}$ be a $\Gamma$-graded integral domain, and $H$ be the set of nonzero homogeneous elements of $R$. In this paper, we show that if $Q$…

A finite group $G$ is called $k$-factorizable if for every ordered factorization $|G|=a_1\cdots a_k$ into integers each greater than $1$ there exist subsets $A_1,\dots,A_k\subseteq G$ such that $|A_i|=a_i$ for each $i$ and $G=A_1\cdots…

Let ${\mathcal O}$ be the ring of $S$-integers in a number field $K$. For $A\in\rm{SL}_{2}(\mathcal{O})$ and $k\geq 1$, we define matrix-factorization varieties $V_k(A)$ over ${\mathcal O}$ which parametrize factoring $A$ into a product of…

In this paper we extend an epimorphism theorem of D. Wright to the case of discrete valuation rings. We will show that if $(R, t)$ is a discrete valuation ring, $n \ge 2$ is an integer not divisible by the characteristic of the residue…

We characterize those valued fields for which the image of the valuation ring under every polynomial in several variables contains an element of maximal value, or zero.

For a finite group $D$, we study categorical factorisation homology on oriented surfaces equipped with principal $D$-bundles, which `integrates' a (linear) balanced braided category $\mathcal{A}$ with $D$-action over those surfaces. For…

In this paper we show if R is a filtered ring then we can define a quasi valuation. And if R is some kind of filtered ring then we can define a valuation. Then we prove some properties and relations for R.

Let G be a block matrix function with one diagonal block A being positive definite and the off diagonal blocks complex conjugates of each other. Conditions are obtained for G to be factorable (in particular, with zero partial indices) in…

We give an algorithm for computing the V-saturation of any finitely-generated submodule of a power of V[X], where V is a valuation domain. Our algorithm is based on a notion of "echelon form" which ensures its correctness. This allows us to…

Non-unique factorizations theory, which started in algebraic number theory, over the years has expanded into several areas of mathematics. Here, we propose yet another branching. We show that some concepts of factorizations theory, such as…

This note offers an unusual approach of studying a class of modules inasmuch as it is investigating a subclass of the category of modules over a valuation domain. This class is far from being a full subcategory, it is not even a category.…