Related papers: Multi-GGS-groups have the congruence subgroup prop…

It is known that the level $2$ principal congruence subgroup of $GL(n;\mathbb{Z})$ has a finite generating set. In this paper, we give a finite presentation of the level $2$ principal congruence subgroup of $GL(n;\mathbb{Z})$.

The main result of this paper is that the categories of (right) hypergroups over the group and of triples, consisting of a group, its subgroup and a (right) transversal to this subgroup, are equivalent.

We study when a group of form $G\times\mathbb{Z}^m (m\geq 1)$ has the finitely generated fixed subgroup property of automorphisms ($\rm{FGFP}_a$), by using the BNS-invariant, and provide some partial answers and non-trivial examples.

The cyclic sieving phenomenon provides a link between a polynomial analogue of Gauss congruence known as $q$-Gauss congruence, and a combinatorial analogue of Gauss congruence based on sequences of cyclic group actions. We strengthen this…

A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. We prove that limit…

We added an additional result (theorem 1.6) that strengthenns our main theorem in the G=GL-case by establishing an equivalence of tensor categories.

We prove a myriad of results related to the stabilizer in an algebraic group $G$ of a generic vector in a representation $V$ of $G$ over an algebraically closed field $k$. Our results are on the level of group schemes, which carries more…

The homology groups of many natural sequences of groups $\{G_n\}_{n=1}^{\infty}$ (e.g. general linear groups, mapping class groups, etc.) stabilize as $n \rightarrow \infty$. Indeed, there is a well-known machine for proving such results…

In the present paper, we give a certain condition on subgroups of the group representation of the Cayley tree such that an invariance property holds. Except for the given condition, we show that the invariance property does not hold.

We consider the supersymmetric vector multiplet in a purely quantum framework. We obtain some discrepancies with respect to the literature in the expression of the super-propagator and we prove that the model is consistent only for positive…

A group is said to be C*-simple if its reduced C*-algebra is simple. We establish an intrinsic (group-theoretic) characterization of groups with this property. Specifically, we prove that a discrete group is C*-simple if and only if it has…

In this paper, we introduce the enough $g$-pairs property for a principal coefficients cluster algebra, which can be understood as a strong version of the sign-coherence of the $G$-matrices. Then we prove that any skew-symmetrizable…

Let $G$ be a Lie group acting on a vector space $V$. Given a set of $G$-invariants, one can ask the question : does this set of invariants characterize the group $G$ ? We recall here some known results, ask questions and state some…

In this paper, we consider the continuity of the inverse in (strongly) paratopological gyrogroups. The conclusions are established as follows: (1) A compact Hausdorff paratopological gyrogroup $G$ is a topological gyrogroup. (2) A Hausdorff…

Let $G$ be a subgroup of a discrete (countable) group $\Gamma$. We introduce a notion of relative inner amenability of $G$ in $\Gamma$, we prove some equivalent conditions and provide examples as well as counter-examples. We also discuss…

A group $G$ is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. We prove that free groups and the fundamental…

Let a group $G$ act properly discontinuously and cocompactly on a locally compact space $X$. A Hausdorff compact space $Z$ that contains $X$ as an open subspace has the perspectivity property if the action $G\curvearrowright X$ extends to…

A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. In this paper, it is proved that if $G$ is a sequential topological gyrogroup…

We define a relative property A for a countable group with respect to a finite family of subgroups. Many characterizations for relative property A are given. In particular a relative bounded cohomological characterization shows that if a…

A 2-group is a `categorified' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…