Related papers: The absolute order on the hyperoctahedral group

We construct certain unstable higher-order homotopy operations indexed by the simplex categories of $\Delta^{n}$ for ${n\geq 2}$ and prove that all elements in the homotopy groups of a wedge of spheres are generated under such operations by…

Let $A$ be a unital commutative Banach algebra with maximal ideal space $X.$ We determine the rational H-type of the group $GL_n (A)$ of invertible n by n matrices with coefficients in A, in terms of the rational cohomology of $X.$ We also…

We prove that the order of an ordered group is an interval order if and only if it is a semiorder. Next, we prove that every semiorder is isomorphic to a collection $\mathcal J$ of intervals of some totally ordered abelian group, these…

The proper parts of face lattices of convex polytopes are shown to satisfy a strong form of the Cohen--Macaulay property, namely that removing from their Hasse diagram all edges in any closed interval results in a Cohen--Macaulay poset of…

In this paper, we decompose the set of fully commutative elements into natural subsets when the Coxeter group is of type $D_n$, and study the combinatorics of these subsets, revealing hidden structures. (We do not consider type $A_n$ first,…

For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some…

A finite group is said to have "perfect order classes" if the number of elements of any given order is either zero or a divisor of the order of the group. The purpose of this note is to describe explicitly the finite Hamiltonian groups with…

In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on…

We introduce a new class of commutative {non-noetherian} rings, called $n$-subperfect rings, generalizing the almost perfect rings that have been studied recently by Fuchs-Salce. For an integer $n \ge 0$, the ring $R$ is $n$-subperfect if…

The Fon-Der-Flaass action partitions the order ideals of a poset into disjoint orbits. For a product of two chains, Propp and Roby observed --- across orbits --- the mean cardinality of the order ideals within an orbit to be invariant. That…

The associated primes of an arbitrary lexsegment ideal $I\subset S=K[x_1,...,x_n]$ are determined. As application it is shown that $S/I$ is a pretty clean module, therefore, $S/I$ is sequentially Cohen-Macaulay and satisfies Stanley's…

We introduce and study integral planes associated with crystallographic and non-crystallographic integral systems in real composition algebras. For an integral order $\Order$ in such an algebra we define the plane $\Order^{2}$ with…

Exact sequences are a well known notion in homological algebra. We investigate here the more vague properties of 'homotopical exactness', appearing for instance in the fibre or cofibre sequence of a map. Such notions of exactness can be…

We characterize and construct linearly ordered sets, abelian groups and fields that are {\emph symmetrically complete}, meaning that the intersection over any chain of closed bounded intervals is nonempty. Such ordered abelian groups and…

Motivated by the geometry of certain hyperplane arrangements, Manin and Schechtman defined for each positive integer n a hierarchy of finite partially ordered sets B(n, k), indexed by positive integers k, called the higher Bruhat orders.…

We study the set of monomial ideals in a polynomial ring as an ordered set, with the ordering given by reverse inclusion. We give a short proof of the fact that every antichain of monomial ideals is finite. Then we investigate ordinal…

We establish the following two main results on order types of points in general position in the plane (realizable simple planar order types, realizable uniform acyclic oriented matroids of rank $3$): (a) The number of extreme points in an…

Given any irreducible Coxeter group $C$ of hyperbolic type with non-linear diagram and rank at least $4$, whose maximal parabolic subgroups are finite, we construct an infinite family of locally spherical regular hypertopes of hyperbolic…

We show that the virtual cohomological dimension of a Coxeter group is essentially the regularity of the Stanley--Reisner ring of its nerve. Using this connection between geometric group theory and commutative algebra, as well as techniques…

We prove a dual version of {\O}ystein Ore's theorem on distributive intervals in the subgroup lattice of finite groups, having a nonzero dual Euler totient $\hat{\varphi}$. For any Boolean group-complemented interval, we observe that…