This is the first in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology QHG(X) of a smooth polarized complex projective variety X with the action of a connected complex reductive group G to the orbifold quantum cohomology QH(X//G) of its geometric invariant theory quotient X//G, and prove that it intertwines the genus zero gaug...

the concept of right (left) quotient (or residual) of an ideal η by anideal ν of an l-subring μ of a ring r is introduced. the right (left) quotients areshown to be ideals of μ . it is proved that the right quotient [η :r ν ] of an idealη by an ideal ν of an l-subring μ is the largest ideal of μ such that[η :r ν ]ν ⊆ η . most of the results pertaining to the notion of quotients(or residual) of ...

This paper describes the concept of higher order quotients and an implementation in Isabelle Higher order quotients are a gen eralization of quotients They use partial equivalence relations PERs instead of equivalence relations to group together di erent elements This makes them applicable to arbitrary function spaces Higher order quo tients are conservatively implemented in the Isabelle logic ...

We define and study the symmetric version of differential torsion theories. We prove that the symmetric versions of some of the existing results on derivations on right modules of quotients hold for derivations on symmetric modules of quotients. In particular, we prove that the symmetric Lambek, Goldie and perfect torsion theories are differential. We also study conditions under which a derivat...

This article studies commutative orders, that is, commutative semigroups having a semigroup of quotients. In a commutative order S, the square-cancellable elements S(S) constitute a well-behaved separable subsemigroup. Indeed, S(S) is also an order and has a maximum semigroup of quotients R, which is Clifford. We present a new characterisation of commutative orders in terms of semilattice decom...

Core to the Centralization method 1] for the normalization of gene expression data is the estimation of most consistent sample scaling factors based on possibly inconsistent pairwise estimates. Here, the maximum likelihood approach that is employed in order to nd the most probable consistent scaling vector is described in detail. Let i; j 2 A be two microarray measurements of any two samples wi...

It has been observed many times, both in the Monthly and elsewhere, that the set of all quotients of prime numbers is dense in the positive real numbers. In this short note we answer the related question: “Is the set of all quotients of Gaussian primes dense in the complex plane?” Quotient sets {s/t : s, t ∈ S} corresponding to subsets S of the natural numbers have been intensely studied in the...