Related papers: Length enumeration of fully commutative elements i…

Every mathematician is familiar with the beautiful structure of finite commutative groups. What is less well known is that finite commutative semigroups also have a neat and well-described structure. We prove this in an efficient fashion.…

A group $G$ is said to be just infinite if $G$ itself is infinite but all proper quotients of $G$ are finite. We show that a Coxeter group $W_\Gamma$ is just infinite if and only if $\Gamma$ is isomorphic to one of the following graphs:…

Let $R$ be any associative ring with $1$, $n\ge 3$, and let $A,B$ be two-sided ideals of $R$. In the present paper we show that the mixed commutator subgroup $[E(n,R,A),E(n,R,B)]$ is generated as a group by the elements of the two following…

The Kazhdan-Lusztig polynomials for finite Weyl groups arise in the geometry of Schubert varieties and representation theory. It was proved very soon after their introduction that they have nonnegative integer coefficients, but no…

Let $W$ be a right-angled Coxeter group corresponding to a finite non-discrete graph $\mathcal{G}$ with at least $3$ vertices. Our main theorem says that $\mathcal{G}^c$ is connected if and only if for any infinite index quasiconvex…

The reflections in a Coxeter group are defined as conjugates of a single generator, and thus admit palindromic expressions as products of generators. Our main result gives closed formulas providing a palindromic reduced expression for each…

It is shown that there exist finitely generated infinite simple groups of infinite commutator width and infinite square width on which there exists no stably unbounded conjugation-invariant norm, and in particular stable commutator length…

Certain results on representations of quivers have analogs in the structure theory of general Coxeter groups. A fixed Coxeter element turns the Coxeter graph into an acyclic quiver, allowing for the definition of a preprojective root. A…

This paper gives a new, simplified presentation of the classical pure braid group. The generators are given by the squares of the longest elements over connected subgraphs, and we prove that the only relations are either commutators or…

In this paper we prove a series of matching theorems for two sets of Coxeter generators of a finitely generated Coxeter group that identify common features of the two sets of generators. As an application, we describe an algorithm for…

Let w be a group word. It is conjectured that if w has only countably many values in a profinite group G, then the verbal subgroup w(G) is finite. In the present paper we confirm the conjecture in the cases where w is a multilinear…

The Weil representation of the symplectic group associated to a finite abelian group of odd order is shown to have a multiplicity-free decomposition. When the abelian group is p-primary, the irreducible representations occurring in the Weil…

An atomic monoid $M$ is called a length-factorial monoid (or an other-half-factorial monoid) if for each non-invertible element $x \in M$ no two distinct factorizations of $x$ have the same length. The notion of length-factoriality was…

For a Coxeter group $W$ with length function $\ell$, the excess zero graph $\mathcal{E}_0(W)$ has vertex set the non-identity involutions of $W$, with two involutions $x$ and $y$ adjacent whenever $\ell(xy)=\ell(x)+\ell(y)$. Properties of…

Xu and Wu (2001) defined the \emph{generalized wordlength pattern} $(A_1, ..., A_k)$ of an arbitrary fractional factorial design (or orthogonal array) on $k$ factors. They gave a coding-theoretic proof of the property that the design has…

A BFC-group is a group in which all conjugacy classes are finite with bounded size. In 1954 B. H. Neumann discovered that if G is a BFC-group then the derived group G' is finite. Let w=w(x_1,\dots,x_n) be a multilinear commutator. We study…

We give a geometric proof that minimal length elements in a (twisted) conjugacy class of a finite Coxeter group $W$ have remarkable properties with respect to conjugation, taking powers in the associated Braid group and taking centralizer…

Let $(W,S)$ be an arbitrary Coxeter system. For each word $\omega$ in the generators we define a partial order--called the {\sf $\omega$-sorting order}--on the set of group elements $W_\omega\subseteq W$ that occur as subwords of $\omega$.…

We prove the definability, and actually the finiteness of the commutator width, of many commutator subgroups in groups definable in o-minimal structures. It applies in particular to derived series and to lower central series of solvable…

We show that the Coxeter-sortable elements in a finite Coxeter group W are the minimal congruence-class representatives of a lattice congruence of the weak order on W. We identify this congruence as the Cambrian congruence on W, so that the…