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]

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]

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]

Let $\mathbb{K}$ be a number field, Γ a finitely generated subgroup of $\mathbb{K}$*, for instance the unit group of $\mathbb{K}$, and κ>0. For an ideal $\mathfrak{a}$ of $\mathbb{K}$ let indΓ($\mathfrak{a}$]>) denote the multiplicative index of the reduction of “ in