BOUNDS ON ORDERS OF FINITE SUBGROUPS OF P GL n (K) Eli Aljadeff and Jack Sonn
|
|
- Brianne Harris
- 5 years ago
- Views:
Transcription
1 BOUNDS ON ORDERS OF FINITE SUBGROUPS OF P GL n (K) Eli Aljadeff and Jack Sonn Abstract. We characterize the pairs (K, n), K a field, n a positive integer, for which there is a bound on the orders of finite subgroups of P GL n (K). Explicit bounds are given in important cases. An application is made to the analogous problem for central simple K-algebras of degree n. 1. Introduction Let K be a field, n an integer > 1, GL n (K) the group of invertible n n matrices over K, P GL n (K) = GL n (K)/K. Is there a bound on the orders of the finite subgroups of GL n (K)? of P GL n (K)? Obviously the answer depends on K, since the answer is no if K contains infinitely many roots of unity. The answer is also no if K is an infinite field of characteristic p 0, as one sees by looking at the unitriangular matrices. Thus we must restrict the field K or consider only nonmodular finite groups, i.e. finite groups whose order is not divisible by char(k). The answer also depends on n as we shall see below. Let B(K, n) (B (K, n) resp.) denote the statement that there is a bound on the orders of the finite nonmodular subgroups of GL n (K) (P GL n (K) resp.). A theorem of Jordan [4, Thm. 15.7] states that for any K and n, if G is a finite nonmodular subgroup of GL n (K), then G contains an abelian normal subgroup of index J(n) := (49n) n2. By Jordan s theorem, B(K, n) holds if and only if there is a bound on the orders of the finite nonmodular abelian subgroups of GL n (K). W. Feit has communicated to us an unpublished result of B. Weisfeiler, which replaces Jordan s bound J(n) by the bound W (n) = (n + 2)! for n > 63, W (n) = n 4 (n + 2)! for n 63. Based on Weisfeiler s work, Feit [5] has determined finite subgroups of GL(n, K) of maximal order, for all n, where K is any cyclotomic field. Recently, S. Friedland [6] has determined precise bounds on the finite abelian subgroups of GL(n, Q), and using Weisfeiler s bound, obtains Feit s result for K = Q and all large n. In Section 2, we consider B(K, n) and give a characterization of B(K, n) in terms of cyclotomic extensions of K. If µ denotes the group of all roots of unity, B(K, n) B(K k(µ), n) where k denotes the prime field of K. For every n, there is a field K for which B(K, n) holds but B(K, n + 1) does not hold. For fields K such that [K k(µ) : k] <, we give an explicit bound in terms of n and [K k(µ) : k]. Research supported by the Fund for the Promotion of Research at the Technion and by the Technion VPR Fund 1 Typeset by AMS-TEX
2 2 ELI ALJADEFF AND JACK SONN In Section 3, we consider P GL n (K) and B (K, n). It is easy to show that B (K, n) holds for all n if and only if B(K, n) holds for all n. The main result is that for every n, B(K, n) is equivalent to B (K, n). As in the case of GL n (K), one can give explicit bounds when [K k(µ) : k] <. In the last short section, the results above are applied to multiplicative subgroups of finite dimensional central simple K-algebras. 2. GL n As defined above, B(K, n) is the assertion that there is a bound on the orders of finite nonmodular subgroups of GL n (K). Clearly B(K, n) B(K, n 1) Proposition. Let n be an integer > 1, K a field. B(K, n) holds if and only if [K(µ m ) : K] > n for all sufficiently large m, i.e. there exists m 0 such that m m 0 [K(µ m ) : K] > n. (If char(k) is p 0, we exclude from the requirement those m divisible by p.) In this case, if A is a finite abelian nonmodular subgroup of GL n (K), then A m 0 n, hence if G is a finite nonmodular subgroup of GL n (K), then G J(n)m 0 n, where J(n) is Jordan s bound (on the index of a maximal abelian normal subgroup) (49n) n2. Proof. Suppose there are arbitrarily large m (p m as needed) such that [K(µ m ) : K] n. The field K(µ m ) can be represented in the algebra M n (K) of n n matrices over K, hence µ m is embedded in GL n (K) for arbitrarily large m. Now conversely assume there exists m 0 such that m m 0 [K(µ m ) : K] > n. Let G be a finite nonmodular subgroup of GL n (K). By Jordan s theorem, G has an abelian normal subgroup A of index J(n), which reduces the proof to the case G = A abelian. Consider the commutative subalgebra K[A] of M n (K) generated by A over K. Since A is nonmodular, K[A] is semisimple, hence a direct sum of fields r i=1 L i. If K is an extension of K for which A is diagonalizable, we have dim K K[A] = dim K K[A] K K n. Hence if d i = [L i : K], we have r 1 d i n. The projection K[A] L i maps A onto a finite group A i of roots of unity in L i, L i = K[A i ] is a cyclotomic extension, and A is embedded in r 1 A i. Let m i = A i, so L i = K(µ mi ). By hypothesis there exists m 0 such that m m 0 [K(µ m ) : K] > n. Since d i = [L i : K] n, we have m i < m 0. It follows that A m i < m n Proposition. Let k be the prime field of K. Then B(K, n) B(K k(µ), n). In fact, [K(µ m ) : K] > n for all m m 0 [(K k(µ))(µ m ) : K k(µ)] > n for all m m 0. Proof. Immediate since [(K k(µ))(µ m ) : K k(µ)] = [K(µ m ) : K]. By Proposition 2.2, we may assume K k(µ).
3 BOUNDS ON ORDERS OF FINITE SUBGROUPS OF P GL n (K) 3 Suppose k is F p. Then if [K : k] =, K contains infinitely many roots of unity, so B(K, n) does not hold. Hence B(K, n) K finite, which is a trivial case. We therefore assume for the rest of this section that char(k)=0, k = Q. B(K, n) can be localized: 2.3. Proposition. B(K, n) is equivalent to the following assertion: (i) For almost all primes p, [Q(µ p ) : K Q(µ p )] > n, and (ii) for all primes p, if [Q(µ p ) : K Q(µ p )] n, then [K Q(µ p ) : Q] <. Observe that [K(µ m ) : K] = [Q(µ m ) : K Q(µ m )] for every m. Proof. Assume B(K, n). Then (i) certainly holds. Assume for some p, [Q(µ p ) : K Q(µ p )] n, and [K Q(µ p ) : Q] is infinite. Set K = K Q(µ p ). Then K contains the (unique) Z p -extension Q p, since if not, K Q p is a proper subfield of Q p, hence finite over Q, which implies that [K : K Q p ] is infinite. But [K : K Q p ] = [K Q p : Q p ] [Q(µ p ) : Q p ] = p 1 <, contradiction. Thus K Q p, so [K(µ p ) : K] = [Q(µ p ) : K ] = [Q(µ p ) : K Q(µ p )] = [Q(µ p ) : K Q(µ p )] n, contradicting B(K, n). Conversely, assume B(K, n) does not hold. Then there are infinitely many m such that [K(µ m ) : K] n. We show that (i), (ii) do not both hold. Assume (i) holds. Then for some m 0, [K(µ p ) : K] > n for all p > m 0. It follows then that if m is divisible by a prime p > m 0, [K(µ m ) : K] [K(µ p ) : K] > n, hence the infinite set of m for which [K(µ m ) : K] n consists of m divisible only by (the finitely many) primes m 0. By the pigeonhole principle, there is a prime p and an infinite sequence of m s such that [K(µ m ) : K] n and the powers of p that divide these m are unbounded. Hence n [K(µ p ) : K] = [Q(µ p ) : K Q(µ p )]. In particular, [K Q(µ p ) : Q] is infinite, and [K(µ p ) : K] n, violating (ii) Corollary. B(K, n) holds for all n for every prime p, [K Q(µ p ) : Q] < and lim p [K(µ p ) : K] = Example. Let K be the composite of all quadratic extensions of Q. K is an infinite extension of Q for which B(K, n) holds for all n. Of course if [K : Q] is finite, then B(K, n) holds for all n Example. We will show that for every n > 1, there are fields K for which B(K, n 1) holds, but B(K, n) does not hold. By Dirichlet s theorem there is a prime p 1 (mod n). Let Q p K Q(µ p ) with [Q(µ p ) : K] = n. Then [K(µ p ) : K] = n, violating B(K, n), but it is easily checked that B(K, n 1) holds, using Proposition 2.3. A horizontal family of examples can be constructed as well, where K is a composite of fields K p, with p running through an infinite set of primes 1 (mod n), and Q K p Q(µ p ), [Q(µ p ) : K p ] = n. When [K : Q] is finite, and in particular B(K, n) holds for all n, it is of interest to compute a more explicit bound than m n 0 in Proposition 2.1. In this case, let A be a finite abelian subgroup of GL n (K), K[A] = r i=1 L i, [L i : K] = d i, d i n, L i = K(µ mi ), m i = A i as in the proof of Proposition 2.1. Now d i = [K(µ mi ) : K] = [Q(µ mi ) : K Q(µ mi )] = [Q(µ mi ) : Q]/[K Q(µ mi ) : Q] φ(m i )/[K : Q] = φ(m i )/c K
4 4 ELI ALJADEFF AND JACK SONN where we set c K := [K : Q]. Now m i φ(m i ) 2 c 2 K d2 i. Then A m i i c2 K d2 i = c2r K ( d i ) 2 c 2r K ( 1 r di ) 2r c 2r K (n/r)2r (using the geometric-arithmetic inequality) Lemma. max{(n/r) r : 1 r n} e n/e. Proof. To maximize (n/r) r, replace r by a continuous variable x, and maximize log(n/x) x = x log n x log x. The derivative vanishes at log x = log n 1, or x = n/e, giving (n/x) x = ( n n/e )n/e = e n/e. It follows that A c 2n K e2n/e = (c K e 1/e ) 2n. This proves 2.8. Proposition. Let [K : Q] be finite (K Q(µ)). Then for any n, if A is a finite abelian subgroup of GL n (K), then A ([K : Q]e 1/e ) 2n. Hence if G is a finite subgroup of GL n (K), G J(n)([K : Q]e 1/e ) 2n. Remark. When B(K, n) holds in the characteristic p case, it is also of interest to write down an explicit value for m 0. Here we may assume K finite, and m 0 can be taken as the smallest positive integer such that [K(µ m ) : K] > n for all m m 0. If K = q K, then the extension of degree n of K is the field of qk n elements, containing the qk n 1th roots of unity. so if m 0 = qk n, then m m 0, p m K(µ m ) has more than qk n 1 roots of unity, hence K(µ m) > qk n, so [K(µ m) : K] > n. We therefore have 2.9. Proposition. Suppose char(k)=p and K k(µ) is finite. If A is a finite abelian nonmodular subgroup of GL n (K), then A qk n2, q K = K k(µ). Hence if G is a finite nonmodular subgroup of GL n (K), G J(n)qK n2 = (49nq K) n2. Remark. Let K be an infinite field of finite characteristic p. There is no bound on finite subgroups or even indices of maximal abelian normal subgroups of finite subgroups of GL n (K) for n 3 as one sees by considering unitriangular matrices. A theorem of Brauer and Feit [3] states that there is a bound on the index of maximal abelian normal subgroups in finite subgroups G of GL n (K) depending on n and the order of a p-sylow subgroup G p of G. On the other hand, exp G p < pn. (Proof: Let a be an element of p-power order p m in GL n (K). Since a pm = 1, a pm 1 = (a 1) pm = 0 so a 1 is nilpotent, hence (a 1) n = 0 which implies that p m the first power of p n, which is < pn.) By Zelmanov s theorem (Restricted Burnside Problem) [9] there is a bound on the order of a p-sylow subgroup G p of G depending on rank(g p ) (and n), hence in the Brauer-Feit theorem, order can be replaced by rank. 3. PGL Recall that B (K, n) denotes the statement that there is a bound on finite nonmodular subgroups of P GL n (K).
5 BOUNDS ON ORDERS OF FINITE SUBGROUPS OF P GL n (K) Observation. ) The embedding GL n (K) P GL n+1 (K), a mod K, a GL n (K) shows that B (K, n + 1) B(K, n). ( a Observation. The embedding P GL n (K) Aut M n (K) GL n 2(K), a mod K conjugation by a on M n (K) shows that B(K, n 2 ) B (K, n). Thus: 3.3. Proposition. There is a bound on finite nonmodular subgroups of GL n (K) for all n if and only if there is a bound on finite nonmodular subgroups of P GL n (K) for all n, i.e. B(K, n) holds for all n if and only if B (K, n) holds for all n. Let k be the prime field of K. If char(k) =p 0, i.e. k = F p, then since by Proposition 2.2, B(K, n) B(K k(µ), n) K k(µ) is a finite field, B(K, n) is independent of n, so B (K, n) holds K k(µ) is finite. We therefore assume from now on that char(k)=0. We now prove 3.4. Theorem. B(K, n) is equivalent to B (K, n) for all n 2. Proof. One direction is easy. Suppose B(K, n) does not hold. Case 1. K contains infinitely many roots of unity. Then the diagonal subgroup of P GL n (K) has unbounded torsion, violating B (K, n). Case 2. K contains finitely many roots of unity. Then for infinitely many m, [K(µ m ) : K] n, so µ m embeds into GL n (K). It follows that µ m mod scalars is unbounded. For the opposite direction, we assume B(K, n) and consider a finite subgroup G of P GL n (K) Claim. exp G (e 1/e m 0 /m K ) n where m K = µ K =the number of roots of unity in K. Proof. Let u GL n (K) have order h mod K, so u h = a K. The commutative subalgebra K[u] of M n (K) is semisimple and of dimension n over K by Cayley- Hamilton. Hence K[u] = n 1 L i, with L i a finite extension field of K of degree d i, i = 1,..., r. If u i is the projection of u onto L i, then L = K[u i ], and u h i = a. Thus the order h i of u i mod K divides h, and h = lcm{h i } r 1. Let us temporarily fix i and drop the subscript, so L = K[u] is a field extension of degree d over K. We wish to bound h=order of u mod K in terms of d. If d = 1 then h = 1 and there is nothing to do, so we assume d > 1. Let µ K, µ L denote the group of roots of unity in K, L, respectively, m K = µ K, m L = µ L. Since K(µ L ) L, [K(µ L ) : K] [L : K] d n. By the hypothesis B(K, n), there exists m 0 such that m m 0 [K(µ m ) : K] > n, hence m L < m 0. By a result of Risman [8], h dm L /m K < dm 0 /m K. Restoring subscripts, h i < d i m 0 /m K, hence h r i=1 d i(m 0 /m K ) r ( 1 r di ) r (m 0 /m K ) r (n/r) r (m 0 /m K ) r (e 1/e m 0 /m K ) r (e 1/e m 0 /m K ) n.
6 6 ELI ALJADEFF AND JACK SONN 3.6. Claim. exp H 2 (G, K ) divides lcm(exp G, m K ). Proof. By the universal coefficient theorem [7, Thm. sequence 15.1], we have a split exact 0 Ext 1 Z(G ab, K ) H 2 (G, K ) Hom(M(G), K ) 0 where M(G) is the Schur multiplier of G and G ab = G/G, G the commutator subgroup of G. If G ab = C e1 C et with C ei cyclic of order e i, then Ext 1 Z(G ab, K ) = Ext 1 Z(C e1, K ) Ext 1 Z(C et, K ) which has exponent dividing exp G. Moreover exp Hom(M(G), K ) divides m K. We proceed with the proof of Theorem 3.4. Lift G back to a subgroup Ĝ of GL n(k) to obtain an exact sequence 1 K Ĝ G 1 and let α H 2 (G, K ) be the corresponding cocycle class. Let m = exp H 2 (G, K ) and let f α be a representative cocycle. then f m = g B 2 (G, K ), i.e. for every σ, τ G, f(σ, τ) m = g(σ)g(τ)g(στ) 1 with g : G K a mapping. Let F = K(µ m, {g(σ) 1/m : σ G}). Extending coefficients to F, we may view Ĝ as a subgroup of GL n (F ). The cocycle class of f in H 2 (G, F ) is equivalent to f 1 := f( g) 1/m, and f1 m = 1, i.e. f 1 takes values in µ m. We then obtain a finite subgroup G of GL n (F ) in an exact sequence 1 µ m G G 1. By Jordan s theorem, G has an abelian subgroup A of index J(n) = (49n) n 2 (or W (n) if we use Weisfeiler s result). (At this point the temptation is to use B(F, n) to bound A ; however B(K, n) does not necessarily imply B(F, n).) Consider the semisimple commutative subalgebra F [A] of M n (F ). F [A] = r 1L i, where L i is a field extension of F of degree d i, and dim F F [A] n as in the proof of Proposition 2.1. The projection of A on L i is a finite subgroup A i of L i hence contained in µ Li, and L i = F [A i ] is a cyclotomic extension. We have A i = exp A i exp A exp G exp H 2 (G, K ) exp G m K (exp G) 2. It follows that A r 1 A i m n K (e1/e m 0 /m K ) 2n2. It now follows that G G J(n) A (49n) n2 m n K (e1/e m 0 /m K ) 2n2, hence B (K, n) holds. As in the case of GL n (K), we can give a more explicit bound on G if [K k(µ) : k] is finite, with k the prime field. If k = F p, then we merely take m 0 = qk n as in section 1, so G (49n) n2 (e 1/e qk) n 2n2 /(q K 1) 2n2 n. Let k = Q, and assume [K Q(µ) : Q] <. We begin with the bound on exp G in Claim 3.5. In the proof we had L = K[u] with [L : K] = d, h dm L /m K. Now m L φ(m L ) 2 = [Q(µ L ) : Q] 2 = [Q(µ L ) : K Q(µ L )] 2 [K Q(µ L ) : Q] 2 d 2 c 2 K, where
7 BOUNDS ON ORDERS OF FINITE SUBGROUPS OF P GL n (K) 7 c K = [K Q(µ) : Q]. Hence h d 3 c 2 K /m K. Then restoring subscripts and proceeding as in the proof of Claim 3.5, we get h ( d 3 i )(c2 K /m K) r (e 3/e c 2 K /m K) n, hence exp G (e 3/e c 2 K/m K ) n. In the proof of Theorem 3.4, we obtain A i m K (exp G) 2, hence A A i m n K (exp G)2n m n K (e3/e c 2 K /m K) 2n2, whence G J(n) A (49n) n2 (e 3/e c 2 K) 2n2 /m 2n2 n K. 4. Central simple algebras Let B be a finite dimensional central simple K-algebra (with center K). Let Γ be a subgroup of the multiplicative group B of invertible elements of B, such that [Γ : K Γ] <. (If Γ also spans B over K, B is called a projective Schur algebra over K (see [1]).) Let L be a splitting field of B, so that B K L = M n (L). We have Γ L = Γ K (Γ identified with Γ 1), so Γ/Γ K embeds into P GL n (L), where n = deg K B. Thus by Proposition 2.1, if B(L, n) holds, then there is a bound on the orders of (nonmodular) Γ/Γ K. We can say more: 4.1. Proposition. If B(K, n) holds, there is a bound on the orders of (nonmodular) Γ/Γ K for all central simple K-algebras of degree n over K. Proof. There exists a splitting field L of B which is a regular extension of K (K is algebraically closed in L), for example a generic splitting field of B has this property [2, Theorem 9.1, p. 26]. Then L k(µ) = K k(µ), hence by Proposition 2.2, B(K, n) B(K k(µ), n) B(L k(µ), n) B(L, n). Note that the explicit bounds given above for P GL n (K) will hold for all central simple K-algebras of degree n. References [1] E. Aljadeff and J. Sonn, On the projective Schur group of a field, J. Alg. 178 (1995), [2] S. Amitsur, Generic splitting fields of central simple algebras, Ann. Math. 62 (1955), [3] R. Brauer and W. Feit, An analogue of Jordan s theorem in characteristic p, Ann. Math. 84 (1966), [4] J. D. Dixon, The Structure of Linear Groups, Van Nostrand Reinhold, London, [5] W. Feit, Orders of finite linear groups, preprint (1995).
8 8 ELI ALJADEFF AND JACK SONN [6] S. Friedland, The maximal orders of finite subgroups in GL n (K), Proc. A.M.S. 125 (1997), [7] P. Hilton and U. Stambach, A Course in Homological Algebra, Springer-Verlag, Berlin, [8] L. Risman, On the order and degree of solutions to pure equations, Proc. AMS 55 (1976), [9] E. Zelmanov, On the restricted Burnside problem, Proc. Int. Cong. Math. Kyoto (1991), Math. Soc. Japan, Department of Mathematics, Technion, Haifa, Israel address: aljadeff@tx.technion.ac.il, sonn@math.technion.ac.il
Irreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More information9. Finite fields. 1. Uniqueness
9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime
More informationORDERS OF ELEMENTS IN A GROUP
ORDERS OF ELEMENTS IN A GROUP KEITH CONRAD 1. Introduction Let G be a group and g G. We say g has finite order if g n = e for some positive integer n. For example, 1 and i have finite order in C, since
More informationCHAPTER III NORMAL SERIES
CHAPTER III NORMAL SERIES 1. Normal Series A group is called simple if it has no nontrivial, proper, normal subgroups. The only abelian simple groups are cyclic groups of prime order, but some authors
More informationUniversity of Southern California, Los Angeles, University of California at Los Angeles, and Technion Israel Institute of Technology, Haifa, Israel
IRREDUCIBLE POLYNOMIALS WHICH ARE LOCALLY REDUCIBLE EVERYWHERE Robert Guralnick, Murray M. Schacher and Jack Sonn University of Southern California, Los Angeles, University of California at Los Angeles,
More informationD. S. Passman. University of Wisconsin-Madison
ULTRAPRODUCTS AND THE GROUP RING SEMIPRIMITIVITY PROBLEM D. S. Passman University of Wisconsin-Madison Abstract. This expository paper is a slightly expanded version of the final talk I gave at the group
More informationRecognising 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 informationSOME RESIDUALLY FINITE GROUPS SATISFYING LAWS
SOME RESIDUALLY FINITE GROUPS SATISFYING LAWS YVES DE CORNULIER AND AVINOAM MANN Abstract. We give an example of a residually-p finitely generated group, that satisfies a non-trivial group law, but is
More informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More informationAdelic Profinite Groups
Ž. JOURNAL OF ALGEBRA 193, 757763 1997 ARTICLE NO. JA967011 Adelic Profinite Groups V. P. Platonov* Department of Pure Mathematics, Uniersity of Waterloo, Ontario, N2L 3G1, Canada and B. Sury School of
More informationANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy
ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER Seán McGarraghy Abstract. We construct examples where an annihilating polynomial produced by considering étale algebras improves on the annihilating
More informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationVARIATIONS ON THE BAER SUZUKI THEOREM. 1. Introduction
VARIATIONS ON THE BAER SUZUKI THEOREM ROBERT GURALNICK AND GUNTER MALLE Dedicated to Bernd Fischer on the occasion of his 75th birthday Abstract. The Baer Suzuki theorem says that if p is a prime, x is
More informationMath 210A: Algebra, Homework 5
Math 210A: Algebra, Homework 5 Ian Coley November 5, 2013 Problem 1. Prove that two elements σ and τ in S n are conjugate if and only if type σ = type τ. Suppose first that σ and τ are cycles. Suppose
More informationKevin James. p-groups, Nilpotent groups and Solvable groups
p-groups, Nilpotent groups and Solvable groups Definition A maximal subgroup of a group G is a proper subgroup M G such that there are no subgroups H with M < H < G. Definition A maximal subgroup of a
More informationSylow subgroups of GL(3,q)
Jack Schmidt We describe the Sylow p-subgroups of GL(n, q) for n 4. These were described in (Carter & Fong, 1964) and (Weir, 1955). 1 Overview The groups GL(n, q) have three types of Sylow p-subgroups:
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationPermutation representations and rational irreducibility
Permutation representations and rational irreducibility John D. Dixon School of Mathematics and Statistics Carleton University, Ottawa, Canada March 30, 2005 Abstract The natural character π of a finite
More informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationON VALUES OF CYCLOTOMIC POLYNOMIALS. V
Math. J. Okayama Univ. 45 (2003), 29 36 ON VALUES OF CYCLOTOMIC POLYNOMIALS. V Dedicated to emeritus professor Kazuo Kishimoto on his seventieth birthday Kaoru MOTOSE In this paper, using properties of
More informationarxiv:math/ v3 [math.qa] 16 Feb 2003
arxiv:math/0108176v3 [math.qa] 16 Feb 2003 UNO S CONJECTURE ON REPRESENTATION TYPES OF HECKE ALGEBRAS SUSUMU ARIKI Abstract. Based on a recent result of the author and A.Mathas, we prove that Uno s conjecture
More informationON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS
Itoh, T. Osaka J. Math. 51 (2014), 513 536 ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS TSUYOSHI ITOH (Received May 18, 2012, revised September 19, 2012) Abstract
More informationarxiv: v1 [math.ra] 10 Nov 2018
arxiv:1811.04243v1 [math.ra] 10 Nov 2018 BURNSIDE S THEOREM IN THE SETTING OF GENERAL FIELDS HEYDAR RADJAVI AND BAMDAD R. YAHAGHI Abstract. We extend a well-known theorem of Burnside in the setting of
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationMARGULIS NUMBERS AND NUMBER FIELDS
MARGULIS NUMBERS AND NUMBER FIELDS PETER B. SHALEN Abstract. Let M be a closed, orientable hyperbolic 3-manifold such that (1) H 1 (M; Z s ) = 0 for s = 2, 3, 7. Suppose that (2) M is non-haken, or more
More informationZero cycles on twisted Cayley plane
Zero cycles on twisted Cayley plane V. Petrov, N. Semenov, K. Zainoulline August 8, 2005 Abstract In the present paper we compute the group of zero-cycles modulo rational equivalence of a twisted form
More informationFIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS
FIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS LINDSAY N. CHILDS Abstract. Let G = F q β be the semidirect product of the additive group of the field of q = p n elements and the cyclic
More informationTHE WORK OF EFIM ZELMANOV (FIELDS MEDAL 1994)
THE WORK OF EFIM ZELMANOV (FIELDS MEDAL 1994) KAPIL H. PARANJAPE 1. Introduction Last year at the International Congress of Mathematicians (ICM 94) in Zürich, Switzerland one of the four recipients of
More informationProblems on Growth of Hecke fields
Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014
More informationHamburger Beiträge zur Mathematik
Hamburger Beiträge zur Mathematik Nr. 270 / April 2007 Ernst Kleinert On the Restriction and Corestriction of Algebras over Number Fields On the Restriction and Corestriction of Algebras over Number Fields
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationKhukhro, E. I. and Shumyatsky, P. MIMS EPrint: Manchester Institute for Mathematical Sciences School of Mathematics
Nonsoluble and non-p-soluble length of finite groups Khukhro, E. I. and Shumyatsky, P. 2013 MIMS EPrint: 2013.79 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester
More informationMaximal Class Numbers of CM Number Fields
Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationHomework #5 Solutions
Homework #5 Solutions p 83, #16. In order to find a chain a 1 a 2 a n of subgroups of Z 240 with n as large as possible, we start at the top with a n = 1 so that a n = Z 240. In general, given a i we will
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationGroups that are pairwise nilpotent
Groups that are pairwise nilpotent Gérard Endimioni C.M.I, Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr Gunnar Traustason
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationSEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS. D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum
SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum Abstract. We study the semi-invariants and weights
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationφ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationNILPOTENT NUMBERS JONATHAN PAKIANATHAN AND KRISHNAN SHANKAR
NILPOTENT NUMBERS JONATHAN PAKIANATHAN AND KRISHNAN SHANKAR Introduction. One of the first things we learn in abstract algebra is the notion of a cyclic group. For every positive integer n, we have Z n,
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationGroups with Few Normalizer Subgroups
Irish Math. Soc. Bulletin 56 (2005), 103 113 103 Groups with Few Normalizer Subgroups FAUSTO DE MARI AND FRANCESCO DE GIOVANNI Dedicated to Martin L. Newell Abstract. The behaviour of normalizer subgroups
More information10 l-adic representations
0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois
More informationHOMEWORK Graduate Abstract Algebra I May 2, 2004
Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
More informationSemiregular automorphisms of vertex-transitive cubic graphs
Semiregular automorphisms of vertex-transitive cubic graphs Peter Cameron a,1 John Sheehan b Pablo Spiga a a School of Mathematical Sciences, Queen Mary, University of London, Mile End Road, London E1
More informationarxiv:math/ v1 [math.rt] 1 Jul 1996
SUPERRIGID SUBGROUPS OF SOLVABLE LIE GROUPS DAVE WITTE arxiv:math/9607221v1 [math.rt] 1 Jul 1996 Abstract. Let Γ be a discrete subgroup of a simply connected, solvable Lie group G, such that Ad G Γ has
More informationOn non-hamiltonian circulant digraphs of outdegree three
On non-hamiltonian circulant digraphs of outdegree three Stephen C. Locke DEPARTMENT OF MATHEMATICAL SCIENCES, FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FL 33431 Dave Witte DEPARTMENT OF MATHEMATICS, OKLAHOMA
More informationGroups with many subnormal subgroups. *
Groups with many subnormal subgroups. * Eloisa Detomi Dipartimento di Matematica, Facoltà di Ingegneria, Università degli Studi di Brescia, via Valotti 9, 25133 Brescia, Italy. E-mail: detomi@ing.unibs.it
More informationFINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN
FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN A. I. LICHTMAN AND D. S. PASSMAN Abstract. In his recent series of lectures, Prof. B. I. Plotkin discussed geometrical properties of the
More informationCentralizers of Finite Subgroups in Simple Locally Finite Groups
Centralizers of Finite Subgroups in Simple Locally Finite Groups Kıvanc. Ersoy 1 Simple Locally Finite Groups A group G is called locally finite if every finitely generated subgroup of G is finite. In
More informationCYCLICITY OF (Z/(p))
CYCLICITY OF (Z/(p)) KEITH CONRAD 1. Introduction For each prime p, the group (Z/(p)) is cyclic. We will give seven proofs of this fundamental result. A common feature of the proofs that (Z/(p)) is cyclic
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/37019 holds various files of this Leiden University dissertation Author: Brau Avila, Julio Title: Galois representations of elliptic curves and abelian
More informationPROFINITE GROUPS WITH RESTRICTED CENTRALIZERS
proceedings of the american mathematical society Volume 122, Number 4, December 1994 PROFINITE GROUPS WITH RESTRICTED CENTRALIZERS ANER SHALEV (Communicated by Ronald M. Solomon) Abstract. Let G be a profinite
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationOn the structure of some modules over generalized soluble groups
On the structure of some modules over generalized soluble groups L.A. Kurdachenko, I.Ya. Subbotin and V.A. Chepurdya Abstract. Let R be a ring and G a group. An R-module A is said to be artinian-by-(finite
More informationOn Torsion-by-Nilpotent Groups
Journal of Algebra 241, 669676 2001 doi:10.1006jabr.2001.8772, available online at http:www.idealibrary.com on On Torsion-by-Nilpotent Groups Gerard Endimioni and Gunnar Traustason 1 C.M.I., Uniersite
More informationOn Torsion-by-Nilpotent Groups
On Torsion-by-Nilpotent roups. Endimioni C.M.I. - Université de Provence, UMR-CNRS 6632, 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr and. Traustason Department
More informationAn arithmetic theorem related to groups of bounded nilpotency class
Journal of Algebra 300 (2006) 10 15 www.elsevier.com/locate/algebra An arithmetic theorem related to groups of bounded nilpotency class Thomas W. Müller School of Mathematical Sciences, Queen Mary & Westfield
More informationClassifying Camina groups: A theorem of Dark and Scoppola
Classifying Camina groups: A theorem of Dark and Scoppola arxiv:0807.0167v5 [math.gr] 28 Sep 2011 Mark L. Lewis Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu
More informationPseudo Sylow numbers
Pseudo Sylow numbers Benjamin Sambale May 16, 2018 Abstract One part of Sylow s famous theorem in group theory states that the number of Sylow p- subgroups of a finite group is always congruent to 1 modulo
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationOn Compact Just-Non-Lie Groups
On Compact Just-Non-Lie Groups FRANCESCO RUSSO Mathematics Department of Naples, Naples, Italy E-mail:francesco.russo@dma.unina.it Abstract. A compact group is called a compact Just-Non-Lie group or a
More informationBounds for the orders of the finite subgroups of G(k)
Group Representation Theory, eds. M. Geck, D. Testerman, J. Thévenaz, EPFL Press, Lausanne 2006 Bounds for the orders of the finite subgroups of Gk) Jean-Pierre SERRE Introduction The present text reproduces
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationCHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS
CHARACTER THEORY OF FINITE GROUPS Chapter 1: REPRESENTATIONS G is a finite group and K is a field. A K-representation of G is a homomorphism X : G! GL(n, K), where GL(n, K) is the group of invertible n
More informationLECTURE NOTES AMRITANSHU PRASAD
LECTURE NOTES AMRITANSHU PRASAD Let K be a field. 1. Basic definitions Definition 1.1. A K-algebra is a K-vector space together with an associative product A A A which is K-linear, with respect to which
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationGalois theory (Part II)( ) Example Sheet 1
Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that
More informationRepresentations. 1 Basic definitions
Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then
More informationMod p Galois representations of solvable image. Hyunsuk Moon and Yuichiro Taguchi
Mod p Galois representations of solvable image Hyunsuk Moon and Yuichiro Taguchi Abstract. It is proved that, for a number field K and a prime number p, there exist only finitely many isomorphism classes
More informationMINIMAL 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 informationz-classes in finite groups of conjugate type (n, 1)
Proc. Indian Acad. Sci. (Math. Sci.) (2018) 128:31 https://doi.org/10.1007/s12044-018-0412-5 z-classes in finite groups of conjugate type (n, 1) SHIVAM ARORA 1 and KRISHNENDU GONGOPADHYAY 2, 1 Department
More informationON MATCHINGS IN GROUPS
ON MATCHINGS IN GROUPS JOZSEF LOSONCZY Abstract. A matching property conceived for lattices is examined in the context of an arbitrary abelian group. The Dyson e-transform and the Cauchy Davenport inequality
More informationOn the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional Lie group E 8
213 226 213 arxiv version: fonts, pagination and layout may vary from GTM published version On the Rothenberg Steenrod spectral sequence for the mod 3 cohomology of the classifying space of the exceptional
More informationON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS
ON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS GUNTER MALLE Abstract. We propose a modification of the predictions of the Cohen Lenstra heuristic for class groups of number fields in the case where
More informationGroup Gradings on Finite Dimensional Lie Algebras
Algebra Colloquium 20 : 4 (2013) 573 578 Algebra Colloquium c 2013 AMSS CAS & SUZHOU UNIV Group Gradings on Finite Dimensional Lie Algebras Dušan Pagon Faculty of Natural Sciences and Mathematics, University
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
More informationSubrings of Finite Commutative Rings
Subrings of Finite Commutative Rings Francisco Franco Munoz arxiv:1712.02025v1 [math.ac] 6 Dec 2017 Abstract We record some basic results on subrings of finite commutative rings. Among them we establish
More informationA NOTE ON SPLITTING FIELDS OF REPRESENTATIONS OF FINITE
A NOTE ON SPLITTING FIELDS OF REPRESENTATIONS OF FINITE GROUPS BY Let @ be a finite group, and let x be the character of an absolutely irreducible representation of @ An algebraic number field K is defined
More informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
More information1 Lecture 1 (1/5/2009)
1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think
More information1 Lecture 1 (1/5/2009)
1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think
More informationDUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE
DUALITY, CENTRAL CHARACTERS, AND REAL-VALUED CHARACTERS OF FINITE GROUPS OF LIE TYPE C. RYAN VINROOT Abstract. We prove that the duality operator preserves the Frobenius- Schur indicators of characters
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More informationA connection between number theory and linear algebra
A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.
More informationMath 210C. A non-closed commutator subgroup
Math 210C. A non-closed commutator subgroup 1. Introduction In Exercise 3(i) of HW7 we saw that every element of SU(2) is a commutator (i.e., has the form xyx 1 y 1 for x, y SU(2)), so the same holds for
More information