We study the ideal generated by constant-term free B-quasisymmetric polynomials, and prove that the quotient of the polynomial ring by this ideal has dimension given by 1 2n+1 ` 3n

We study an integration theory in circle equivariant cohomology in order to prove a theorem relating the cohomology ring of a hyperkähler quotient to the cohomology ring of the quotient by a maximal abelian subgroup, analogous to a theorem of Martin for symplectic quotients. We discuss applications of this theorem to quiver varieties, and compute as an example the ordinary and equivariant cohom...

Generic linkage is used to compute a prime ideal such that the radical of the initial ideal of the prime ideal is equal to the radical of a given codimension two monomial ideal that has a Cohen-Macaulay quotient ring.

The motivation for computing in a suitably chosen homomorphic image of the original problem domain is that the computation there is either easier or is possible, whereas in the original domain it was either harder or impossible. For example, any homomorphic image of the infinite ring of integers is a finite ring, and computation in a finite set is usually easier than in an infinite set; as we h...

We establish a bridge between homotopy groups of spheres and commutator calculus in groups, solve this manner the “dimension problem” by providing converse to Sjogren's theorem: every abelian group bounded exponent can be embedded dimension quotient group. This is proven embedding for arbitrary s , d $s,d$ torsion π ( S ) $\pi _s(S^d)$ into quotient, via result Wu. In particular, invalidates so...

In this paper, we first define the notion of finitely-cosmall quotient (singly-cosmall quotient) morphisms. Then give a characterization new concept. We show that an epimorphism p:Y→U is if and only for any right R-module Z morphism g:Z→Y such pg finitely-copartial isomorphism (singly-copartial isomorphism) from to Y with codomain U finitely (singly) split epimorphism. also investigate relation...

For every local ring R in what follows, mR denotes the maximal ideal. Let Λ̃ be a complete, regular, local Noetherian ring, let E ⊂ m Λ̃ be an ideal, and denote the quotient by Λ. Thus, Λ is also a complete, local Noetherian ring. Denote the residue field Λ/mΛ by k. Denote by C = CΛ the category whose objects are Λ-algebras A such that (i) A is a local, Artin ring with mΛA ⊂ mA, and (ii) the indu...

6 Introduction to Affine Schemes 2 6.1 Rings and Modules of Fractions . . . . . . . . . . . . . . . . . 2 6.2 The Spectrum of a Unital Commutative Ring . . . . . . . . . 5 6.3 The Spectrum of a Quotient Ring . . . . . . . . . . . . . . . . 7 6.4 The Spectrum of a Ring of Fractions . . . . . . . . . . . . . . 9 6.5 Intersections of Prime Ideals . . . . . . . . . . . . . . . . . . . 11 6.6 Topolo...

Entangling properties of a mixed 2-qubit system can be described by the local homogeneous unitary invariant polynomials in elements of the density matrix. The structure of the corresponding invariant polynomial ring for the special subclass of states, the so-called mixed X−states, is established. It is shown that for the X−states there is an injective ring homomorphism of the quotient ring of S...