Related papers: On product-one sequences over dihedral groups

Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…

We prove that if $G$ is a finite simple group which is the unit group of a ring, then $G$ is isomorphic to either (a) a cyclic group of order 2; (b) a cyclic group of prime order $2^k -1$ for some $k$; or (c) a projective special linear…

We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free…

We describe the infinite dihedral group as automaton group. We collect basic results and give full proofs in details for all statements.

We classify all finite groups G such that the product of any two non-inverse conjugacy classes of G is always a conjugacy class of G. We also classify all finite groups G for which the product of any two G-conjugacy classes which are not…

The partial sums of a sequence ${\mathbf x} = x_1, x_2, \ldots, x_k$ of distinct non-identity elements of a group $(G,\cdot)$ are $s_0 = id_G$ and $s_j = \prod_{i=1}^j x_i$ for $0 < j \leq k$. If the partial sums are all different then…

The aim of this paper is sketch a theory of divisibility and factorisation in topological monoids, where finite products are replaced by convergent products. The algebraic case can then be viewed as the special case of discretely…

We study the maximal subgroups (also known as group $\mathcal{H}$-classes) of finitely presented special inverse monoids. We show that the maximal subgroups which can arise in such monoids are exactly the recursively presented groups, and…

We study the unit group of the modular group algebra KG, where G is a 2-group of maximal class. We prove that the unit group of KG possesses a section isomorphic to the wreath product of a group of order two with the commutator subgroup of…

We prove that every odd-order group is symmetric harmonious: there exists a permutation $g_0,g_1,\ldots, g_{\ell-1}$ of elements of $G$ such that the consecutive products $g_0g_1,g_1g_2,\ldots, g_{\ell-1}g_0$ also form a permutation of…

A causal set is a partially ordered set on a countably infinite ground-set such that each element is above finitely many others. A natural extension of a causal set is an enumeration of its elements which respects the order. We bring…

The cogrowth series of a group with respect to a finite generating set is an important combinatorial quantity that seems very difficult to compute exactly, as evidenced by the scarcity of known examples. In this paper, we give a particular…

A genoid is a category of two objects such that one is the product of itself with the other. A genoid may be viewed as an abstract substitution algebra. It is a remarkable fact that such a simple concept can be applied to present a unified…

The problem of determining when a (classical) crossed product $T=S^f*G$ of a finite group $G$ over a discrete valuation ring $S$ is a maximal order, was answered in the 1960's for the case where $S$ is tamely ramified over the subring of…

Consider any sequence of finite groups $A^t$, where $t$ takes values in an integer index set $\mathbf{Z}$. A group system $A$ is a set of sequences with components in $A^t$ that forms a group under componentwise addition in $A^t$, for each…

The holomorph of a discrete group $G$ is the universal semi-direct product of $G$. In chapter 1 we describe why it is an interesting object and state main results. In chapter 2 we recall the classical definition of the holomorph as well as…

We investigate general properties of number sequences which allow explicit representation in terms of products. We find that such sequences form whole families of number sequences sharing similar recursive identities. Restricting to the…

Let $H$ be a Hopf algebra in braided category $\cal C$. Crossed modules over $H$ are objects with both module and comodule structures satisfying some comatibility condition. Category ${\cal C}^H_H$ of crossed modules is braided and is…

Given an action of a groupoid by isomorphisms on a Fell bundle (over another groupoid), we form a semidirect-product Fell bundle, and prove that its $C^{*}$-algebra is isomorphic to a crossed product.

We introduce the concept of crossed product of a product system by a locally compact group. We prove that the crossed product of a row-finite and faithful product system by an amenable group is also a row-finite and faithful product system.…