Tight Quotients and Double Quotients in the Bruhat Order
نویسندگان
چکیده
منابع مشابه
Tight Quotients and Double Quotients in the Bruhat Order
It is a well-known theorem of Deodhar that the Bruhat ordering of a Coxeter group is the conjunction of its projections onto quotients by maximal parabolic subgroups. Similarly, the Bruhat order is also the conjunction of a larger number of simpler quotients obtained by projecting onto two-sided (i.e., “double”) quotients by pairs of maximal parabolic subgroups. Each one-sided quotient may be r...
متن کاملA Design Structure for Higher Order Quotients
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, where types are divided by an equivalence relation to create new types, called quotient types. We present a design to mechanically construct quotient types as new types in the logic, and to support the automatic lifting ...
متن کاملHigher Order Quotients and their Implementation in Isabelle HOL
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 ...
متن کاملQuotients Homophones des Groupes Libres Homophonic Quotients of Free Groups
Ah, la recherche! Du temps perdu. Soit G le quotient du groupe libre a 26 g en era-teurs a; b; c; : : : ; z par les relations A = B, pour tout couple de mots (A; B) pouvant avoir la m^ eme prononciation en anglais. (Un groupe d eeni d'une mani ere analogue a et e consid er e dans Landsburg 1986].) Notre but est de d eterminer la structure du groupe G. Théorème. G est trivial. Démonstration. (No...
متن کاملDouble and Triple Givental’s J -functions for Stable Quotients Invariants
We use mirror formulas for the stable quotients analogue of Givental’s J-function for twisted projective invariants obtained in a previous paper to obtain mirror formulas for the analogues of the double and triple Givental’s J-functions (with descendants at all marked points) in this setting. We then observe that the genus 0 stable quotients invariants need not satisfy the divisor, string, or d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Electronic Journal of Combinatorics
سال: 2005
ISSN: 1077-8926
DOI: 10.37236/1871