Related papers: One Powell generator is redundant

In 1980 J. Powell proposed that, for every genus $g$, five specific elements suffice to generate the Goeritz group $\mathcal {G}_g$ of genus $g$ Heegaard splittings of $S^3$. Powell's Conjecture remains undecided for $g \geq 4$. Let…

In 1980 J. Powell \cite{Po} proposed that five specific elements sufficed to generate the Goeritz group for any genus Heegaard splitting of the 3-sphere. Here we prove that a natural expansion of Powell's proposed generators, to include all…

In 1980 J. Powell proposed that five specific elements sufficed to generate the Goeritz group of any Heegaard splitting of $S^3$, extending work of Goeritz on genus $2$ splittings. Here we prove that Powell's conjecture was correct for…

The Powell Conjecture states that the Goeritz group of the Heegaard splitting of the $3$-sphere is finitely generated; furthermore, four specific elements suffice to generate the group. Zupan demonstrated that the conjecture holds if and…

For a genus $g$ Heegaard splitting of the $3$-sphere, the Goeritz group is defined to be the group of isotopy classes of diffeomorphisms of the $3$-sphere that preserve the splitting setwise. In this paper, we prove the following conjecture…

A specific set of 4g+1 elements is shown to generate the Goeritz group of the genus g+1 Heegaard splitting of a genus g handlebody. These generators are consistent with Powell's proposed generating set for the Goeritz group of the genus g+1…

In our previous version entitled ``The reducing sphere complexes for the 3-sphere are connected: a proof of the Powell Conjecture", we claimed to prove the Powell Conjecture, which states that the Goeritz group of the genus-$g$ Heegaard…

The Powell Conjecture offers a finite generating set for the genus $g$ Goeritz group, the group of automorphisms of $S^3$ that preserve a genus $g$ Heegaard surface $\Sigma_g$, generalizing a classical result of Goeritz in the case $g=2$.…

Let $p$ be a prime number, $F$ a field of characteristic $p$, and $G$ a cyclic group of order $q =p^a$ for some positive integer $a$. Under these circumstances every indecomposable $F G$-module is cyclic. For indecomposable $F G$-modules…

Let $F$ be a field and let $E$ be an \'etale algebra over $F$, that is, a finite product of finite separable field extensions $E = F_1 \times \dots \times F_r$. The classical primitive element theorem asserts that if $r = 1$, then $E$ is…

Let $F$ be a field of non-zero characteristic $p$, let $G$ be a cyclic group of order $q =p^a$ for some positive integer $a$, and let $U$ and $W$ be indecomposable $F G$-modules. We identify a generator for each of the indecomposable…

An updated proof of a 1933 theorem of Goeritz, exhibiting a finite set of generators for the group of automorphisms of the 3-sphere that preserve a genus two Heegaard splitting. The group is analyzed via its action on a certain connected…

It is well known that, in general, the set of commutators of a group $G$ may not be a subgroup. Guralnick showed that if $G$ is a finite $p$-group with $p\ge 5$ such that $G'$ is abelian and $3$-generator, then all the elements of the…

The Goeritz group of the standard genus-g Heegaard splitting of the three sphere, $G_g$, acts on the space of isotopy classes of reducing spheres for this Heegaard splitting. Scharlemann MR2199366 (2007c:57020) uses this action to prove…

A Sylow p-subgroup P of a finite group G is called redundant if every p-element of G lies in a Sylow subgroup different from P. Generalizing a recent theorem of Mar\'oti--Mart\'inez--Moret\'o, we show that for every non-cyclic p-group P…

We give two criteria for diagrams of Heegaard splittings of 3-manifolds. Weaker one of them guarantees that the splitting is strongly irreducible, and the stronger one guarantees in addition that the Goeritz group is finite. They are…

A group $G$ is said to be $\frac{3}{2}$-generated if every nontrivial element belongs to a generating pair. It is easy to see that if $G$ has this property then every proper quotient of $G$ is cyclic. In this paper we prove that the…

Letting $G=F/R$ be a finitely-presented group, Hopf's formula expresses the second integral homology of $G$ in terms of $F$ and $R$. Expanding on previous work, we explain how to find generators of $H_2(G;\mathbb{F}_p)$. The context of the…

A subset of a group invariably generates the group if it generates even when we replace the elements by any of their conjugates. In a 2016 paper, Pemantle, Peres and Rivin show that the probability that four randomly selected elements…

Julius Whiston and Jan Saxl showed that the size of an irredundant generating set of the group G=PSL(2,p) is at most four and computed the size m(G) of a maximal set for many primes. We will extend this result to a larger class of primes,…