Related papers: Central quotients of biautomatic groups
Let $G$ be a finite group and $\sigma=\{\sigma_{i}|i\in I\}$ be a partition of the set of all primes $\mathbb{P}$, that is, $\mathbb{P}=\bigcup_{i\in I}\sigma_{i}$ and $\sigma_{i}\cap \sigma_{j}=\emptyset$ for all $i\neq j$. A chief factor…
A Beauville surface (of unmixed type) is a complex algebraic surface which is the quotient of the product of two curves of genus at least 2 by a finite group G acting freely on the product, where G preserves the two curves and their…
The isodynamic points of a plane triangle are known to be the only pair of its centers invariant under the action of the Mobius group on the set of triangles. Generalizing this classical result, we introduce below the isodynamic map…
We describe a large-scale project in applied automated deduction concerned with the following problem of considerable interest in loop theory: If $Q$ is a loop with commuting inner mappings, does it follow that $Q$ modulo its center is a…
We consider word automaticity for groups that are nilpotent of class $2$ and have exponent a prime $p$. We show that the infinitely generated free group in this variety is not word automatic. In contrast, the infinite extra-special…
We provide a general algorithm for the computation of the unramified Brauer group of quotients of rational varieties by finite groups.
In this article we give a unified treatment of the construction of all possible Weitzenb\"ock formulas for all irreducible, non--symmetric holonomy groups. The resulting classification is two--fold, we construct explicitly a basis of the…
It is shown that the category of semi-biproducts in monoids is equivalent to a category of pseudo-actions. A semi-biproduct in monoids is at the same time a generalization of a semi-direct product in groups and a biproduct in commutative…
We study the quotients of the Toeplitz C*-algebra of a quasi-lattice ordered group (G,P), which we view as crossed products by a partial actions of G on closed invariant subsets of a totally disconnected compact Hausdorff space, the Nica…
We study the synchronous and asynchronous automatic structures on the fundamental group of a graph of groups in which each edge group is finite. Up to a natural equivalence relation, the set of biautomatic structures on such a graph product…
Let $(H, R)$ be a finite dimensional quasitriangular Hopf algebra over a field $k$, and $_H\mathcal{M}$ the representation category of $H$. In this paper, we study the braided autoequivalences of the Drinfeld center $^H_H\mathcal{YD}$…
A gauge group is the topological group of automorphisms of a principal bundle. We compute the integral cohomology ring of the classifying spaces of gauge groups of principal U(n)-bundles over the 2-sphere by generalizing the operation for…
A "biased expansion" of a graph is a kind of branched covering graph with additional structure related to combinatorial homotopy of circles. Some but not all biased expansions are constructed from groups ("group expansions"); these include…
For a Green biset functor $A$, we define the commutant and the center of $A$ and we study some of their properties and their relationship. This leads in particular to the main application of these constructions: the possibility of splitting…
Multiplication of two elements of the special unitary group SU(N) determines uniquely a third group element. A BAker-Campbell-Hausdorff relation is derived which expresses the group parameters of the product (written as an exponential) in…
We develop some tools, of an algebraic and combinatorial nature, which enable us to obtain a detailed description of certain quadratic subgroups of the (outer) reduced Weyl group of the Cuntz algebra ${\mathcal O}_n$. In particular, for…
The approach to curve implicitization through Sylvester and Bezout resultant matrices and bivariate interpolation in the usual power basis is extended to the case of Bernstein-Bezoutian matrices constructed when the polynomials are given in…
In this paper quotients of control systems which are generalizations of system reductions are used to study the stabilizability property of non-linear systems. Given a control system and its quotient we study under what conditions…
We study Cartan-Schouten metrics, explore invariant dual connections, and propose them as models for Information Geometry. Based on the underlying Riemannian barycenter and the biinvariant mean of Lie groups, we subsequently propose a new…
We argue that simple dynamical systems are factors of finite automata, regarded as dynamical systems on discontinuum. We show that any homeomorphism of the real interval is of this class. An orientation preserving homeomorphism of the…