The facial weak order in finite Coxeter groups

International audience We investigate a poset structure that extends the weak order on a finite Coxeter group W to the set of all faces of the permutahedron of W. We call this order the facial weak order. We first provide two alternative characterizations of this poset: a first one, geometric, that generalizes the notion of inversion sets of roots, and a second one, combinatorial, that uses comparisons of the minimal and maximal length representatives of the cosets. These characterizations are then used to show that the facial weak order is in fact a lattice, generalizing a well-known result of A. Bjo ̈rner for the classical weak order. Finally, we show that any lattice congruence of the classical weak order induces a lattice congruence of the facial weak order, and we give a geometric interpretation of its classes.

S-Lattice Congruences of S-Lattices

In this paper, the S-lattices are introduced as a representation of lattice-ordered monoids. The smallest S-lattice congruence induced by a relation on an S-lattice is characterized and the correspondence between the S-lattice congruences and S-ideals in an S-distributive lattice is discussed. These generalize some recent results of lattices and lattice-ordered semigroups.

Lattice subgroups of free congruence groups

Let Г(1) denote the homogeneous modular group of 2 × 2 matrices with integral entries and determinant 1. Let (1) be the inhomogeneous modular group of 2 × 2 integral matrices of determinant 1 in which a matrix is identified with its negative. (N), the principal congruence subgroup of level N, is the subgroup of (1) consisting of all T ∈ (1) for which T ≡ ± I (mod N), where N is a positive integer and I is the identity matrix. A subgroup of (1) is said to be a congruence group of level N if contains (N) and N is the least such integer. Similarly, we denote by Г(N) the principal congruence subgroup of level N of Г(1), consisting of those T∈(1) for which T ≡ I (mod N), and we say that a sub group of Г(1) is a congruence group of level N if contains Г (N) and N is minimal with respect to this property. In a recent paper [9] Rankin considered lattice subgroups of a free congruence subgroup of rank n of (1). By a lattice subgroup of we mean a subgroup of which contains the commutator group . In particular, he showed that, if is a congruence group of level N and if is a lattice congruence subgroup of of level qr, where r is the largest divisor of qr prime to N, then N divides q and r divides 12. He then posed the problem of finding an upper bound for the factor q. It is the purpose of this paper to find such an upper bound for q. We also consider bounds for the factor r.