Related papers: Characterizations of graded Pr\"ufer $\star$-multi…

This article concerns commutative algebras over a field $k$ of characteristic zero which are finite dimensional as vectorspaces, and particularly those of such algebras which are graded. Here the term graded is applied to non-negatively…

Let $F$ be a non-negatively graded free module over a polynomial ring $\mathbb{K}[x_1,\dots,x_n]$ generated by $m$ basis elements. Let $M$ be a submodule of $F$ generated by elements in $F$ with degrees bounded by $D$ and dim $F/M$=$r$. We…

A commutative integral domain is primary if and only if it is one-dimensional and local. A domain is strongly primary if and only if it is local and each nonzero principal ideal contains a power of the maximal ideal. Hence one-dimensional…

We present a Lean 4 Mathlib formalization of Nagata's factoriality theorem: if R is a noetherian domain and S <= R is a prime-generated submonoid such that S^{-1}R is a UFD, then R itself is a UFD. The prime-generated hypothesis -- every…

Let $D$ be an integrally closed domain with quotient field $K$ and $n$ a positive integer. We give a characterization of the polynomials in $K[X]$ which are integer-valued over the set of matrices $M_n(D)$ in terms of their divided…

In this paper we give elementary conditions completely characterising when the theory of modules of a Pr\"ufer domain is decidable. Using these results, we show that the theory of modules of the ring of integer valued polynomials is…

Let $(K,\nu)$ be an arbitrary-rank valued field, $R_\nu$ its valuation ring, $K(\alpha)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_\nu[X]$. We give necessary and sufficient…

Call a domain $R$ an sQQR-domain if each simple overring of $R$, i.e., each ring of the form $R[u]$ with $u$ in the quotient field of $R$, is an intersection of localizations of $R$. We characterize Pr\"ufer domains as integrally closed…

Recently, N. Epstein and J. Shapiro introduced and studied the perinormal domains: those domains A whose going down overrings are flat A-modules. We show that every Pr\"ufer v-multiplication domain is perinormal and has no proper lying over…

In this paper, we introduce the concept of graded $S$-comultiplication modules. Several results concerning graded $S$-comultiplication modules are proved. We show that $N$ is a graded $S$-second submodule of a graded $S$-comultiplication…

Let $\ID$ denote the open unit disk and $f:\,\ID\TO\BAR\IC$ be meromorphic and univalent in $\ID$ with the simple pole at $p\in (0,1)$ and satisfying the standard normalization $f(0)=f'(0)-1=0$. Also, let $f$ have the expansion…

In this paper, we consider five possible extensions of the Pr\"ufer domain notion to the case of commutative rings with zero divisors. We investigate the transfer of these Pr\"ufer-like properties between a commutative ring and its subring…

An integral domain $R$ is called atomic if every nonzero nonunit of $R$ factors into irreducibles, while $R$ satisfies the ascending chain condition on principal ideals if every ascending chain of principal ideals of $R$ stabilizes. It is…

Given a star operation * of finite type, we call a domain R a *-unique representation domain (*-URD) if each *-invertible *-ideal of R can be uniquely expressed as a *-product of pairwise *-comaximal ideals with prime radical. When * is the…

The free regular $\star$-monoid of rank $r$ is the freest $r$-generated regular monoid $\mathbf{F}_r^\star$ in which every element $m$ has a distinguished pseudo-inverse $m^\star$ satisfying $mm^\star m = m$ and $(m^\star)^\star = m$. We…

In 1994, Matsuda and Okabe introduced the notion of semistar operation. This concept extends the classical concept of star operation (cf. for instance, Gilmer's book \cite{G}) and, hence, the related classical theory of ideal systems based…

Let $F$ be a field, let $D$ be a subring of $F$ and let $Z$ be an irreducible subspace of the space of all valuation rings between $D$ and $F$ that have quotient field $F$. Then $Z$ is a locally ringed space whose ring of global sections is…

In this paper, we define a new subclass of $k$-uniformly starlike functions of order $\gamma,\ (0\leq\gamma<1)$ by using certain generalized $q$-integral operator. We explore geometric interpretation of the functions in this class by…

Let $K$ be an infinite integral domain and $M_{n}(K)$ be the algebra of all $n\times n$ matrices over $K$. This paper aims for the following goals: Find a basis for the graded identities for elementary grading in $M_{n}(K)$ when the neutral…

Let $A$ be a Noetherian ring and let $\mathcal{R} = \bigoplus_{n \geq 0}\mathcal{R}_n$ be a standard graded ring with $\mathcal{R}_0 = A$. We define a category $\mathfrak{A}(\mathcal{R})$ of graded $\mathcal{R}$-modules (not necessarily…