Related papers: The Twist Subgroup is generated by two elements

We prove a result on the asymptotic proportion of randomly chosen pairs of permutations in the symmetric group $S_n$ which "invariably" generate a nonsolvable subgroup, i.e., whose cycle structures cannot possibly both occur in the same…

We prove that if $L=\mbox{}^2F_4(2^{2n+1})'$ and $x$ is a nonidentity automorphism of $L$ then $G=\langle L,x\rangle$ has four elements conjugate to $x$ that generate $G$. This result is used to study the following conjecture about the…

Consider a Lie subalgebra $\mathfrak{l} \subset \mathfrak{g}$ and an $\mathfrak{l}$-invariant open submanifold $V \subset \mathfrak{l}^{\ast}$. We demonstrate that any smooth dynamical twist on $V$, valued in $U(\mathfrak{g}) \otimes…

On a compact oriented surface of genus $g$ with $n\geq 1$ boundary components, $\delta_1, \delta_2,\ldots, \delta_n$, we consider positive factorizations of the boundary multitwist $t_{\delta_1} t_{\delta_2} \cdots t_{\delta_n}$, where…

We construct infinitely many abelian surfaces A defined over the rational numbers such that, for a prime ell <= 7, the ell-torsion subgroup of A is not isomorphic as a Galois module to the ell-torsion subgroup of its dual. We do this by…

We determine the invariants, with arbitrary determinant twists, of the parabolic subgroups of the finite general linear group GL_n(q) acting on the tensor product of the symmetric algebra and the exterior algebra of the natural…

A non-zero element of the Lie algebra $\mathfrak{se}(3)$ of the special Euclidean spatial isometry group $SE(3)$ is known as a {\em twist} and the corresponding element of the projective Lie algebra is termed a {\em screw}. Either can be…

For a group $G,$ let $\Gamma(G)$ denote the graph defined on the elements of $G$ in such a way that two distinct vertices are connected by an edge if and only if they generate $G$. Moreover let $\Gamma^*(G)$ be the subgraph of $\Gamma(G)$…

In this paper, we prove two structure theorems for twisted Chevalley groups $G_\sigma (R)$ over a commutative ring $R$ with unity. The first theorem concerns the normality of $E'_\sigma (R,J)$, the elementary congruence subgroups at level…

A beautifully simple free generating set for the commutator subgroup of a free group was constructed by Tomaszewski. We give a new geometric proof of his theorem, and show how to give a similar free generating set for the commutator…

We write $\mathbb P$ for the polynomial algebra in one variable over the finite field $\mathbb Z_2$ and $\mathbb P^{\otimes t} = \mathbb Z_2[x_1, \ldots, x_t]$ for its $t$-fold tensor product with itself. We grade $\mathbb P^{\otimes t}$ by…

We study subgroups of the mapping class group of the torus generated by powers generated by powers of Dehn twists. We give a criterion to show when a collection of powers Dehn twists generates a free group using the ping pong lemma. We show…

Suppose a residually finite group $G$ acts cocompactly on a contractible complex with strict fundamental domain $Q$, where the stabilizers are either trivial or have normal $\mathbb{Z}$-subgroups. Let $\partial Q$ be the subcomplex of $Q$…

We prove that for any genus g>1, the subgroup K_g of the mapping class group of a closed genus g surface generated by Dehn twists about separating curves is not finitely generated.

We present a classification of finite $p$-groups $G$ with $\gamma_2(G)$, the commutator subgroup of $G$, of order $p^4$ and exponent $p$ such that not all elements of $\gamma_2(G)$ are commutators.

A II$_1$ factor $M$ has the {\it stable single generation} ({\it SSG}) property if any amplification $M^t$, $t>0$, can be generated as a von Neumann algebra by a single element. We discuss a conjecture stating that if $M$ is SSG, then $M$…

Four circulant codes form a special class of $2$-generator, index $4$, quasi-cyclic codes. Under some conditions on their generator matrices they can be shown to be self-dual. Artin primitive root conjecture shows the existence of an…

For a group $A$ acting by automorphisms on a group $G$, let $I_G(A)$ denote the set of commutators $[g,a]=g^{-1}g^a$, where $g\in G$ and $a\in A$, so that $[G,A]$ is the subgroup generated by $I_G(A)$. We prove that if $A$ is a $\pi$-group…

The number of subgroups and the number of cyclic subgroups are natural combinatorial invariants of a finite group. We investigate how restrictions on these quantities, together with the number of distinct prime divisors of $|G|$, enforce…

We introduce a new class of 2-cocycles defined explicitly on the generators of certain multiparameter standard quantum groups. These allow us, through the process of twisting the familiar standard quantum groups, to generate new as well as…