Related papers: Central quotients of biautomatic groups

We describe the autotopism group Atp(G) of any abelian group G as being a semidirect product of its automorphism group Aut(G) and G^2. We then provide the subgroup structure of Atp(G) when G is a finite cyclic group.

We present a natural extension of the process of taking a group quotient to arbitrary subgroups. We first review basic concepts from group theory. This will allow us to see the relationship between our new, more general quotient operation…

This document is a practical guide to computations using an automatic structure for the mapping class group of a once-punctured, oriented surface $S$. We describe a quadratic time algorithm for the word problem in this group, which can be…

For the standard Drinfeld-Jimbo quantum group ${\rm U}_q(\mathfrak{g})$ associated with a simple Lie algebra $\mathfrak{g}$, we construct explicit generators of the centre $Z({\rm U}_q(\mathfrak{g}))$, and determine the relations satisfied…

A finite dimensional operator that commutes with some symmetry group admits quotient operators, which are determined by the choice of associated representation. Taking the quotient isolates the part of the spectrum supporting the chosen…

In this paper, we consider the problem of constructing a finite bisimulation quotient for a discrete-time switched linear system in a bounded subset of its state space. Given a set of observations over polytopic subsets of the state space…

In this paper, we introduce quotients of \'etale groupoids. Using the notion of quotients, we describe the abelianizations of groupoid C*-algebras. As another application, we obtain a simple proof that effectiveness of an \'etale groupoid…

Let $G$ be a central product of two groups $H$ and $K$. We study second cohomology group of $G$, having coefficients in a divisible abelian group $D$ with trivial $G$-action, in terms of the second cohomology groups of certain quotients of…

Following the ideas in~\cite{yM88} and some inspiration from~\cite{KO24}, we construct a bialgebra $T_q(n)$ and a pointed Hopf algebra $UT_q(n)$ which quantize the coordinate rings of the algebra of upper triangular matrices and of the…

In this paper we present an abstraction algorithm that produces a finite bisimulation quotient for an autonomous discrete-time linear system. We assume that the bisimulation quotient is required to preserve the observations over an…

Let $E$ be a virtually central extension of the group $G$ by a finitely generated abelian group $A$. We show that $E$ carries a biautomatic structure if and only if $G$ has a biautomatic structure $L$ for which the cohomology class of the…

It is proved that the group of birational automorphisms of a three-dimensional double quadric with a singular point arising from a double point on the branch divisor is a semidirect product of the free group generated by birational…

Let G be a right-angled Artin group. We use geometric methods to compute a presentation of the subgroup H of Aut(G) consisting of the automorphisms that send each generator to a conjugate of itself. This generalizes a result of McCool on…

We study the Bott-Chern cohomology of complex orbifolds obtained as quotient of a compact complex manifold by a finite group of biholomorphisms.

We show that the finite difference B\"acklund formula for the Schr\"odinger Hamiltonians is a particular element of the transformation group on the set of Riccati equations considered by two of us in a previous paper. Then, we give a group…

A finite group $G$ is of central type (in the non-classical sense) if it admits a non-degenerate cohomology class $[c]\in H^2(G,\C^*)$ ($G$ acts trivially on $\C^*$). Groups of central type play a fundamental role in the classification of…

Gradients are natural first order differential operators depending on Riemannian metrics. The principal symbols of them are related to the enveloping algebra and higher Casimir elements. We give certain relations in the enveloping algebra,…

It is shown that any finite group $A$ is realizable as the automizer in a finite perfect group $G$ of an abelian subgroup whose conjugates generate $G$. The construction uses techniques from fusion systems on arbitrary finite groups, most…

The result of this paper is the determination of the cohomology of Artin groups of type A_n, B_n and \tilde{A}_{n} with non-trivial local coefficients. The main result is an explicit computation of the cohomology of the Artin group of type…

For a split semisimple Chevalley group scheme G with Lie algebra g over an arbitrary base scheme S, we consider the quotient of g by the adjoint action of G. We study in detail the structure of g over S. Given a maximal torus T with Lie…