Citation
Hanlon, Phil (1981) Applications of the quaterions to the study of imaginary quadratic ring class groups. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd04122004144125
Abstract
NOTE: Text or symbols not renderable in plain ASCII are indicated by [...]. Abstract is included in .pdf document.
Let m = [...] where [...] is a squarefree positive integer and m is congruent to 1 or 2 mod 4. A theorem of Gauss (see [5]) states that the number of ways to write m as a sum of 3 squares is 12 times the size of the ring class group with discriminant 4m in the field [...]. The proof given by Gauss involves the arithmetic of binary quadratic forms; Venkow (see [12]) obtained an alternative proof by embedding the field [...] in the quaternion algebra over [...]. This thesis takes Venkow's proof as its starting point. We prove several further facts about the correspondence established by Venkow and apply these results to the study of imaginary quadratic ring class groups.
Let H denote the quaternion algebra over [...], let E denote the maximal order in H and let U denote the group of 24 units in E. Let [...] be the set of quaternions in E with trace 0 and norm m. The group U acts on [...] by conjugation; let [...] denote the set of orbits of [...] under the action of U. For [...] we let [u,v,w] denote the orbit containing [...].
Venkow proved Gauss's result by defining a sharply transitive action of [...], the ring class group with discriminant 4m, on B(m). In chapter 2 we establish some more subtle properties of this action. The prime 2 ramifies in the extension [...] and its prime divisor [...] is a regular ideal with respect to the discriminant 4m. It is shown that the class containing [...] maps [u,v,w] to [u,w,v]. It is shown that if an ideal class [...] maps [r,s,t] to [u,v,w] then the class [...] maps [r,s,t] to [u,v,w]. From these two facts, several results follow. If [...] maps [r,s,o] to [u,v,w] then [...] has order 2 iff[sic] one of u, v or w is 0. If C maps [r,s,o] to [u,v,v] then [...] has order 4 and the class [...] contains [...]. If [...] maps [r,s,o] to [u,v,w] then [...] maps [r,s,o] to [u,v,w]. If m can be written as a sum of two squares then a class [...] is the square of another class (i.e. [...] is in the principal genus) if [...] maps some bundle [u,v,w] to [u,v,w].
We apply these results to the following problem; given an odd prime p and an odd integer n, in which ring class groups are the prime divisors of p regular ideals in classes of order n? It is shown that the number of such ring class groups having discriminant 4m where m is a sum of two squares is related to the class number h(4p) of the field [...]. For n = 3 the number is given by [...]. Here f(p) is the number of ways to write p as a sum of 4 squares plus the number of ways to write 4p as a sum of 4 odd squares. A simple algorithm for producing the discriminants of all such ring class groups is given. Similar, but more complicated formulas hold for odd numbers n greater than 3.
Item Type:  Thesis (Dissertation (Ph.D.)) 

Degree Grantor:  California Institute of Technology 
Division:  Physics, Mathematics and Astronomy 
Major Option:  Mathematics 
Thesis Availability:  Public (worldwide access) 
Research Advisor(s): 

Thesis Committee: 

Defense Date:  15 May 1981 
Record Number:  CaltechETD:etd04122004144125 
Persistent URL:  http://resolver.caltech.edu/CaltechETD:etd04122004144125 
Default Usage Policy:  No commercial reproduction, distribution, display or performance rights in this work are provided. 
ID Code:  1351 
Collection:  CaltechTHESIS 
Deposited By:  Imported from ETDdb 
Deposited On:  14 Apr 2004 
Last Modified:  26 Dec 2012 02:37 
Thesis Files

PDF (Hanlon_p_1981.pdf)
 Final Version
See Usage Policy. 2326Kb 
Repository Staff Only: item control page