Search

We study the free group of rank two from the point of view of Stallings core graphs. The first half of the paper examines primitive elements in this group, giving new and self-contained proofs for various known results about them. In particular, this includes the classification of bases of this group. The second half of the paper is devoted to constructing a counterexample to a conjecture by Miasnikov, Ventura and Weil, which seeks to characterize algebraic extensions in free groups in terms of Stallings graphs. [ABSTRACT FROM AUTHOR]

The hyperelliptic Torelli group is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface and that also commute with some fixed hyperelliptic involution. Putman and the authors proved that this group is generated by Dehn twists about separating curves fixed by the hyperelliptic involution. In this paper, we introduce an algorithmic approach to factoring a wide class of elements of the hyperelliptic Torelli group into such Dehn twists, and apply our methods to several basic types of elements. As one consequence, we answer an old question of Dennis Johnson. [ABSTRACT FROM PUBLISHER]

In this paper we study the class numbers in the finite layers of certain non-cyclotomic $\mathbb{Z}$p-extensions of the imaginary quadratic field $\mathbb{Q}(\sqrt{-1})$, for all primes p ≡ 1 modulo 4. By studying the Mahler measure of elliptic units, we are able to show that there are only finitely many primes ℓ congruent to a primitive root modulo p2 that divide any of the class numbers in the $\mathbb{Z}$p-extension. [ABSTRACT FROM AUTHOR]

In Frobenius' initial papers on group characters he introduced k-characters in order to give an algorithm to calculate the irreducible factors of the group determinant. We show how his work leads naturally to the construction of a formal power series for any class function on a group, which terminates if and only if the class function is a character. This is then used to obtain a criterion for a class function to be a character. [ABSTRACT FROM PUBLISHER]

AbstractIn this paper we describe methods for dealing with the trace spectrum of a subgroup of PSL(2, $\mathbb{R}$) generated by four elliptic elements ?, ?, ?, ? of respective orders 2, 2, 3, 3, satisfying ???? = 1. We give a parametrization and a fundamental domain in the parameter space of such groups. Furthermore we construct an algorithm that decides whether or not a given group is discrete and which moves the discrete groups into the fundamental domain. Our main result is that any two discrete such groups are isospectral if and only if they are conjugate in (2, $\mathbb{R}$).In the Appendix we consider pairs of subgroups of (2, $\mathbb{R}$) that arise from non-conjugate maximal orders in a quaternion algebra over a number field. We show that for the isospectrality of such pairs there is a peculiar exception in the case where the groups contain elements of both orders 2 and 3. [ABSTRACT FROM AUTHOR]