THE AUTOMORPHISM GROUP FOR p-central p-groups. Communicated by Alireza Abdollahi. 1. Introduction

Size: px
Start display at page:

Download "THE AUTOMORPHISM GROUP FOR p-central p-groups. Communicated by Alireza Abdollahi. 1. Introduction"

Transcription

1 International Journal of Grou Theory ISSN (rint): , ISSN (on-line): Vol 01 No2 (2012), c 2012 University of Isfahan wwwtheoryofgrousir wwwuiacir THE AUTOMORPHISM GROUP FOR -CENTRAL -GROUPS ANITHA THILLAISUNDARAM Communicated by Alireza Abdollahi Abstract A -grou G is -central if G (G), and G is 2 -abelian if (xy) 2 = x 2 y 2 for all x, y G We rove that for G a finite 2 -abelian -central -grou, excluding certain cases, the order of G divides the order of Aut(G) 1 Introduction The following conjecture has been the subject of much debate over the ast forty years or so For G a grou, we denote the grou of automorhisms of G by Aut(G) Here G denotes the order of the grou G Well-known Conjecture For G a non-cyclic -grou of order n with n 3, G divides Aut(G) Results in favour of the conjecture have been made by Buckley [1]; Davitt [2, 3, 4, 5]; Exarchakos [6]; Faudree [7]; Fouladi, Jamali & Orfi [8]; Gaschütz [9]; Gavioli [10]; Hummel [12]; Otto [4, 5, 14]; and Yadav [18] See Result A below for further details I aologise if I have unknowingly omitted other references Notice that each non-central element g of G induces a non-trivial automorhism of G via conjugation This defines an inner automorhism of G Inn(G) denotes the subgrou of inner automorhisms of G, which is normal in Aut(G) The non-inner automorhisms are called outer automorhisms They MSC(2010): Primary: 20D15; Secondary: 20D45 Keywords: automorhism grou, -central, 2 -abelian Received: 09 December 2011, Acceted: 15 March

2 60 A Thillaisundaram are elements in Aut(G) Inn(G) of G by Out(G) and so are defined modulo Inn(G) We denote the grou of outer automorhisms Certainly as Inn(G) = G (G), we can rehrase the question to whether or not (G) divides Out(G) The conjecture has been established to be true for several classes of -grous, as listed below in Result A We note that a grou G is the central roduct of two subgrous H and K if (a) [H, K] = 1, (b) G = HK, and (c) H K = (G); and a grou is modular if each subgrou commutes with every other subgrou, ie for H, K G, we have HK = KH Result A The conjecture holds for the following finite -grous: -abelian -grous [2]; -grous of class 2 [7]; -grous of maximal class (or coclass 1) [14]; -grous of coclass 2 [8]; -grous with centre of order [9]; -grous of order at most 7 [3, 6, 10]; modular -grous [4]; -grous with G (G) metacyclic [5]; -grous with G (G) 4 [3]; G = A B where A is abelian and B divides Aut(B) [14]; G a central roduct of non-trivial subgrous H and A, where A is abelian and H divides Aut(H) [12]; G with a non-trivial normal subgrou N such that N [G, G] = 1, and G N divides Aut( G N ) [1]; G such that x(g) x G for all x G\(G), where x G denotes the conjugacy class of x in G [18] For n N, we have G {n} = {x n x G} and G n = G {n} We define the centre of G as (G) = { x G x 1 gx = g for all g G } We say that a -grou G is -central if G (G) We define G to be 2 -abelian if for all x, y G, we have (xy) 2 = x 2 y 2 In this aer, we rove the conjecture for 2 -abelian -central -grous Theorem 11 For an odd rime, let G be a non-abelian 2 -abelian -central -grou, with G 3 Suose that the centre (G) of G is of the form (G) = e 1 en where 3 e 1 e n and n 3 Then G divides Aut(G) As -abelian grous are 2 -abelian, Theorem 11 artially generalizes the fact that -abelian -grous satisfy the conjecture An examle of a 2 -abelian -central -grou, that is not itself -abelian, is the

3 Automorhisms of -Central -Grous 61 wreath roduct W = C C, which is of exonent 2 From ([13], Examles 315(iii)), we know that W is of order +1 with maximal class and is not regular A result from [17] says that -grous of maximal class with order n, where 4 n + 1, are -central Also, we have an equivalence from [17] that a -grou is -abelian if and only if it is -central and regular Using these two facts, we confirm that W is 2 -abelian -central and not -abelian In the following, we rove Theorem 11, using results on extending automorhisms of subgrous (by Passi, Singh & Yadav [15]) and on counting automorhisms of abelian -grous (by Hillar & Rhea [11]) This aer is an extract from my PhD thesis under the suervision of Rachel Camina 2 Proof of Theorem 11 Let G be a 2 -abelian -central -grou and denote (G) by simly Let Out(G) denote the largest ower of that divides Out(G) This corresonds to the order of a Sylow -subgrou of Out(G) To rove the theorem, as Inn(G) = G, it suffices to show that Out(G) Let E : 1 N G Q 1 be an extension of the grou N by the grou Q Note: if N, then E is termed a central extension Here Aut G (G) is the subgrou of automorhisms of G that induce the identity on G For N normal in G, we define Aut N (G) to be the subgrou of automorhisms of G that normalize N Our lan is to comute a lower bound for the size of a Sylow -subgrou of Out(G) To do this, we choose to consider elements of Aut() that extend to elements of Aut G (G) Naturally any such extension of a non-identity automorhism of is non-inner Such extendable elements of Aut() are determined by the following result t : Q G is a left transversal, and µ : Q Q N is defined by t(xy)µ(x, y) = t(x)t(y) Also, N Q denotes the grou of all mas ψ from Q to N such that ψ(1) = 1 In the following, Lemma 21 [15] Let 1 N G Q 1 be a central extension Using the notation above, if γ Aut N (G), then there exists a trilet (θ, φ, χ) Aut(N) Aut(Q) N Q such that for all x, y Q and n N the following conditions are satisfied: (1) γ(t(x)n) = t(φ(x))χ(x)θ(n),

4 62 A Thillaisundaram (2) µ(φ(x), φ(y))θ(µ(x, y) 1 ) = χ(x) 1 χ(y) 1 χ(xy) Conversely, if (θ, φ, χ) Aut(N) Aut(Q) N Q is a trilet satisfying equation (2), then γ defined by (1) is an automorhism of G normalizing N We take N =, Q = G in the lemma above It is clear from equation (1) of Lemma 21 that when φ = 1, the automorhism γ induces the identity on G So we set φ = 1 Given a suitable θ Aut(), we construct the required χ to satisfy: (21) µ(x, y)θ(µ(x, y) 1 ) = χ(x) 1 χ(y) 1 χ(xy) In [11], Hillar and Rhea give a useful descrition of the automorhism grou of an arbitrary abelian -grou, and they comute the size of this automorhism grou We sketch their results here The first comlete characterization of the automorhism grou of an abelian grou was, however, given by Ranum [16] We will use Hillar and Rhea s account to characterize Aut() First, we set u the relevant notation and results leading to our desired descrition We begin with an arbitrary abelian -grou H, where H = and 1 e 1 e n are ositive integers e 1 en Hillar and Rhea first describe End(H ), the endomorhism ring of H, as a quotient of a matrix subring of n n Then, as we will see below, the units Aut(H ) End(H ) are characterized from this descrition An element of H is reresented by a column vector (α 1,, α n ) T where α i Definition 22 ([11], Definition 31) by e i R = {(a ij ) n n : e i e j a ij for all i and j satisfying 1 j i n} From [11], we have that R forms a ring Let π i : e i be defined by x x mod e i Let π : n H be the homomorhism given π(x 1,, x n ) T = (π 1 (x 1 ),, π n (x n )) T Here is the descrition of End(H ) as a quotient of the matrix ring R Theorem 23 [11] The ma ψ : R End(H ) given by is a surjective ring homomorhism ψ(a)(α 1,, α n ) T = π(a(α 1,, α n ) T ) Let K be the set of matrices A = (a ij ) R such that e i a ij for all i, j This forms an ideal

5 Automorhisms of -Central -Grous 63 Lemma 24 [11] The ideal K, as defined above, is the kernel of ψ Theorem 23 and Lemma 24 give that End(H ) is isomorhic to R K For more details, the reader is referred to [11] The following is a comlete descrition of Aut(H ) Theorem 25 ([11], Theorem 36) An endomorhism M = ψ(a) is an automorhism if and only if A(mod ) GL n (F ) Hillar and Rhea illustrate how to calculate Aut(H ), which is resented in the theorem below First, the following numbers are defined: d k = max{m : e m = e k }, c k = min{m : e m = e k } Since e m = e k for m = k, we have the two inequalities d k k and c k k and Note that etc So we have c 1 = c 2 = = c d1, c d1 +1 = = c dd1 +1, c 1 = = c d1 < c d1 +1 = = c dd1 +1 < c d d = We introduce the numbers e i, C i, D i as follows Define the set of distinct numbers {e i } such that {e i} = {e j } and e 1 < e 2 < Let l N be the size of {e i } So e 1 = e 1, e 2 = e d 1 +1,, e l = e n Now define D i = max{m : e m = e i} for 1 i l and C i = min{m : e m = e i} for 1 i l Note that C 1 = 1 and D l = n For convenience, we also define C l+1 = n + 1 Theorem 26 ([11], Theorem 41) The abelian grou H = / e 1 / en has n n n Aut(H ) = ( d k k 1 ) ( e j ) n d j ( ei 1 ) n ci+1 k=1 j=1 Proof Their calculation involves finding all elements of R that are invertible modulo, and comuting the distinct ways of extending such elements to automorhisms of the grou

6 64 A Thillaisundaram So, we need to count all matrices M R that are invertible modulo These M are uer block triangular matrices which may be exressed in the following three forms M = m 11 m D1 1 m D1 D 1 m C2C2 m D2 C 2 2 m Cl C l or M = 0 m Dl C l m Dl D l m 11 m 12 m 1n m d1 1 m d2 2 = m 2c2 0 m ncn m nn m 1c1 The number of such M is 0 m dnn n ( d k k 1 ), k=1 since we require linearly indeendent columns So the first ste to calculating Aut(H ) is done The second half of the comutation is to count the number of extensions of M to Aut(H ) To extend each entry m ij from m ij to a ij e i ej (if e i > e j ), or a ij e i (if e i e j ), such that a ij m ij (mod ), we have e j ways to do so for the necessary zeros (that is, when e i > e j ), as any element of e i ej e i works Similarly, there are ei 1 ways for the not necessarily zero entries (that is, when e i e j ), as any element of e i will do e i We aly Hillar and Rhea s method to M = I n n We consider all extensions of I n n to Aut() Using Lemma 21, we identify which of these elements of Aut() can be extended to Aut G (G) To this end, we rove the following Proosition 27 Let G be a finite non-abelian 2 -abelian -central -grou Suose = (G) = e 1 e 2 en where 2 e 1 e 2 e n and n N Let θ Aut() be such that:

7 Automorhisms of -Central -Grous 65 (a) θ is reresented as a matrix A R ; (b) A(mod ) I n n ; (c) a ij 0 mod e i e j +2 for i j with e i e j, and a ii 1 mod 2 Then θ can be extended to θ Aut G (G) Proof By Lemma 21, we know that θ Aut() can be extended to Aut(G) if there exist φ and χ such that condition (2) of the lemma holds Our strategy is to take φ = 1 and to construct a suitable χ Recall equation (21): µ(x, y)θ(µ(x, y) 1 ) = χ(x) 1 χ(y) 1 χ(xy) We aim to construct χ such that equation (21) is satisfied We exress as where {z 1,, z n } generates z 1 z 2 z n = e 1 e 2 en Before we rove that a general θ Aut() which satisfies (a) to (c) can be extended to θ in Aut(G), we illustrate our method by considering the following automorhism θ 0 (in its matrix reresentation): ϕ(θ 0 ) = A 0 = The automorhism θ 0 clearly satisfies our conditions (a) to (c) Writing µ(x, y) as z α 1 1 zα 2 2 zαn n for α i e i, we have that θ 0(µ(x, y)) is given by α α 1 α α 2 A 0 = which translates to α n The left-hand side of (21) is then (1 + 2 )α 1 (1 + 2 )α 2 =, (1 + 2 )α n z (1+2 )α 1 1 z (1+2 )α n n (z α 1 1 z α 2 2 z αn n ) 2 = (µ(x, y) 1 ) 2 α n

8 66 A Thillaisundaram As µ(x, y) = t(xy) 1 t(x)t(y), we see that by the 2 -abelian and the -central roerties, (22) µ(x, y) 2 = t(x) 2 t(y) 2 t(xy) 2 So setting χ 0 (x) = t(x) 2 (and θ 0 (z) = z 1+2 ) works as (21) is fulfilled Note that χ 0 is defined on Q as required Thus θ 0 can be extended to θ 0 Aut G (G) We now consider a general element θ satisfying conditions (a) to (c) We may exress θ as the matrix A below: where r i 2 and s i 1 + s 1 r 1 a 12 a 1n a s 2 r 2 A =, an 1,n a n1 a n,n s n rn e i r i, and for i j, { } 0 mod if ei < e j a ij 0 mod e i e j +2 if e i e j Recall that µ(x, y) = z α 1 1 zα 2 2 zαn n, and the left-hand side of (21) is µ(x, y)θ(µ(x, y) 1 ) The left-hand side of (21) is now (z α 1s 1 r 1 1 z αnsnrn n ) [ z (a 12α 2 ++a 1n α n) 1 ] [ z (a n1α 1 ++a n,n 1 α n 1 ) n ] Now we set u the reliminaries for constructing χ We note that t(x), as G is -central So we may write for some β i for some γ i t(x) = z β 1 1 zβn n e i Similarly we have t(y) = z γ 1 1 zγn n e i, and t(xy) = z δ 1 1 zδn n for some δ i e i Again we consider equation (22) In terms of z 1,, z n, we have We note that for each i = 1,, n, z α zn αn2 = (z β 1 1 zn βn )(z γ 1 1 zn γn = z (β 1+γ 1 +δ 1 ) 1 z (βn+γn+δn) n (23) α i 2 = (β i + γ i + δ i ) + k i e i for some k i )(z δ 1 n ) 1 z δn We construct χ, which is deendent on β i, γ i, δ i, as the comosition of the two mas below:

9 Automorhisms of -Central -Grous 67 and x t(x) = z β 1 1 zβn n, side [ (z β 1s 1 r zn βnsnrn 1 ) Note again that χ is defined on Q z β 1 1 zβn n z ( a 12 1 β 2++ a 1n β n) ] [ z ( a n1 β 1++ a n,n 1 β n 1 ) n Using (23), we check that the right-hand side of (21) matches the reviously comuted left-hand The right-hand side of (21) is χ(x) 1 χ(y) 1 χ(xy) ] ( a12 β 2++ a 1n β n) ( an1 β 1++ a n,n 1 β n 1 ) = (z β 1s 1 r zn βnsnrn 1 ) [z1 ] [zn ] ( a12 γ 2++ a 1n γ n) ( an1 γ 1++ a n,n 1 γ n 1 ) (z γ 1s 1 r zn γnsnrn 1 ) [z1 ] [zn ] ( a12 δ 2++ a 1n δ n) (z δ 1s 1 r zn δnsnrn 1 ) [z1 ] [z an1 ( δ 1++ a n,n 1 δ n 1 ) n ] [z ( a 12 (β 2+γ 2 +δ 2 )++ a 1n (β n+γ n+δ n) = (z (β 1+γ 1 +δ 1 )s 1 r z (βn+γn+δn)snrn 1 n ) ( an1 (β 1+γ 1 +δ 1 )++ a n,n 1 (β n 1 +γ n 1 +δ n 1 ) 1 ] [zn ] Substituting (23) β i + γ i + δ i = α i k i e i 1 into the above gives the following (z (α 1 k 1 e 1 1 )s 1 r z (αn knen 1 )s n rn 1 n ) [z a 12 (α 2 k 2 e 2 1 )++ a 1n (α n k n en 1 ) 1 ] [z an1 (α 1 k 1 e 1 1 )++ a n,n 1 (α n 1 k n 1 e n 1 1 ) n ] We simlify the above using the following facts: (i) o(z i ) = e i and r i 2; (ii) a ij e j 2 0 mod e i for i j So the right-hand side of (21) is now [ (z α 1s 1 r 1 1 zn αnsnrn ) z (a 12α 2 ++a 1n α n) 1 ] [ z (a n1α 1 ++a n,n 1 α n 1 ) n ] and this matches the left-hand side of (21), as required

10 68 A Thillaisundaram Now, we calculate all such matrices in R satisfying conditions (a) to (c) in Proosition 27, as these extend to distinct elements in Aut G (G) We recall the general form of a matrix in R Note the l vertical and l horizontal blocks in the matrix, corresonding to the set {e i : 1 i l} m 11 m D1 1 m D1 D 1 m C2C2 m D2 C 2 2 m Cl C l 0 m Dl C l m Dl D l For the diagonal entries we have 2 e 1 2 en = choices When e i < e j, we have ei 1 choices as any element of e i works When e i = e j and i j, we have ei 2 choices as any element of 2 e i works For each row i, we have n C i off-diagonal entries which corresond to e i e j Of these C i+1 C i 1 corresond to e i = e j and n C i corresond to e i < e j So the number of choices (groued according to the l blocks) for these entries is ( e i 1 ) (n C i+1+1)(c i+1 C i ) ( e i 2 ) (C i+1 C i 1)(C i+1 C i ) When e i > e j, there are ej 2 choices as any element of e i e j +2 e i works For each column j, there are n D j entries corresonding to e i > e j So the number of choices for these entries is ( e j 2 ) (n D j)(c j+1 C j ) = j=1 This enables us to rove the following lemma ( e j 2 ) (n C j+1+1)(c j+1 C j ) j=1 Lemma 28 Using the notation from before, for e 1 2, Aut G (G) ( e i 1 ) (n C i+1+1)(c i+1 C i ) ( e i 2 ) (n C i)(c i+1 C i ) Furthermore, the non-trivial automorhisms calculated above are all non-inner automorhisms

11 Automorhisms of -Central -Grous 69 Proof The number of extensions θ Aut G (G) from Proosition 27 is ( e i 1 ) (n C i+1+1)(c i+1 C i ) which simlifies to Therefore ( e i 2 ) (C i+1 C i 1)(C i+1 C i ) ( e i 1 ) (n C i+1+1)(c i+1 C i ) Aut G (G) ( e i 2 ) (n C i+1+1)(c i+1 C i ), ( e i 2 ) (n C i)(c i+1 C i ) ( e i 1 ) (n C i+1+1)(c i+1 C i ) ( e i 2 ) (n C i)(c i+1 C i ) It is clear that all the automorhisms θ as in Proosition 27 are non-inner, since θ acts non-trivially on It remains to show that these non-inner automorhisms have order a ower of Denote by P this finite set of non-inner automorhisms; more recisely, P = { θ Aut G (G) θ := θ satisfies (a) to (c) of Proosition 27} It is sufficient to show that P is a subgrou, as then it follows that every element of P has th ower order since P is a -grou To rove that we have a subgrou, we need to show that P is multilicatively closed That is, for θ 1, θ 2 P, the comosite θ 1 θ 2 P It is enough to consider the restriction to Aut() since P is characterized by conditions (a) to (c) on Aut() We have θ 1, θ 2 Aut() such that θ 1 = θ 1 and θ 2 = θ 2 Working with the matrix reresentations, we note that θ 1, θ 2 satisfy conditions (a) to (c) of Proosition 27 Let ϕ(θ 1 ) = (a ij ) and ϕ(θ 2 ) = (b ij ) Then ϕ(θ 1 θ 2 ) = ϕ(θ 1 )ϕ(θ 2 ) = (c ij ) where c ij = k a ikb kj It is immediate that ϕ(θ 1 ) ϕ(θ 2 ) R since R is a ring So (a) is satisfied for θ 1 θ 2 Using the exression for c ij, it is clear that (b) is satisfied for θ 1 θ 2 For (c), we consider c ij for three cases: (1) i < j, (2) i = j and (3) i > j Case (1) We have i < j and so e i e j We write c ij = a ik b kj + a ik b kj + a ik b kj k i i<k<j k j If e i < e j, we need to show that c ij 0 mod As a ij and b ij for i j, it is straightforward that c ij 0 mod If e i = e j, we need to show that c ij 0 mod 2 Again as a ij and b ij for i j, we have that c ij a ii b ij + a ij b jj mod 2 We further have that 2 a ij and 2 b ij since e i = e j So c ij 0 mod 2, as required

12 70 A Thillaisundaram Case (2) We have i = j, and so c ii = a ik b ki + a ii b ii + a ik b ki k<i k>i We need to show that c ii 1 mod 2 As before, c ii a ii b ii mod 2 Since a ii 1 mod 2 and b ii 1 mod 2, we have that c ii 1 mod 2, as required Case (3) Here i > j and hence e i e j We write c ij = a ik b kj + a ij b jj + a ik b kj + a ii b ij + a ik b kj k<j j<k<i k>i For k < j, we have e i e j +2 divides e i e k +2, which in turn divides a ik Similarly for k > i, we have e i e j +2 divides e k e j +2, which divides b kj For k = j, we have e i e j +2 divides a ij Similarly for k = i, we have e i e j +2 divides b ij For j < k < i, we have e i e k +2 divides a ik and e k e j +2 divides b kj So e i e j +4 divides a ik b kj Therefore c ij 0 mod e i e j +2 as required So (c) is satisfied for θ 1 θ 2 Thus θ 1 θ 2 P Therefore, P is a subgrou as required PROOF OF THEOREM 11 We recall that we need Out(G) to rove the theorem, we now analyse our lower bound for Out(G), as given in Lemma 28 As e 1 > 2, we have Out(G) = ( 2 ) (n C i+1+1)(c i+1 C i ) (n C i+1+1)(c i+1 C i ) = (n C i+1+1)(c i+1 C i ) (n C i+1+1)(c i+1 C i ) (C i+1 C i )(2n+1) (C 2 i+1 C2 i ) = (2n+1)(C l+1 C 1 ) (C 2 l+1 C2 1 ) = n2 3n As n 3, we have that Out(G) as required Acknowledgments (n C i)(c i+1 C i ) (n C i)(c i+1 C i ) (C i+1 C i )[2n+1 (C i+1 +C i )] I am very grateful to Rachel Camina for her time and helful comments Also thank you to Chris Brookes and to Gavin Armstrong for a thorough reading of this work This research has been made ossible through the generous suort from the Cambridge Commonwealth Trust, the Cambridge Overseas Research Scholarshi, and the Leslie Wilson Scholarshi (from Magdalene College, Cambridge)

13 Automorhisms of -Central -Grous 71 References [1] J Buckley, Automorhism grous of isoclinic -grous, J London Math Soc (2) 12 (1975), [2] R M Davitt, The automorhism grou of finite -abelian -grous, Illinois J Math 16 (1972), [3] R M Davitt, On the automorhism grou of a finite -grou with a small central quotient, Canad J Math 32 (1980), [4] R M Davitt & A D Otto, On the automorhism grou of a finite modular -grou, Proc Amer Math Soc, vol 35, no 2 (1972), [5] R M Davitt & A D Otto, On the automorhism grou of a finite -grou with the central quotient metacyclic, Proc Amer Math Soc, vol 30, no 3 (1971), [6] T Exarchakos, On -grous of small order, Publ Inst Math (Beograd) (N S) 45 (59) (1989), [7] R Faudree, A note on the automorhism grou of a -grou, Proc Amer Math Soc 19 (1968), [8] S Fouladi, A R Jamali & R Orfi, Automorhism grous of finite -grous of coclass 2, J Grou Theory 10, no 4 (2007), [9] W Gaschütz, Nichtabelsche -Gruen besitzen äussere -Automorhismen (German), J Algebra 4 (1966), 1-2 [10] N Gavioli, The number of automorhisms of grous of order 7, Proc Roy Irish Acad Sect A 93, no 2 (1993), [11] C J Hillar & D L Rhea, Automorhisms of finite abelian grous, Amer Math Monthly 114, no 10 (2007), [12] K G Hummel, The order of the automorhism grou of a central roduct, Proc Amer Math Soc, vol 47, no 1 (1975), [13] C R Leedham-Green & S McKay, The Structure of Grous of Prime Power Order, London Mathematical Society Monograhs New Series 27, Oxford Science Publications (2002) [14] A D Otto, Central automorhisms of a finite -grou, Trans Amer Math Soc 125 (1966), [15] I B S Passi, M Singh & M K Yadav, Automorhisms of abelian grou extensions, J Algebra 324 (4) (2010), [16] A Ranum, The grou of classes of congruent matrices with alication to the grou of isomorhisms of any abelian grou, Trans Amer Math Soc 8 (1907) [17] A Thillaisundaram, PhD Thesis, University of Cambridge, UK (2011) [18] M K Yadav, On automorhisms of finite -grous, J Grou Theory, Vol 10, Issue 6 (2007), Anitha Thillaisundaram Magdalene College, Cambridge, CB3 0AG UK anithat@cantabnet

arxiv:math/ v1 [math.gr] 8 May 2006

arxiv:math/ v1 [math.gr] 8 May 2006 AUTOMORPHISMS OF FINITE ABELIAN GROUPS arxiv:math/0605185v1 [math.gr] 8 May 2006 CHRISTOPHER J. HILLAR AND DARREN L. RHEA 1. Introduction In introductory abstract algebra classes, one typically encounters

More information

A NOTE ON AUTOMORPHISMS OF FINITE p-groups

A NOTE ON AUTOMORPHISMS OF FINITE p-groups A NOTE ON AUTOMORPHISMS OF FINITE p-groups GUSTAVO A. FERNÁNDEZ-ALCOBER AND ANITHA THILLAISUNDARAM Abstract. Let G be a finite non-cyclic p-group of order at least p 3. If G has an abelian maximal subgroup,

More information

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015 18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to

More information

MATH 361: NUMBER THEORY ELEVENTH LECTURE

MATH 361: NUMBER THEORY ELEVENTH LECTURE MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties

More information

3 Properties of Dedekind domains

3 Properties of Dedekind domains 18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following

More information

DISCRIMINANTS IN TOWERS

DISCRIMINANTS IN TOWERS DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will

More information

Unit Groups of Semisimple Group Algebras of Abelian p-groups over a Field*

Unit Groups of Semisimple Group Algebras of Abelian p-groups over a Field* JOURNAL OF ALGEBRA 88, 580589 997 ARTICLE NO. JA96686 Unit Grous of Semisimle Grou Algebras of Abelian -Grous over a Field* Nako A. Nachev and Todor Zh. Mollov Deartment of Algebra, Plodi Uniersity, 4000

More information

General Linear Groups as Automorphism Groups

General Linear Groups as Automorphism Groups International Journal of Algebra, Vol. 5, 2011, no. 27, 1327-1335 General Linear Groups as Automorphism Groups S. Fouladi Department of Mathematics, Arak University, Arak, Iran s-fouladi@araku.ac.ir R.

More information

RECIPROCITY LAWS JEREMY BOOHER

RECIPROCITY LAWS JEREMY BOOHER RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre

More information

MATH342 Practice Exam

MATH342 Practice Exam MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice

More information

Jacobi symbols and application to primality

Jacobi symbols and application to primality Jacobi symbols and alication to rimality Setember 19, 018 1 The grou Z/Z We review the structure of the abelian grou Z/Z. Using Chinese remainder theorem, we can restrict to the case when = k is a rime

More information

δ(xy) = φ(x)δ(y) + y p δ(x). (1)

δ(xy) = φ(x)δ(y) + y p δ(x). (1) LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material

More information

IDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP

IDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number 5, May 996 IDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP TIM HSU (Communicated by Ronald M. Solomon) Abstract. We exhibit a simle

More information

On Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form.

On Character Sums of Binary Quadratic Forms 1 2. Mei-Chu Chang 3. Abstract. We establish character sum bounds of the form. On Character Sums of Binary Quadratic Forms 2 Mei-Chu Chang 3 Abstract. We establish character sum bounds of the form χ(x 2 + ky 2 ) < τ H 2, a x a+h b y b+h where χ is a nontrivial character (mod ), 4

More information

Frobenius Elements, the Chebotarev Density Theorem, and Reciprocity

Frobenius Elements, the Chebotarev Density Theorem, and Reciprocity Frobenius Elements, the Chebotarev Density Theorem, and Recirocity Dylan Yott July 30, 204 Motivation Recall Dirichlet s theorem from elementary number theory. Theorem.. For a, m) =, there are infinitely

More information

A structure theorem for product sets in extra special groups

A structure theorem for product sets in extra special groups A structure theorem for roduct sets in extra secial grous Thang Pham Michael Tait Le Anh Vinh Robert Won arxiv:1704.07849v1 [math.nt] 25 Ar 2017 Abstract HegyváriandHennecartshowedthatifB isasufficientlylargebrickofaheisenberg

More information

Almost All Palindromes Are Composite

Almost All Palindromes Are Composite Almost All Palindromes Are Comosite William D Banks Det of Mathematics, University of Missouri Columbia, MO 65211, USA bbanks@mathmissouriedu Derrick N Hart Det of Mathematics, University of Missouri Columbia,

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

ON FREIMAN S 2.4-THEOREM

ON FREIMAN S 2.4-THEOREM ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained

More information

Group Theory Problems

Group Theory Problems Grou Theory Problems Ali Nesin 1 October 1999 Throughout the exercises G is a grou. We let Z i = Z i (G) and Z = Z(G). Let H and K be two subgrous of finite index of G. Show that H K has also finite index

More information

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing

More information

Some Applications of Metacyclic p-groups of Nilpotency Class Two

Some Applications of Metacyclic p-groups of Nilpotency Class Two Research Journal of Alied Sciences, Engineering and Technology 4(3): 517-51, 01 ISSN: 040-7467 Maxwell Scientific Organization, Submitted: Aril 5, 01 Acceted: May 13, 01 Published: December 01, 01 Some

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

Algebraic Number Theory

Algebraic Number Theory Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................

More information

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski

More information

The Outer Automorphism of S 6

The Outer Automorphism of S 6 Meena Jagadeesan 1 Karthik Karnik 2 Mentor: Akhil Mathew 1 Phillips Exeter Academy 2 Massachusetts Academy of Math and Science PRIMES Conference, May 2016 What is a Group? A group G is a set of elements

More information

Additive results for the generalized Drazin inverse in a Banach algebra

Additive results for the generalized Drazin inverse in a Banach algebra Additive results for the generalized Drazin inverse in a Banach algebra Dragana S. Cvetković-Ilić Dragan S. Djordjević and Yimin Wei* Abstract In this aer we investigate additive roerties of the generalized

More information

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2, MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write

More information

An Overview of Witt Vectors

An Overview of Witt Vectors An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that

More information

SUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP OF THE NORMALIZER OF. 2p, p is a prime and p 1 mod4

SUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP OF THE NORMALIZER OF. 2p, p is a prime and p 1 mod4 Iranian Journal of Science & Technology, Transaction A, Vol. 34, No. A4 Printed in the Islamic Reublic of Iran, Shiraz University SUBORBITAL GRAPHS FOR A SPECIAL SUBGROUP * m OF THE NORMALIZER OF S. KADER,

More information

A construction of bent functions from plateaued functions

A construction of bent functions from plateaued functions A construction of bent functions from lateaued functions Ayça Çeşmelioğlu, Wilfried Meidl Sabancı University, MDBF, Orhanlı, 34956 Tuzla, İstanbul, Turkey. Abstract In this resentation, a technique for

More information

When do Fibonacci invertible classes modulo M form a subgroup?

When do Fibonacci invertible classes modulo M form a subgroup? Calhoun: The NPS Institutional Archive DSace Reository Faculty and Researchers Faculty and Researchers Collection 2013 When do Fibonacci invertible classes modulo M form a subgrou? Luca, Florian Annales

More information

Combinatorics of topmost discs of multi-peg Tower of Hanoi problem

Combinatorics of topmost discs of multi-peg Tower of Hanoi problem Combinatorics of tomost discs of multi-eg Tower of Hanoi roblem Sandi Klavžar Deartment of Mathematics, PEF, Unversity of Maribor Koroška cesta 160, 000 Maribor, Slovenia Uroš Milutinović Deartment of

More information

Ohno-type relation for finite multiple zeta values

Ohno-type relation for finite multiple zeta values Ohno-tye relation for finite multile zeta values Kojiro Oyama Abstract arxiv:1506.00833v3 [math.nt] 23 Se 2017 Ohno s relation is a well-known relation among multile zeta values. In this aer, we rove Ohno-tye

More information

ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS

ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS S. C. FEATHERSTONHAUGH, A. CARANTI, AND L. N. CHILDS Abstract. The main theorem of this paper is that if (N, +) is a finite abelian

More information

MATH 361: NUMBER THEORY EIGHTH LECTURE

MATH 361: NUMBER THEORY EIGHTH LECTURE MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first

More information

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave

More information

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to

More information

An Estimate For Heilbronn s Exponential Sum

An Estimate For Heilbronn s Exponential Sum An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined

More information

#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES

#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES #A45 INTEGERS 2 (202) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES Roberto Tauraso Diartimento di Matematica, Università di Roma Tor Vergata, Italy tauraso@mat.uniroma2.it Received: /7/, Acceted:

More information

MATH 210A, FALL 2017 HW 5 SOLUTIONS WRITTEN BY DAN DORE

MATH 210A, FALL 2017 HW 5 SOLUTIONS WRITTEN BY DAN DORE MATH 20A, FALL 207 HW 5 SOLUTIONS WRITTEN BY DAN DORE (If you find any errors, lease email ddore@stanford.edu) Question. Let R = Z[t]/(t 2 ). Regard Z as an R-module by letting t act by the identity. Comute

More information

arxiv: v4 [math.nt] 11 Oct 2017

arxiv: v4 [math.nt] 11 Oct 2017 POPULAR DIFFERENCES AND GENERALIZED SIDON SETS WENQIANG XU arxiv:1706.05969v4 [math.nt] 11 Oct 2017 Abstract. For a subset A [N], we define the reresentation function r A A(d := #{(a,a A A : d = a a }

More information

HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES

HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this

More information

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL

More information

MATH 371 Class notes/outline October 15, 2013

MATH 371 Class notes/outline October 15, 2013 MATH 371 Class notes/outline October 15, 2013 More on olynomials We now consider olynomials with coefficients in rings (not just fields) other than R and C. (Our rings continue to be commutative and have

More information

Weil s Conjecture on Tamagawa Numbers (Lecture 1)

Weil s Conjecture on Tamagawa Numbers (Lecture 1) Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The

More information

arxiv: v1 [math.nt] 4 Nov 2015

arxiv: v1 [math.nt] 4 Nov 2015 Wall s Conjecture and the ABC Conjecture George Grell, Wayne Peng August 0, 018 arxiv:1511.0110v1 [math.nt] 4 Nov 015 Abstract We show that the abc conjecture of Masser-Oesterlé-Sziro for number fields

More information

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS

#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS #A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,

More information

Solutions to Assignment 4

Solutions to Assignment 4 1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2

More information

Quadratic Reciprocity

Quadratic Reciprocity Quadratic Recirocity 5-7-011 Quadratic recirocity relates solutions to x = (mod to solutions to x = (mod, where and are distinct odd rimes. The euations are oth solvale or oth unsolvale if either or has

More information

TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES

TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES Khayyam J. Math. DOI:10.22034/kjm.2019.84207 TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES ISMAEL GARCÍA-BAYONA Communicated by A.M. Peralta Abstract. In this aer, we define two new Schur and

More information

Introduction to Group Theory Note 1

Introduction to Group Theory Note 1 Introduction to Grou Theory Note July 7, 009 Contents INTRODUCTION. Examles OF Symmetry Grous in Physics................................. ELEMENT OF GROUP THEORY. De nition of Grou................................................

More information

Problem 1.1. Classify all groups of order 385 up to isomorphism.

Problem 1.1. Classify all groups of order 385 up to isomorphism. Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5

More information

p-adic Measures and Bernoulli Numbers

p-adic Measures and Bernoulli Numbers -Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,

More information

Piotr Blass. Jerey Lang

Piotr Blass. Jerey Lang Ulam Quarterly Volume 2, Number 1, 1993 Piotr Blass Deartment of Mathematics Palm Beach Atlantic College West Palm Beach, FL 33402 Joseh Blass Deartment of Mathematics Bowling Green State University Bowling

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick

More information

RINGS OF INTEGERS WITHOUT A POWER BASIS

RINGS OF INTEGERS WITHOUT A POWER BASIS RINGS OF INTEGERS WITHOUT A POWER BASIS KEITH CONRAD Let K be a number field, with degree n and ring of integers O K. When O K = Z[α] for some α O K, the set {1, α,..., α n 1 } is a Z-basis of O K. We

More information

192 VOLUME 55, NUMBER 5

192 VOLUME 55, NUMBER 5 ON THE -CLASS GROUP OF Q F WHERE F IS A PRIME FIBONACCI NUMBER MOHAMMED TAOUS Abstract Let F be a rime Fibonacci number where > Put k Q F and let k 1 be its Hilbert -class field Denote by k the Hilbert

More information

We collect some results that might be covered in a first course in algebraic number theory.

We collect some results that might be covered in a first course in algebraic number theory. 1 Aendices We collect some results that might be covered in a first course in algebraic number theory. A. uadratic Recirocity Via Gauss Sums A1. Introduction In this aendix, is an odd rime unless otherwise

More information

CONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION

CONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION CONGRUENCE PROPERTIES MODULO 5 AND 7 FOR THE POD FUNCTION SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer, we rove arithmetic roerties modulo 5 7 satisfied by the function odn which denotes the

More information

Galois representations on torsion points of elliptic curves NATO ASI 2014 Arithmetic of Hyperelliptic Curves and Cryptography

Galois representations on torsion points of elliptic curves NATO ASI 2014 Arithmetic of Hyperelliptic Curves and Cryptography Galois reresentations on torsion oints of ellitic curves NATO ASI 04 Arithmetic of Hyerellitic Curves and Crytograhy Francesco Paalardi Ohrid, August 5 - Setember 5, 04 Lecture - Introduction Let /Q be

More information

Primes - Problem Sheet 5 - Solutions

Primes - Problem Sheet 5 - Solutions Primes - Problem Sheet 5 - Solutions Class number, and reduction of quadratic forms Positive-definite Q1) Aly the roof of Theorem 5.5 to find reduced forms equivalent to the following, also give matrices

More information

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2)

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2) On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure

More information

Mobius Functions, Legendre Symbols, and Discriminants

Mobius Functions, Legendre Symbols, and Discriminants Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,

More information

A p-adic analogue of a formula of Ramanujan

A p-adic analogue of a formula of Ramanujan A -adic analogue of a formula of Ramanuan Dermot McCarthy and Robert Osburn Abstract. During his lifetime, Ramanuan rovided many formulae relating binomial sums to secial values of the Gamma function.

More information

Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q

Class Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q Class Field Theory Peter Stevenhagen Class field theory is the study of extensions Q K L K ab K = Q, where L/K is a finite abelian extension with Galois grou G. 1. Class Field Theory for Q First we discuss

More information

Quaternionic Projective Space (Lecture 34)

Quaternionic Projective Space (Lecture 34) Quaternionic Projective Sace (Lecture 34) July 11, 2008 The three-shere S 3 can be identified with SU(2), and therefore has the structure of a toological grou. In this lecture, we will address the question

More information

(1) Let G be a finite group and let P be a normal p-subgroup of G. Show that P is contained in every Sylow p-subgroup of G.

(1) Let G be a finite group and let P be a normal p-subgroup of G. Show that P is contained in every Sylow p-subgroup of G. (1) Let G be a finite group and let P be a normal p-subgroup of G. Show that P is contained in every Sylow p-subgroup of G. (2) Determine all groups of order 21 up to isomorphism. (3) Let P be s Sylow

More information

Elementary Analysis in Q p

Elementary Analysis in Q p Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some

More information

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 Let Σ be the set of all symmetries of the plane Π. 1. Give examples of s, t Σ such that st ts. 2. If s, t Σ agree on three non-collinear points, then

More information

MA3H1 TOPICS IN NUMBER THEORY PART III

MA3H1 TOPICS IN NUMBER THEORY PART III MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced

More information

RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS

RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS THOMAS POGUNTKE Abstract. Artin s recirocity law is a vast generalization of quadratic recirocity and contains a lot of information about

More information

Representing Integers as the Sum of Two Squares in the Ring Z n

Representing Integers as the Sum of Two Squares in the Ring Z n 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment

More information

Small Zeros of Quadratic Forms Mod P m

Small Zeros of Quadratic Forms Mod P m International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal

More information

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular

More information

Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields

Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon

More information

Almost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2)

Almost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2) Chater 5 Pell s Equation One of the earliest issues graled with in number theory is the fact that geometric quantities are often not rational. For instance, if we take a right triangle with two side lengths

More information

A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN

A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod p) ZHI-HONG SUN A CRITERION FOR POLYNOMIALS TO BE CONGRUENT TO THE PRODUCT OF LINEAR POLYNOMIALS (mod ) ZHI-HONG SUN Deartment of Mathematics, Huaiyin Teachers College, Huaian 223001, Jiangsu, P. R. China e-mail: hyzhsun@ublic.hy.js.cn

More information

THE THEORY OF NUMBERS IN DEDEKIND RINGS

THE THEORY OF NUMBERS IN DEDEKIND RINGS THE THEORY OF NUMBERS IN DEDEKIND RINGS JOHN KOPPER Abstract. This aer exlores some foundational results of algebraic number theory. We focus on Dedekind rings and unique factorization of rime ideals,

More information

MATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction

MATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction MATH 248A. THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied

More information

The inverse Goldbach problem

The inverse Goldbach problem 1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the

More information

BOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia

BOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia GLASNIK MATMATIČKI Vol. 39(59(2004, 199 205 BOUNDS FOR TH SIZ OF STS WITH TH PROPRTY D(n Andrej Dujella University of Zagreb, Croatia Abstract. Let n be a nonzero integer and a 1 < a 2 < < a m ositive

More information

#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS

#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS #A8 INTEGERS 1 (01) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS Mohammadreza Bidar 1 Deartment of Mathematics, Sharif University of Technology, Tehran, Iran mrebidar@gmailcom

More information

Heuristics on Tate Shafarevitch Groups of Elliptic Curves Defined over Q

Heuristics on Tate Shafarevitch Groups of Elliptic Curves Defined over Q Heuristics on Tate Shafarevitch Grous of Ellitic Curves Defined over Q Christohe Delaunay CONTENTS. Introduction 2. Dirichlet Series and Averages 3. Heuristics on Tate Shafarevitch Grous References In

More information

arxiv: v2 [math.nt] 9 Oct 2018

arxiv: v2 [math.nt] 9 Oct 2018 ON AN EXTENSION OF ZOLOTAREV S LEMMA AND SOME PERMUTATIONS LI-YUAN WANG AND HAI-LIANG WU arxiv:1810.03006v [math.nt] 9 Oct 018 Abstract. Let be an odd rime, for each integer a with a, the famous Zolotarev

More information

MINIMAL NUMBER OF GENERATORS AND MINIMUM ORDER OF A NON-ABELIAN GROUP WHOSE ELEMENTS COMMUTE WITH THEIR ENDOMORPHIC IMAGES

MINIMAL NUMBER OF GENERATORS AND MINIMUM ORDER OF A NON-ABELIAN GROUP WHOSE ELEMENTS COMMUTE WITH THEIR ENDOMORPHIC IMAGES Communications in Algebra, 36: 1976 1987, 2008 Copyright Taylor & Francis roup, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870801941903 MINIMAL NUMBER OF ENERATORS AND MINIMUM ORDER OF

More information

QUADRATIC RECIPROCITY

QUADRATIC RECIPROCITY QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick

More information

Congruences modulo 3 for two interesting partitions arising from two theta function identities

Congruences modulo 3 for two interesting partitions arising from two theta function identities Note di Matematica ISSN 113-53, e-issn 1590-093 Note Mat. 3 01 no., 1 7. doi:10.185/i1590093v3n1 Congruences modulo 3 for two interesting artitions arising from two theta function identities Kuwali Das

More information

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS #A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,

More information

Recognising nilpotent groups

Recognising nilpotent groups Recognising nilpotent groups A. R. Camina and R. D. Camina School of Mathematics, University of East Anglia, Norwich, NR4 7TJ, UK; a.camina@uea.ac.uk Fitzwilliam College, Cambridge, CB3 0DG, UK; R.D.Camina@dpmms.cam.ac.uk

More information

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem on Arithmetic Progressions Thai Pham Massachusetts Institute of Technology May 2, 202 Abstract In this aer, we derive a roof of Dirichlet s theorem on rimes in arithmetic rogressions.

More information

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in

More information

A Simple Classification of Finite Groups of Order p 2 q 2

A Simple Classification of Finite Groups of Order p 2 q 2 Mathematics Interdisciplinary Research (017, xx yy A Simple Classification of Finite Groups of Order p Aziz Seyyed Hadi, Modjtaba Ghorbani and Farzaneh Nowroozi Larki Abstract Suppose G is a group of order

More information

arxiv:math/ v2 [math.nt] 21 Oct 2004

arxiv:math/ v2 [math.nt] 21 Oct 2004 SUMS OF THE FORM 1/x k 1 + +1/x k n MODULO A PRIME arxiv:math/0403360v2 [math.nt] 21 Oct 2004 Ernie Croot 1 Deartment of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 ecroot@math.gatech.edu

More information

A review of the foundations of perfectoid spaces

A review of the foundations of perfectoid spaces A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview

More information

Factorability in the ring Z[ 5]

Factorability in the ring Z[ 5] University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Paers in Mathematics Mathematics, Deartment of 4-2004 Factorability in the ring

More information

A Note on Groups with Just-Infinite Automorphism Groups

A Note on Groups with Just-Infinite Automorphism Groups Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 32 (2012) no. 2, 135 140. doi:10.1285/i15900932v32n2p135 A Note on Groups with Just-Infinite Automorphism Groups Francesco de Giovanni Dipartimento

More information

MAT 311 Solutions to Final Exam Practice

MAT 311 Solutions to Final Exam Practice MAT 311 Solutions to Final Exam Practice Remark. If you are comfortable with all of the following roblems, you will be very well reared for the midterm. Some of the roblems below are more difficult than

More information

Math 451, 01, Exam #2 Answer Key

Math 451, 01, Exam #2 Answer Key Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement

More information