It is shown that a commutative Bézout ring R with compact minimal prime spectrum is an elementary divisor ring if and only if so is R/L for each minimal prime ideal L. This result is obtained by using the quotient space pSpec R of the prime spectrum of the ring R modulo the equivalence generated by the inclusion. When every prime ideal contains only one minimal prime, for instance if R is arith...

We construct reduced Groebner bases for a certain class of ideals in commutative polynomial rings. A subclass of these ideals corresponds to the generalized Reed-Muller codes when considered in the quotient ring of the polynomial ring. AMS Subject Classification: 13P10, 94B30

The aim of this paper is to study the concept of Intuitionistic L-fuzzy subrings and Intuitionistic L-fuzzy ideals of a ring R. In this direction definitions and properties relating to Intuitionistic L-fuzzy subrings of R and Intuitionistic L-fuzzy ideals of R are introduced and discussed. We introduce a special type of Quotient ring.

An immediate generalization of the classical McKay correspondence for Gorenstein quotient spaces C/G in dimensions r ≥ 4 would primarily demand the existence of projective, crepant, full desingularizations. Since this is not always possible, it is natural to ask about special classes of such quotient spaces which would satisfy the above property. In this paper we give explicit necessary and suf...

We construct a quotient ring of the ring of diagonal coinvariants of the complex reflection group W = G(m, 1, n) and determine its graded character. This generalises a result of Gordon for Coxeter groups. The proof uses a study of category O for the rational Cherednik algebra of W , including a shift isomorphism which is proved in Appendix 1.

We use moduli spaces for covers of the Riemann sphere to solve regular embedding problems, with prescribed extendability of orderings, over PRC fields. As a corollary we show that the elementary theory of Qtr is decidable. Since the ring of integers of Qtr is undecidable, this gives a natural undecidable ring whose quotient field is decidable.

Gaussian integer is one of basic algebraic integers. In this article we formalize some definitions about Gaussian integers [27]. We also formalize ring (called Gaussian integer ring), Z-module and Z-algebra generated by Gaussian integer mentioned above. Moreover, we formalize some definitions about Gaussian rational numbers and Gaussian rational number field. Then we prove that the Gaussian rat...

We study an RG-module A , where R is a ring, A/CA(G) is infinite, CG(A) = 1, G is a group. Let Lnf(G) be the system of all subgroups H ≤ G such that the quotient modules A/CA(H) are infinite. We investigate an RG-module A such that Lnf(G) satisfies either the weak minimal condition or the weak maximal condition as an ordered set. It is proved that if G is a locally finite group then either G is...

Gaussian integer is one of basic algebraic integers. In this article we formalize some definitions about Gaussian integers [27]. We also formalize ring (called Gaussian integer ring), Z-module and Z-algebra generated by Gaussian integer mentioned above. Moreover, we formalize some definitions about Gaussian rational numbers and Gaussian rational number field. Then we prove that the Gaussian rat...

MAXIMAL QUOTIENT RINGS AND ESSENTIAL RIGHT IDEALS IN GROUP RINGS OF LOCALLY FINITE GROUPS Theorem . zero . FERRAN CEDÓ * AND BRIAN HARTLEY Dedicated to the memory of Pere Menal Let k be a commutative field . Let G be a locally finite group without elements of order p in case char k = p > 0 . In this paper it is proved that the type I. part of the maximal right quotient ring of the group algebgr...