Related papers: On McCoy Condition and Semicommutative Rings

For a ring $R$ with an automorphism $\sigma$, an $n$-additive mapping $\Delta:R\times R\times... \times R \rightarrow R$ is called a skew $n$-derivation with respect to $\sigma$ if it is always a $\sigma$-derivation of $R$ for each…

Let $\alpha$ be an endomorphism of a ring $R$. We introduce the notion of weak $\alpha$-skew McCoy rings which are a generalization of the $\alpha$-skew McCoy rings and the weak McCo rings. Some properties of this generalization are…

This paper is concerned with S-co-m modules which are a generalization of co-m modules. In section 2, we introduce the S-small and S-essential submodules of a unitary $R$-module $M$ over a commutative ring $R$ with $1\neq 0$ such that S is…

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. For every $R$-module $M$, $\gamma_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$ is called the trace of $I$ in $M$. It is…

Let $\sigma$ be an endomorphism and $\delta$ an $\sigma$-derivation of a ring $R$. In this paper, we show that if $R$ is $(\sigma,\delta)$-skew Armendariz and $a\sigma(b)=0$ implies $ab=0$ for $a,b\in R$. Then $R$ is symmetric…

Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…

Let $R$ be a commutative Noetherian ring and $E$ the minimal injective cogenerator of the category of $R$-modules. An $R$-module $M$ is (Matlis) reflexive if the natural evaluation map $M \to…

Let $M$ be an $R$-module over a Noetherian ring $R$ and $\mathfrak{a}$ be an ideal of $R$ with $c={\rm cd}(\mathfrak{a},M)$. First, we prove that $M$ is finite $\mathfrak{a}$-relative Cohen-Macaulay if and only if ${\rm…

$(1)$ Let $M\subset N$ be a commutative cancellative torsion-free and subintegral extension of monoids. Then we prove that in the case of ring extension $A[M]\subset A[N]$, the two notions, subintegral and weakly subintegral coincide…

A finitely generated module $M$ over a commutative Noetherian ring $R$ is called an $I$-Cohen Macaulay module, if \[ \grade(I,M) + \dim(M/IM)= \dim(M), \] where $I$ is a proper ideal of $R$. The aim of this paper is to study the structure…

We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or $\mathcal{C}^\infty$) Commutative Algebra", a version of Commutative Algebra of $\mathcal{C}^{\infty}-$rings instead of ordinary commutative unital…

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…

The aim of this note is to understand under which conditions invertible modules over a commutative S-algebra in the sense of Elmendorf, Kriz, Mandell and May give rise to elements in the algebraic Picard group of invertible graded modules…

Let R be a ring (not necessarily commutative). A left R-module is said to be cotorsion if Ext 1 R (G, M) = 0 for any flat R-module G. It is well known that each pure-injective left R-module is cotorsion, but the converse does not hold: for…

In this paper, we prove two structure theorems for twisted Chevalley groups $G_\sigma (R)$ over a commutative ring $R$ with unity. The first theorem concerns the normality of $E'_\sigma (R,J)$, the elementary congruence subgroups at level…

It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…

Let $n$ be a positive integer and $R=(M_{ij})_{1\leq i,j\leq n}$ be a generalized matrix ring. For each $1\leq i,j\leq n$, let $I_i$ be an ideal of the ring $R_i:=M_{ii}$ and denote $I_{ij}=I_iM_{ij}+M_{ij}I_j$. We give sufficient…

The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural morphism from Pic(A) to Pic(A[X]) is an isomorphism. We give here all the details needed to understand the elementary constructive proof for this…

Let $\Omega \subset \mathbb{C}^n$ be a domain whose Bergman space contains all holomorphic monomials. We derive sufficient conditions for $\Omega$ to be Reinhardt, complete Reinhardt, circular or Hartogs in terms of the orthogonality…

Let $R$ be a Cohen-Macaulay local ring of dimension one with a canonical module $\rm{K_R}$. Let $I$ be a faithful ideal of $R$. We explore the problem of when $I \otimes_RI^{\vee}$ is torsionfree, where $I^{\vee} = \operatorname{Hom_R(I,…