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...

We give an algebraic interpretation of the well–known “zero–condition” or “sum rule” for multivariate refinable functions with respect to an arbitrary scaling matrix. The main result is a characterization of these properties in terms of containment in a quotient ideal, however not in the ring of polynomials but in the ring of Laurent polynomials.

We study pseudoholomorphic curves in symplectic quotients as adiabatic limits of solutions to the symplectic vortex equations. Our main theorem asserts that the genus zero invariants of Hamiltonian group actions defined by these equations are related to the genus zero Gromov–Witten invariants of the symplectic quotient (in the monotone case) via a natural ring homomorphism from the equivariant ...

The encryption scheme NTRU is designed over a quotient ring of a polynomial ring. Basically, if the ring is changed to any other ring, NTRU-like cryptosystem is constructible. In this paper, we propose a variant of NTRU using group ring, which is called GRNTRU. GR-NTRU includes NTRU as a special case. Moreover, we analyze and compare the security of GR-NTRU for several concrete groups. It is ea...

Given an affine algebraic variety V and a quantization Oq(V ) of its coordinate ring, it is conjectured that the primitive ideal space of Oq(V ) can be expressed as a topological quotient of V . Evidence in favor of this conjecture is discussed, and positive solutions for several types of varieties (obtained in joint work with E. S. Letzter) are described. In particular, explicit topological qu...