Related papers: Rewriting Group Products with Transversals

The notion of a subproduct system, a generalization of that of a product system, is introduced. We show that there is an essentially 1 to 1 correspondence between cp-semigroups and pairs (X,T) where X is a subproduct system and T is an…

It is known that the notion of a transitive subgroup of a permutation group $P$ extends naturally to the subsets of $P$. We study transitive subsets of the wreath product $G \wr S_n$, where $G$ is a finite abelian group. This includes the…

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…

Given a category, one may construct slices of it. That is, one builds a new category whose objects are the morphisms from the category with a fixed codomain and morphisms certain commutative triangles. If the category is a groupoid, so that…

A series of works has established rewriting as an essential tool in order to prove coherence properties of algebraic structures, such as MacLane's coherence theorem for monoidal categories, based on the observation that, under reasonable…

We formulate and prove relative versions of several classical decompositions known in the theory of Chevalley groups over commutative rings. As an application we obtain upper estimates for the width of principal congruence subgroups in…

Text-to-image generative models have enabled high-resolution image synthesis across different domains, but require users to specify the content they wish to generate. In this paper, we consider the inverse problem -- given a collection of…

We start an analysis of geometric properties of a structure relative to a reduct. In particular, we look at definability of groups and fields in this context. In the relatively one-based case, every definable group is isogenous to a…

A finitely generated group $G$ is said to be condensed if its isomorphism class in the space of finitely generated marked groups has no isolated points. We prove that every product variety $\mathcal{UV}$, where $\mathcal{U}$ (respectively,…

In this paper, we deal with reversing and extended symmetries of shifts generated by bijective substitutions. We provide equivalent conditions for a permutation on the alphabet to generate a reversing/extended symmetry, and algorithms how…

If X and Y are orthogonal hyperdefinable sets such that X is simple, then any group G interpretable in (X,Y) has a normal hyperdefinable X-internal subgroup N such that G/N is Y-internal; N is unique up to commensurability. In order to make…

We classify the bireflections (products of 2 involutions) in the commutator subgroup G an orthogonal group O(V) over a finite field GF(q) of characteristic not 2. We show that every element of G is a bireflection if it is reversible…

Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised proof tactics for rewriting. This results in an interleaving…

An element of a group is called bireflectional when it is the product of two involutions of the group (i.e. elements of order 1 or 2). If an element is bireflectional then it is conjugated to its inverse. It is known that all elements of…

We introduce the class of partially invertible modules and show that it is an inverse category which we call the Picard inverse category. We use this category to generalize the classical construction of crossed products to, what we call,…

Given an infinite, compact, monothetic group $G$ we study decompositions and structure of unbounded derivations in a crossed product C$^*$-algebra $C(G)\rtimes\Z$ obtained from a translation on $G$ by a generator of a dense cyclic subgroup.…

Let X be the group of weights of a maximal torus of a simply connected semisimple group over C and let W be the Weyl group. The semidirect product W(Q\otimes X/X) is called the extended Weyl group. There is a natural C(v)-algebra H called…

This paper develops a basic theory of H-groups. We introduce a special quotient of H-groups and extend some algebraic constructions of topological groups to the category of H-groups and H-maps. We use these constructions to prove some…

Let a discrete group $G$ act on a unital simple C$^*$-algebra $A$ by outer automorphisms. We establish a Galois correspondence $H\mapsto A\rtimes_{\alpha,r}H$ between subgroups of $G$ and C$^*$-algebras $B$ satisfying $A\subseteq B…

We classify bireflectional elements (products of 2 involutions) in symplectic groups Sp$(2n, K)$ over a field $K$. We also classify rev ersible elements (elements conjugate to their inverses) and bireflectional elements in finite projective…