Search results

Search: MSC category 13 ( Commutative rings and algebras )

 Expand all        Collapse all Results 1 - 25 of 46

1. CMB Online first

 A Characterization of Bipartite Zero-divisor Graphs In this paper we obtain a characterization for all bipartite zero-divisor graphs of commutative rings $R$ with $1$, such that $R$ is finite or $|Nil(R)|\neq2$. Keywords:zero-divisor graph, bipartite graphCategories:13AXX, 05C25

2. CMB Online first

Oral, Kürşat Hakan; Özkirişci, Neslihan Ayşen; Tekir, Ünsal
 Strongly $0$-dimensional Modules In a multiplication module, prime submodules have the property, if a prime submodule contains a finite intersection of submodules then one of the submodules is contained in the prime submodule. In this paper, we generalize this property to infinite intersection of submodules and call such prime submodules strongly prime submodule. A multiplication module in which every prime submodule is strongly prime will be called strongly 0-dimensional module. It is also an extension of strongly 0-dimensional rings. After this we investigate properties of strongly 0-dimensional modules and give relations of von Neumann regular modules, Q-modules and strongly 0-dimensional modules. Keywords:strongly 0-dimensional rings, Q-module, Von Neumann regular moduleCategories:13C99, 16D10

3. CMB Online first

Ghasemi, Mehdi; Marshall, Murray; Wagner, Sven
 Closure of the Cone of Sums of $2d$-powers in Certain Weighted $\ell_1$-seminorm Topologies In a paper from 1976, Berg, Christensen and Ressel prove that the closure of the cone of sums of squares $\sum \mathbb{R}[\underline{X}]^2$ in the polynomial ring $\mathbb{R}[\underline{X}] := \mathbb{R}[X_1,\dots,X_n]$ in the topology induced by the $\ell_1$-norm is equal to $\operatorname{Pos}([-1,1]^n)$, the cone consisting of all polynomials which are non-negative on the hypercube $[-1,1]^n$. The result is deduced as a corollary of a general result, established in the same paper, which is valid for any commutative semigroup. In later work, Berg and Maserick and Berg, Christensen and Ressel establish an even more general result, for a commutative semigroup with involution, for the closure of the cone of sums of squares of symmetric elements in the weighted $\ell_1$-seminorm topology associated to an absolute value. In the present paper we give a new proof of these results which is based on Jacobi's representation theorem from 2001. At the same time, we use Jacobi's representation theorem to extend these results from sums of squares to sums of $2d$-powers, proving, in particular, that for any integer $d\ge 1$, the closure of the cone of sums of $2d$-powers $\sum \mathbb{R}[\underline{X}]^{2d}$ in $\mathbb{R}[\underline{X}]$ in the topology induced by the $\ell_1$-norm is equal to $\operatorname{Pos}([-1,1]^n)$. Keywords:positive definite, moments, sums of squares, involutive semigroupsCategories:43A35, 44A60, 13J25

4. CMB Online first

Azizi, A.; Nikseresht, A.
 Envelope Dimension of Modules and the Simplified Radical Formula We introduce and investigate the notion of envelope dimension of commutative rings and modules over them. In particular, we show that the envelope dimension of a ring, $R$, is equal to that of the $R$-module $R^{(\mathbb{N})}$. Also we prove that the Krull dimension of a ring is no more than its envelope dimension and characterize Noetherian rings for which these two dimensions are equal. Moreover we generalize and study the concept of simplified radical formula for modules, which we defined in an earlier paper. Keywords:envelope dimension, simplified radical formula, prime submoduleCategories:13A99, 13C99, 13C13, 13E05

5. CMB Online first

Handelman, David
 Real Dimension Groups Dimension groups (not countable) that are also real ordered vector spaces can be obtained as direct limits (over directed sets) of simplicial real vector spaces (finite dimensional vector spaces with the coordinatewise ordering), but the directed set is not as interesting as one would like, i.e., it is not true that a countable-dimensional real vector space that has interpolation can be represented as such a direct limit over the a countable directed set. It turns out this is the case when the group is additionally simple, and it is shown that the latter have an ordered tensor product decomposition. In the Appendix, we provide a huge class of polynomial rings that, with a pointwise ordering, are shown to satisfy interpolation, extending a result outlined by Fuchs. Keywords:dimension group, simplicial vector space, direct limit, Riesz interpolationCategories:46A40, 06F20, 13J25, 19K14

6. CMB Online first

Filali, M.; Monfared, M. Sangani
 A Cohomological Property of $\pi$-invariant Elements Let $A$ be a Banach algebra and $\pi \colon A \longrightarrow \mathscr L(H)$ be a continuous representation of $A$ on a separable Hilbert space $H$ with $\dim H =\frak m$. Let $\pi_{ij}$ be the coordinate functions of $\pi$ with respect to an orthonormal basis and suppose that for each $1\le j \le \frak m$, $C_j=\sum_{i=1}^{\frak m} \|\pi_{ij}\|_{A^*}\lt \infty$ and $\sup_j C_j\lt \infty$. Under these conditions, we call an element $\overline\Phi \in l^\infty (\frak m , A^{**})$ left $\pi$-invariant if $a\cdot \overline\Phi ={}^t\pi (a) \overline\Phi$ for all $a\in A$. In this paper we prove a link between the existence of left $\pi$-invariant elements and the vanishing of certain Hochschild cohomology groups of $A$. Our results extend an earlier result by Lau on $F$-algebras and recent results of Kaniuth-Lau-Pym and the second named author in the special case that $\pi \colon A \longrightarrow \mathbf C$ is a non-zero character on $A$. Keywords:Banach algebras, $\pi$-invariance, derivations, representationsCategories:46H15, 46H25, 13N15

7. CMB Online first

Bahmanpour, Kamal
 A Note on Homological Dimensions of Artinian Local Cohomology Modules Let $(R,{\frak m})$ be a non-zero commutative Noetherian local ring (with identity), $M$ be a non-zero finitely generated $R$-module. In this paper for any ${\frak p}\in {\rm Spec}(R)$ we show that $\operatorname{{\rm injdim_{_{R_{\frak p}}}}} H^{i-\dim(R/{\frak p})}_{{\frak p}R_{\frak p}}(M_{\frak p})$ and ${\rm fd}_{R_{\p}} H^{i-\dim(R/{\frak p})}_{{\frak p}R_{\frak p}}(M_{\frak p})$ are bounded from above by $\operatorname{{\rm injdim_{_{R}}}} H^i_{\frak m}(M)$ and ${\rm fd}_R H^i_{\frak m}(M)$ respectively, for all integers $i\geq \dim(R/{\frak p})$. Keywords:cofinite modules, flat dimension, injective dimension, Krull dimension, local cohomologyCategory:13D45

8. CMB 2011 (vol 56 pp. 407)

 On Domination in Zero-Divisor Graphs We first determine the domination number for the zero-divisor graph of the product of two commutative rings with $1$. We then calculate the domination number for the zero-divisor graph of any commutative artinian ring. Finally, we extend some of the results to non-commutative rings in which an element is a left zero-divisor if and only if it is a right zero-divisor. Keywords:zero-divisor graph, dominationCategories:13AXX, 05C69

9. CMB 2011 (vol 56 pp. 31)

Ayuso, Fortuny P.
 Derivations and Valuation Rings A complete characterization of valuation rings closed for a holomorphic derivation is given, following an idea of Seidenberg, in dimension $2$. Keywords:singular holomorphic foliation, derivation, valuation, valuation ringCategories:32S65, 13F30, 13A18

10. CMB 2011 (vol 55 pp. 752)

Hickel, M.; Rond, G.
 Approximation of Holomorphic Solutions of a System of Real Analytic Equations We prove the existence of an approximation function for holomorphic solutions of a system of real analytic equations. For this we use ultraproducts and Weierstrass systems introduced by J. Denef and L. Lipshitz. We also prove a version of the PÅoski smoothing theorem in this case. Keywords:Artin approximation, real analytic equationsCategories:13B40, 13L05, 14F12

11. CMB 2011 (vol 55 pp. 378)

 On Modules Whose Proper Homomorphic Images Are of Smaller Cardinality Let $R$ be a commutative ring with identity, and let $M$ be a unitary module over $R$. We call $M$ H-smaller (HS for short) if and only if $M$ is infinite and $|M/N|<|M|$ for every nonzero submodule $N$ of $M$. After a brief introduction, we show that there exist nontrivial examples of HS modules of arbitrarily large cardinality over Noetherian and non-Noetherian domains. We then prove the following result: suppose $M$ is faithful over $R$, $R$ is a domain (we will show that we can restrict to this case without loss of generality), and $K$ is the quotient field of $R$. If $M$ is HS over $R$, then $R$ is HS as a module over itself, $R\subseteq M\subseteq K$, and there exists a generating set $S$ for $M$ over $R$ with $|S|<|R|$. We use this result to generalize a problem posed by Kaplansky and conclude the paper by answering an open question on JÃ³nsson modules. Keywords:Noetherian ring, residually finite ring, cardinal number, continuum hypothesis, valuation ring, JÃ³nsson moduleCategories:13A99, 13C05, 13E05, 03E50

12. CMB 2011 (vol 55 pp. 127)

LaGrange, John D.
 Characterizations of Three Classes of Zero-Divisor Graphs The zero-divisor graph $\Gamma(R)$ of a commutative ring $R$ is the graph whose vertices consist of the nonzero zero-divisors of $R$ such that distinct vertices $x$ and $y$ are adjacent if and only if $xy=0$. In this paper, a characterization is provided for zero-divisor graphs of Boolean rings. Also, commutative rings $R$ such that $\Gamma(R)$ is isomorphic to the zero-divisor graph of a direct product of integral domains are classified, as well as those whose zero-divisor graphs are central vertex complete. Categories:13A99, 13M99

13. CMB 2011 (vol 55 pp. 315)

Hellus, M.
 A Note on the Vanishing of Certain Local Cohomology Modules For a finite module $M$ over a local, equicharacteristic ring $(R,m)$, we show that the well-known formula $\textrm{cd}(m,M)=\dim M$ becomes trivial if ones uses Matlis duals of local cohomology modules together with spectral sequences. We also prove a new ring-theoretic vanishing criterion for local cohomology modules. Category:13D45

14. CMB 2011 (vol 55 pp. 81)

Divaani-Aazar, Kamran; Hajikarimi, Alireza
 Cofiniteness of Generalized Local Cohomology Modules for One-Dimensional Ideals Let $\mathfrak a$ be an ideal of a commutative Noetherian ring $R$ and $M$ and $N$ two finitely generated $R$-modules. Our main result asserts that if $\dim R/\mathfrak a\leq 1$, then all generalized local cohomology modules $H^i_{\mathfrak a}(M,N)$ are $\mathfrak a$-cofinite. Keywords:cofinite modules, generalized local cohomology modules, local cohomology modulesCategories:13D45, 13E05, 13E10

15. CMB 2011 (vol 55 pp. 153)

Mafi, Amir; Saremi, Hero
 Artinianness of Certain Graded Local Cohomology Modules We show that if $R=\bigoplus_{n\in\mathbb{N}_0}R_n$ is a Noetherian homogeneous ring with local base ring $(R_0,\mathfrak{m}_0)$, irrelevant ideal $R_+$, and $M$ a finitely generated graded $R$-module, then $H_{\mathfrak{m}_0R}^j(H_{R_+}^t(M))$ is Artinian for $j=0,1$ where $t=\inf\{i\in{\mathbb{N}_0}: H_{R_+}^i(M)$ is not finitely generated $\}$. Also, we prove that if $\operatorname{cd}(R_+,M)=2$, then for each $i\in\mathbb{N}_0$, $H_{\mathfrak{m}_0R}^i(H_{R_+}^2(M))$ is Artinian if and only if $H_{\mathfrak{m}_0R}^{i+2}(H_{R_+}^1(M))$ is Artinian, where $\operatorname{cd}(R_+,M)$ is the cohomological dimension of $M$ with respect to $R_+$. This improves some results of R. Sazeedeh. Keywords:graded local cohomology, Artinian modulesCategories:13D45, 13E10

16. CMB 2011 (vol 54 pp. 619)

 Artinian and Non-Artinian Local Cohomology Modules Let $M$ be a finite module over a commutative noetherian ring $R$. For ideals $\mathfrak{a}$ and $\mathfrak{b}$ of $R$, the relations between cohomological dimensions of $M$ with respect to $\mathfrak{a}, \mathfrak{b}$, $\mathfrak{a}\cap\mathfrak{b}$ and $\mathfrak{a}+ \mathfrak{b}$ are studied. When $R$ is local, it is shown that $M$ is generalized Cohen-Macaulay if there exists an ideal $\mathfrak{a}$ such that all local cohomology modules of $M$ with respect to $\mathfrak{a}$ have finite lengths. Also, when $r$ is an integer such that $0\leq r< \dim_R(M)$, any maximal element $\mathfrak{q}$ of the non-empty set of ideals $\{\mathfrak{a} : \textrm{H}_\mathfrak{a}^i(M)$ is not artinian for some $i, i\geq r \}$ is a prime ideal, and all Bass numbers of $\textrm{H}_\mathfrak{q}^i(M)$ are finite for all $i\geq r$. Keywords:local cohomology modules, cohomological dimensions, Bass numbersCategories:13D45, 13E10

17. CMB 2011 (vol 54 pp. 716)

Okassa, Eugène
 Symplectic Lie-Rinehart-Jacobi Algebras and Contact Manifolds We give a characterization of contact manifolds in terms of symplectic Lie-Rinehart-Jacobi algebras. We also give a sufficient condition for a Jacobi manifold to be a contact manifold. Keywords:Lie-Rinehart algebras, differential operators, Jacobi manifolds, symplectic manifolds, contact manifoldsCategories:13N05, 53D05, 53D10

18. CMB 2011 (vol 54 pp. 472)

Iacono, Donatella
 A Semiregularity Map Annihilating Obstructions to Deforming Holomorphic Maps We study infinitesimal deformations of holomorphic maps of compact, complex, KÃ¤hler manifolds. In particular, we describe a generalization of Bloch's semiregularity map that annihilates obstructions to deform holomorphic maps with fixed codomain. Keywords:semiregularity map, obstruction theory, functors of Artin rings, differential graded Lie algebrasCategories:13D10, 14D15, 14B10

19. CMB 2010 (vol 53 pp. 639)

Coykendall, Jim; Dutta, Tridib
 A Generalization of Integrality In this paper, we explore a generalization of the notion of integrality. In particular, we study a near-integrality condition that is intermediate between the concepts of integral and almost integral. This property (referred to as the $\Omega$-almost integral property) is a representative independent specialization of the standard notion of almost integrality. Some of the properties of this generalization are explored in this paper, and these properties are compared with the notion of pseudo-integrality introduced by Anderson, Houston, and Zafrullah. Additionally, it is shown that the $\Omega$-almost integral property serves to characterize the survival/lying over pairs of Dobbs and Coykendall Keywords:integral closure, complete integral closureCategories:13B22, 13G05, 13B21

20. CMB 2010 (vol 53 pp. 602)

Boij, Mats; Geramita, Anthony
 Notes on Diagonal Coinvariants of the Dihedral Group The bigraded Hilbert function and the minimal free resolutions for the diagonal coinvariants of the dihedral groups are exhibited, as well as for all their bigraded invariant Gorenstein quotients. Categories:13D02, 20C33, 20F55

21. CMB 2010 (vol 53 pp. 667)

Khashyarmanesh, Kazem
 On the Endomorphism Rings of Local Cohomology Modules Let $R$ be a commutative Noetherian ring and $\mathfrak{a}$ a proper ideal of $R$. We show that if $n:=\operatorname{grade}_R\mathfrak{a}$, then $\operatorname{End}_R(H^n_\mathfrak{a}(R))\cong \operatorname{Ext}_R^n(H^n_\mathfrak{a}(R),R)$. We also prove that, for a nonnegative integer $n$ such that $H^i_\mathfrak{a}(R)=0$ for every $i\neq n$, if $\operatorname{Ext}_R^i(R_z,R)=0$ for all $i >0$ and $z \in \mathfrak{a}$, then $\operatorname{End}_R(H^n_\mathfrak{a}(R))$ is a homomorphic image of $R$, where $R_z$ is the ring of fractions of $R$ with respect to a multiplicatively closed subset $\{z^j \mid j \geqslant 0 \}$ of $R$. Moreover, if $\operatorname{Hom}_R(R_z,R)=0$ for all $z \in \mathfrak{a}$, then $\mu_{H^n_\mathfrak{a}(R)}$ is an isomorphism, where $\mu_{H^n_\mathfrak{a}(R)}$ is the canonical ring homomorphism $R \rightarrow \operatorname{End}_R(H^n_\mathfrak{a}(R))$. Keywords:local cohomology module, endomorphism ring, Matlis dual functor, filter regular sequenceCategories:13D45, 13D07, 13D25

22. CMB 2010 (vol 53 pp. 577)

 A Unified Approach to Local Cohomology Modules using Serre Classes This paper discusses the connection between the local cohomology modules and the Serre classes of $R$-modules. This connection has provided a common language for expressing some results regarding the local cohomology $R$-modules that have appeared in different papers. Keywords:associated prime ideals, local cohomology modules, Serre classCategory:13D45

23. CMB 2010 (vol 53 pp. 404)

Broer, Abraham
 Invariant Theory of Abelian Transvection Groups Let $G$ be a finite group acting linearly on the vector space $V$ over a field of arbitrary characteristic. The action is called \emph{coregular} if the invariant ring is generated by algebraically independent homogeneous invariants, and the \emph{direct summand property} holds if there is a surjective $k[V]^G$-linear map $\pi\colon k[V]\to k[V]^G$. The following Chevalley--Shephard--Todd type theorem is proved. Suppose $G$ is abelian. Then the action is coregular if and only if $G$ is generated by pseudo-reflections and the direct summand property holds. Category:13A50

24. CMB 2009 (vol 53 pp. 77)

Finston, David; Maubach, Stefan
 Constructing (Almost) Rigid Rings and a UFD Having Infinitely Generated Derksen and Makar-Limanov Invariants An example is given of a UFD which has an infinitely generated Derksen invariant. The ring is "almost rigid" meaning that the Derksen invariant is equal to the Makar-Limanov invariant. Techniques to show that a ring is (almost) rigid are discussed, among which is a generalization of Mason's abc-theorem. Categories:14R20, 13A50, 13N15

25. CMB 2009 (vol 53 pp. 247)

Etingof, P.; Malcolmson, P.; Okoh, F.
 Root Extensions and Factorization in Affine Domains An integral domain R is IDPF (Irreducible Divisors of Powers Finite) if, for every non-zero element a in R, the ascending chain of non-associate irreducible divisors in R of $a^{n}$ stabilizes on a finite set as n ranges over the positive integers, while R is atomic if every non-zero element that is not a unit is a product of a finite number of irreducible elements (atoms). A ring extension S of R is a \emph{root extension} or \emph{radical extension} if for each s in S, there exists a natural number $n(s)$ with $s^{n(s)}$ in R. In this paper it is shown that the ascent and descent of the IDPF property and atomicity for the pair of integral domains $(R,S)$ is governed by the relative sizes of the unit groups $\operatorname{U}(R)$ and $\operatorname{U}(S)$ and whether S is a root extension of R. The following results are deduced from these considerations. An atomic IDPF domain containing a field of characteristic zero is completely integrally closed. An affine domain over a field of characteristic zero is IDPF if and only if it is completely integrally closed. Let R be a Noetherian domain with integral closure S. Suppose the conductor of S into R is non-zero. Then R is IDPF if and only if S is a root extension of R and $\operatorname{U}(S)/\operatorname{U}(R)$ is finite. Categories:13F15, 14A25
 Page 1 2 Next