Traces in Arithmetic Fuchsian Groups
โ Scribed by Stefan Johansson
- Publisher
- Elsevier Science
- Year
- 1997
- Tongue
- English
- Weight
- 397 KB
- Volume
- 66
- Category
- Article
- ISSN
- 0022-314X
No coin nor oath required. For personal study only.
โฆ Synopsis
Let A be a quaternion algebra over an algebraic number field F of degree n over
the set of traces of the elements in O 1 and T O (r)=[t # T O : 0 t 2r]. The first purpose of this paper is to show that lim r ร |T O (r)| r = 2 2n&1 -D F p | d(O) m p (O), where D F is the discriminant of F, d(O) is the (reduced) discriminant of O, and m p (O) only depends on the completion O p of O for nonzero prime ideals p dividing d(O). We also calculate the invariants m p (O) for important families of orders.
๐ SIMILAR VOLUMES
In 1988, S. White proved by means of field theory supplemented by a geometric d ลฝ . argument that the real bijections x ยฌ x q 1 and x ยฌ x d an odd prime generate a free group of rank 2. When these maps are considered in prime ลฝ . characteristic p so that x ยฌ x q 1 generates a cyclic group of order p
We investigate the provability of some properties of abelian groups and quadratic residues in variants of bounded arithmetic. Speci cally, we show that the structure theorem for nite abelian groups is provable in ), and use it to derive Fermat's little theorem and Euler's criterion for the Legendre