Related papers: Non-freeness of groups generated by two parabolic …

It is shown that when q is a primitive root of unity of order not equal to 2 mod 4, A(SL_q(2)) is a free module of finite rank over the coordinate ring of the classical group SL(2). An explicit set of generators is provided.

For a finite group $G$ and an element $x\in G$, the subset $$ nil_G(x)=\{y\in G \mid <x,y>~~ is ~~ nilpotent\}$$ is called nilpotentizer of $x$ in $G$. In this paper, we give two solvabilty criteria for a finite group by the structure and…

We show that there is an order-preserving embedding of the additive group of rational numbers $\mathbb{Q}$ into a 2-generator group $G$. The group $G$ can be chosen to be a solvable group $G$ of length 3, which is a minimal result in the…

Let $G$ be a finite simple group of Lie type and let $P$ be a Sylow $2$-subgroup of $G$. In this paper, we prove that for any nontrivial element $x \in G$, there exists $g \in G$ such that $G = \langle P, x^g \rangle$. By combining this…

Let $G$ be a finite group, $u$ a Bass unit based on an element $a$ of $G$ of prime order, and assume that $u$ has infinite order modulo the center of the units of the integral group ring $\Z G$. It was recently proved that if $G$ is…

We are looking for the smallest integer k>1 providing the following characterization of the solvable radical R(G) of any finite group G: R(G) coincides with the collection of all g such that for any k elements a_1,a_2,...,a_k the subgroup…

Let $p$ be a point of an orientable hyperbolic $3$-manifold $M$, and let $m\ge1$ and $k\ge2$ be integers. Suppose that $\alpha_1,\ldots,\alpha_m$ are loops based at $p$ having length less than $\log(2k-1)$. We show that if $G$ denotes the…

In this article, we determine the non-real elements--the ones that are not conjugate to their inverses--in the group $G = G_2(q)$ when $char(F_q)\neq 2,3$. We use this to show that this group is chiral; that is, there is a word w such that…

We show that the twist subgroup $\mathcal{T}_g$ of a nonorientable surface of genus $g$ can be generated by two elements for every odd $g\geq27$ and even $g\geq42$. Using these generators, we can also show that $\mathcal{T}_g$ can be…

This paper introduces and studies a notion of \emph{algorithmic randomness} for subgroups of rationals. Given a randomly generated additive subgroup $(G,+)$ of rationals, two main questions are addressed: first, what are the model-theoretic…

Given a finitely generated residually finite group $G$, the residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ bounds the size of a finite group $Q$ needed to detect an element of norm at most $r$. More specifically, if…

Let G be a finite group. A collection P={H1, ..., Hr} of subgroups of G, where r > 1, is said a non-trivial partition of G if every non-identity element of G belongs to one and only one Hi, for some 1 <=i<=r. We call a group G that does not…

Let $G$ be a finite group, and write ${\rm cd}(G)$ for the degree set of the complex irreducible characters of $G$. The group $G$ is said to satisfy the {\it two-prime hypothesis} if, for any distinct degrees $a, b \in {\rm cd}(G)$, the…

It is well known that the proportion of pairs of elements of $\operatorname{SL}(n,q)$ which generate the group tends to $1$ as $q^n\to \infty$. This was proved by Kantor and Lubotzky using the classification of finite simple groups. We give…

We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\mathbb{Z} G$ of a finite nilpotent group $G$, this provided the rational group algebra $\mathbb{Q} G$…

We present a proof of the following claim. Suppose that $n$ is an integer such that $n>1$ and that $k$ is any field. Suppose that $g$ is an element of $\mathrm{SL}(n,k)$ of infinite order. Then the set $\{h\in\mathrm{SL}(n,k)\mid <g,h>$ is…

We give an example of a definable set in every free or torsion-free (non-elementary) hyperbolic group that is not in the Boolean algebra of equational sets. Hence, the theories of free and torsion-free (non-elementary) hyperbolic groups are…

In [3] is was shown that for any group $G$ whose rank (i.e., minimal number of generators) is at most 3, and any finite index subgroup $H\leq G$ with index $[G:H]\geq rank(G)$, one can always find a left-right transversal of $H$ which…

Let $S$ be either a free group or the fundamental group of a closed hyperbolic surface. We show that if $G$ is a finitely generated residually-$p$ group with the same pro-$p$ completion as $S$, then two-generated subgroups of $G$ are free.…

An element $g$ of a group $G$ is a test element if every endomorphism of $G$ that fixes $g$ is an automorphism. Let $G$ be a free group of finite rank, an orientable surface group of genus $n \geq 2$, or a non-orientable surface group of…