Group Theory Problems
|
|
- Annice Johnson
- 5 years ago
- Views:
Transcription
1 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 in G. Show that H has finitely many conjugates in G. Conclude that if a grou has a subgrou of finite index, then it has a normal subgrou of finite index. (See also Exercise 49). 1. (P. Hall) a. Show that for x, y, z G, [x, yz] = [x, z][x, y] z and [xy, z] = [x, z] y [y, z]. Conclude that if H, K G, then H and K normalize the subgrou [H, K]. Conclude also that if A G is an abelian subgrou and if g N G (A), then ad(g) : A A is a grou homomorhism whose kernel is C A (g). b. Let x, y, z be three elements of G. Show that [[x, y 1 ], z] y [[y, z 1 ], x] z [[z, x 1 ], y] x = 1. Conclude that if H and K are two subgrous of a grou G and if [[H, K], K] = 1, then [H, K'] = 1. c. (Three Subgrou Lemma of P. Hall) Let H, K, L be three normal subgrous of G. Using art b, show that [[H, K], L] [[K, L], H][[L, H], K]. d. Conclude from art (c) that [G i, G j ] G i+j+1, G (i) i G 2, [G i, Z j ] Z j i 1, [Z i+1, G i ] = 1. e. Show that a nilotent grou is solvable. Show that the converse of this statement is false. 2. Let A G be an abelian subgrou and let g G. By Exercise 1.a, ad(g): A A is a grou homomorhism. Assume that [G', A] = 1. Show the following: a. C A (g) G. b. [g, A] = ad(g)(a). c. [g, A] G. 3a. Let G be nilotent of class n. Show that G n i Z i. Conclude that G = Z n. b. Conversely, assume that G = Z n. Show that G i Z n i. Conclude that G is nilotent of class n. c. Show that G is nilotent of class n if and only if Z n = G and Z n 1 G. 4. Let H G and K, L G. a. Show that [KH/H, LH/H] = [K, L]H/H. 1 From Borovik-Nesin, Grous of Finite Morley Rank, chater 1.
2 b. Conclude that if G is solvable (res. nilotent), then so are H and G/H. c. Show that if G/H and H are solvable, then so is G. d. Find an examle where the revious result fails if we relace the word solvable by nilotent. e. Deduce from art c that if A and B are solvable subgrous of G and if one of them normalizes the other, then A, B = AB is also solvable. 5. Let X Z n be a normal subgrou of G. Show that G is nilotent if and only if G/X is. Let i be fixed integer. Show that G is nilotent of class n if and only if G/Z i is nilotent of class n i. Show that Z i is nilotent of class i. Find a (nilotent) grou where Z 2 Z and Z 2 is abelian. (See also Exercise 41). 6. Show that a nilotent grou G satisfies the normalizer condition (i.e. if H < G then H < N G (H)). 7. (Hirsch) Let G be a nilotent grou. Show that if G = HN ' for some H G, then H = G. 8. (Hirsch) Let G be a nilotent grou. Show that if 1 H G, then H Z Let A and B be two normal nilotent subgrous of G. Show that the subgrou A, B = AB is also normal and nilotent. 10. a. Show that the subgrou G n is generated by the elements of the form [x 1, [x 2,..., [x n, x n+1 ]...]], where x i G. Find a similar statement for G (n). b. Show that an abelian grou is locally finite if and only if it is a torsion grou. Conclude that a solvable grou is locally finite if and only if it is a torsion grou. c. Let be a rime. Show that a nilotent-by-finite -grou is solvable and hence locally finite. 11. Show that for x, y G and n a ositive integer, [x n, y] = n 1 n 2 x x [ x, y] [ x, y]...[ x, y]. 12a. Let g G and H G be such that [g, H] Z. Show that the ma ad(g): H Z is a grou homomorhism. Show that for all h H, n Z, [g, h] n = [g n, h] = [g, h n ]. b. Using Exercise 11, show that if z Z 2 and z n Z, then [z, G] is a central subgrou of finite exonent and that ex([z, G]) divides n. c. (Mal'cev, McLain) Use art b to rove, by induction on the nilotency class, that if a nilotent grou has an element of order where is a rime, then it has central elements of order. d. Let G be a nilotent grou and D a -divisible subgrou of G. Show that D commutes with all the -elements of G. Deduce that in a divisible nilotent grou, elements of finite order form a central subgrou Divisible Nilotent Grous. (Chernikov) Let be a rime and let G be a -divisible nilotent grou. a. Show that if g Z, then g Z.
3 b. Conclude that Z is -divisible, contains all the -elements and that G/Z is - torsion-free and -divisible. c. Show that G/Z i is -torsion-free for all i 1. d. Conclude that Z i+1 /Z i is -torsion-free and -divisible for i Let G be a nilotent grou. a. Let i 1 be an integer. Show that G/G i is -divisible if and only if G/G i+1 is - divisible. b. Conclude that G is -divisible if and only if G/G' is -divisible. c. Show that G has a unique maximal -divisible subgrou D. d. Assume that for some D G, D and G/D are -divisible. Show that G is - divisible. 15. (Dixmier). Let G be nilotent and assume that ex(g/g') = n. a. Show that ex(g i /G i+1 ) n for all i. b. Conclude that ex(g) n c where c is the nilotency class of G. 16. Let P be a Sylow -subgrou of G. Show that P is characteristic in N G (P). Conclude that N G (N G (P)) = N G (P). By Exercise 6, if G is nilotent, N G (P) = G, i.e. P G. Conclude that, for a given rime, a nilotent grou G has a unique Sylow - subgrou, and that if G is torsion, then G is the direct sum of its Sylow -subgrous. 17. Let t G be an involution. Let X = {[t, g]: g G} a. Show that for x X, x t = x 1 and that t X. Conclude that the elements of tx are involutions. b. Show that the ma ϕ : G/C G (t) X defined by ϕ(gc G (t)) = [t, g 1 ] is a welldefined bijection. c. Assume from now on that G is finite and that C G (t) = {1, t}. We will show that X is an abelian 2'-subgrou and G = X {1, t}. By art b, X = G /2. By art a and by assumtion, X has no involutions. Therefore X tx =. Conclude that G = X tx and that X is the set of elements of order 2 of G. Therefore, X is a characteristic subset of G. Let x X \ {1} be a fixed element. Conclude that t x inverts X as well (relace t by t x ). Conclude that 1 x 2 = tt x centralizes X. Therefore X = C G (x 2 ) G. Since t inverts X, X is an abelian grou without involutions. 18. Let G be a finite grou with an involutive automorhism α without nontrivial fixed oints. Show that G is inverted by α. 19a. Let G be a grou of rime exonent. Show that for g G *, no two distinct elements of g can be conjugated in G. b. Show that if ex(g) =, then G has at least conjugacy classes. c. (Reineke) Let G be a grou and assume that for some x G of finite order, we have G = x G {1}. Show that G = 1 or Let G be an arbitrary torsion grou without involutions. Note that G is 2- divisible (see Exercise 36). Assume G has an involutive automorhism α that does
4 not fix any nontrivial elements of G. We will show that G is abelian and is inverted by α. a. Show that for a, b G, if a 2 = b 2 then a = b. Let g G. Let h G be such that h 2 = g α g. b. Show that (h α ) 2 = (h 1 ) 2. Conclude that h α =h 1. c. Show that (gh 1 ) α = gh 1. Deduce that g = h. This roves the result. 21. (I. Schur 2 ). Assume that G/Z is finite. We will show that G' is finite. Let G/Z = n. a. Show that the set X = {[g, h]: g, h G} has cardinality n 2. n1 nk b. Let X = {x 1,..., x k }. Show that G' = { x... x : n i N}. c. Show that for all g, h G, [g, h] n+1 = g 1 [g, h] n g[g, h] = g 1 [g, h] n 1 [ ] 2, h g 1 g g. d. Conclude from arts (b) and (c) that every element of G' is a roduct of at most n 3 elements of X and so G' is finite. 22. (R. Baer). Let A, B be subgrous of G that normalize each other. Assume that the set X = {[a, b]: a A, b B} is finite. We will show that [A, B] is finite. Note first that, without loss of generality, we may assume that G = AB. With this assumtion A and B are normal subgrous of G. Let U = [A, B] A B. Clearly U G. a. Show that C G (X) is a normal subgrou of finite index in G. Show that C G (X) centralizes U. b. Deduce from art (a) that C G (X) U is a central subgrou of U and has finite index in U. Exercise 21 imlies that U' is finite. c. Show that, without loss of generality, we may assume that U' = 1. d. Clearly the subset {[a, u] : a A, u U} of X is finite and these elements commute with each other. Show that [a, u] 2 = [a, u 2 ]. Conclude that [A, U] is finite. Show that, without loss of generality, we may assume that [A, U] = 1. Conclude that, without loss of generality U is central in G. e. Show that X is closed under the squaring ma x x 2. Conclude that [A, B] is finite. 23. Comletely Reducible Grous. A grou is said to be comletely reducible if it is the direct sum of finitely many nonabelian simle grous. A subgrou H of a grou G is called subnormal if there is a finite chain H = H 1... H _n = G. We assume in this exercise that G is a comletely reducible grou and we let G = A i where each A i is a simle nonabelian grou. i =1,...,n a. We first want to show that any simle, nontrivial and normal subgrou H of G is one of the subgrous A i. This will show that the subgrous A i are uniquely determined. Let 1 h = a 1... a n H where a i A i. Assume a i 1. Let b i A i \ C a ). Show that 1 [h, b i ] A i H, conclude that A i = H. A ( i i b. Show that every normal subgrou of G is a direct sum of the subgrous A i. Conclude that every normal subgrou of G is comletely reducible and has a comlement. 2 If I am not mistaken, this exercise, the way it intends to lead to the result, contains a mistake. 1 k
5 c. Conclude from (a) that a subnormal subgrou of G is a normal subgrou. 24. Let G be a finite grou. Let A be a minimal normal subgrou of G. a. Show that if A has a nontrivial normal solvable subgrou, then A is an elementary abelian subgrou. From now on we assume that A has no nontrivial normal solvable subgrou. We will show that A is comletely reducible. Let B be a minimal A-normal subgrou of A. b. Show that for any g G, B g is also a minimal A-normal subgrou of A. Conclude that if C A, then either B g C or C B g g1 = 1. Deduce that A = B... gn B for some g 1,..., g n G. c. Show that B is simle. 25. (Generalized Quaternions) Let G be the grou generated by the elements x and y subject to the relations x m = y 2 and x y = x 1 where m > 0. Show that x G. Note that x m = x my = y 2y = y 2 = x m. Conclude that G 4m. In fact G = 4m. When m is even, G is called a generalized quaternion grou. When m = 2, G is called the quaternion grou. Semidirect Products Let U and T be two grous and let ϕ: T Aut(U), t ϕ t be a grou homomorhism. We will construct a new grou denoted by U ϕ T, or just by U T for short. The set on which the grou oeration is defined is the Cartesian roduct U T, and the oeration is defined as follows: (u, t)(u', t') = (u.ϕ t (u'), tt'). The reader will have no difficulty in checking that this is a grou with (1, 1) as the identity element. The inverse is given by the rule: (u, t) 1 1 = ( ϕ ( u ), t 1 ). Let G denote this grou. G is called the semidirect roduct of U and T (in this order; we also omit to mention ϕ). U can be identified with U {1} and hence can be regarded as a normal subgrou of G. T can be identified with {1} T and can be regarded as a subgrou of G. Then the subgrous U and T of G have the following roerties: U G, T G, U T = 1 and G = UT. Conversely, whenever a grou G has subgrous U and T satisfying these roerties, G is isomorhic to a semidirect roduct U ϕ T where ϕ : T Aut(U) is given by ϕ t (u) = tut 1. When G = U T, one says that the grou G is slit 3 ; then the subgrous U and T are called each other's comlements. We also say that T (or U) slits in G. Note that T is not the only comlement of U in G: for examle, any conjugate of T is still a comlement of U. When the subgrou U is abelian, it is customary to denote the grou oeration of U additively. In this case, it is suggestive to let tu = ϕ t (u). Then the grou oeration can be written as: (u, t)(u', t') = (tu' + u, tt'). The reader should comare this with the following formal matrix multilication: t 0 u t' t u' tt' tu' + u = This is an abuse of language: every grou G is slit, for examle as G = G {1}. When we use the term slit, we have either U or T around.
6 Examles. 1. Let V be a vector sace and GL(V) be the grou of all vector sace automorhisms of V. The grou V GL(V) (where ϕ = Id) is a subgrou of Sym(V) as follows: (v, g)(w) = gw + v. 2. The subgrou B n (K) that consists of all the invertible n n uer triangular matrices over a field K is the semidirect roduct of UT n (K) (uer-triangular matrices with ones on the diagonal) and T n (K) (invertible diagonal matrices). Exercises. 26. Let K be any field. Show that the grou t u * G = : t K, 0 1 u K is a semidirect roduct of the form G' T for some subgrou T. This grou is called the affine grou. 27. Show that the direct roduct of two grous is a secial case of semidirect roduct. 28. Let G = U T. a. Let U H G. Show that H = U (H T). b. Let T H G. Show that H = (U H) T. c. Show that if T is abelian then G' U. d. Show that if T 1 T, then N U (T 1 ) = C U (T 1 ). 29. Let G = U T. Let t T and x U. Show that xt is G-conjugate to an element of T if and only if xt is conjugate to t if and only (xt) u = t for some u U if and only if x [U, t 1 ]. 30. Let G = U T and let V U be a G-normal subgrou of U. Show that G/V U/V T in a natural way. 31. Let G = U T and let V U be a G-normal subgrou of U. By Exercise 30, G/V U/V T. Let t T be such that V = ad(t)(v) and U/V = ad(t)(u/v). Show that U = ad(t)(u). 32. Let K be a field and let n be a ositive integer. For t K * and x K, let ϕ t (x) = t n x. Set G = K + ϕ K *. What is the center of G? Show that Z 2 (G) = Z(G). What is the condition on K that insures G' K +? Show that G is isomorhic to a subgrou of GL 2 (K). Abelian Grous We will need the following fact several times:
7 Fact 1. Let G be an abelian grou. Let D be a divisible subgrou of G. Then D has a comlement in G, i.e. G = D H for some H G. Furthermore every subgrou disjoint from D can be extended to a comlement of D. Sketch of the roof: It is enough to rove the second statement. Let K be a subgrou disjoint from D. Using Zorn's Lemma, find a subgrou H containing K, disjoint from D and maximal for these roerties. The maximality of H insures that G = D H. From this fact it follows that, for some subgrou H, G = D(G) H where D(G) is the unique maximal divisible subgrou of G. Clearly H has no nontrivial, divisible subgrous. We will also make use of the following elementary result: Fact 2. A finitely generated abelian grou is a direct sum of finitely many cyclic grous. Prüfer -grou. Let be any rime and consider the subset n Z = {x C: x = 1 for some n N} of comlex numbers of norm 1. With the usual multilication of comlex numbers, Z is an infinite countable abelian grou. It is called the Prüfer -grou. Every element of Z exactly n elements of e n 2kπi / has finite order n for some n. Given a natural number n, there are Z that satisfy the equation n x = 1 (namely the elements where k = 0,..., n 1). Note that Z is the union of the ascending chain of finite subgrous n {x C: x = 1} which are isomorhic to the cyclic grous Z/ n Z. Thus every finite subset of Z generates a finite cyclic grou (isomorhic to Z/ n Z for some n N), i.e. Z is a locally cyclic grou. Exercises. 33. Let G and H be two abelian grous of the same rime exonent (such grous are called elementary abelian -grous) and of the same cardinality. Noting the fact that G and H are vector saces over the field F, show that these grous are isomorhic to each other. (See also Exercise 34). 34. Let G and H be two torsion-free abelian divisible grous of the same uncountable cardinality. Noting the fact that G and H are vector saces over Q, show that G H. (Comare this with Exercise 35). 35. Show that the grou Q has no roer, nontrivial divisible subgrous. Conclude that Q and Q Q are not isomorhic. Generalize this to Q. i =1,..., n 36. Show that a (not necessarily abelian) torsion grou that has no elements of order where is a rime is -divisible. Show that a grou which is -divisible for all rimes is divisible. Deduce that Z is a divisible abelian grou.
8 37. Show that if a divisible abelian grou contains an element of order, then it contains a subgrou isomorhic to Z. 38. Let G be a divisible abelian grou and a rime. Let G be the set of elements of order of G together with 1. G is an elementary abelian -grou and so it can be considered as a vector sace over the field F of elements. Let κ be the dimension of G over F. Show that G contains a direct sum of κ coies of called the Prüfer -rank of G. Z. κ is 39. Let G be a divisible abelian grou. Show that G = T(G) F where T(G) is the set of torsion elements and F is some divisible torsion-free subgrou. Conclude that a divisible abelian grou is isomorhic to a grou of the form: ( Z ) ( Q) for some sets I and I. rime I 40. Let K be an algebraically closed field. First assume that char(k) = 0. Show that * K Z ( Q) = rime for some I. Now assume that char(k) = > 0. Show that * K Z ( Q) for some I. = q, q rime 41. Let G = Z Z/2Z where Z/2Z acts on Z I I I by inversion (i.e. if 1 i Z/2Z then ϕ i (g) = g 1 for all g Z. Show that G is solvable of class 2, nonnilotent but that the chain (Z _n (G)) n N is strictly increasing. Show that G is isomorhic to a Sylow 2-subgrou of PSL 2 (K) where K is an algebraically closed field of characteristic 2. (Recall that SL 2 (K) is the grou consisting of 2 2 matrices of determinant 1 over K, and PSL 2 (K) is the factor grou of SL 2 (K) modulo its center that consists of the two scalar matrices ±1). What is the Sylow 2-subgrou of SL 2 (K) when char(k) = 2? 42. Let G be the direct sum of finitely many coies of Z. Show that if H G is an infinite subgrou then H contains a nontrivial divisible subgrou. 43. This exercise will show the advantages of the additive notation over the multilicative one. Let G be a grou and let A G be an abelian subgrou. Let g N G (A). Thus g acts on A by conjugation. Let ğ Aut(A) denote the automorhism of A induced by g. We can view ğ as an element of the ring End(A) and, denoting A additively, we can consider the endomorhism ğ 1. (For a A, (ğ 1)(a) translates into [g, a 1 ] when the grou oeration of A is denoted multilicatively). Let be a rime number and assume that g C G (A). Show that either g C G (A) or ğ is an automorhism of order. Assume now that ex(a) =. Show that (ğ - 1) = 0. Conclude that C A (g) 0. Conclude also that if A is infinite then C A (g) is also infinite.
9 44a. Conclude from the receding exercise that if H G is a normal subgrou of finite index with a nontrivial center and if G is a -grou for a rime, then G has a nontrivial center. Deduce that a nilotent-by-finite -grou has a nontrivial center. b. Let G be a nilotent-by-finite -grou. Let 1 H G. Show that H Z(G) 1. c. Show that if G is a nilotent-by-finite -grou and X < G, then X < N G (X). This roerty is called the normalizer condition. Permutation Grous. Let G be a grou and X a set. We say that G acts on X or that (G, X) is a ermutation grou if there is a ma G X X (denoted by (g, x) g * x or gx) that satisfies the following roerties: 1 For all g, h G and all x X, g(hx) = (gh)x. 2 For all x X, 1x = x. This is saying that there is a grou homomorhism ϕ: G Sym(X) where Sym(X) is the grou of all bijections of X. The kernel of ϕ is called the kernel of the action. When ϕ is one-to-one, the action is called faithful. In other words, G acts faithfully on X when gx = x for all x X imlies g = 1. Note that G/ker(ϕ) acts on X in a natural way: ğx = gx, and this action is faithful. Two ermutation grous (G, X) and (H, Y) are called equivalent if there are a grou isomorhism f : G H and a bijection ϕ : X Y such that for all g G, x X we have ϕ(gx) = f(g)ϕ(x). Let (G, X) be a ermutation grou. For any Y X, we let G Y = {g G : gy = y for all y Y}. G Y is called the ointwise stabilizer of Y. Note that G Y G is a subgrou. When Y = {x 1,..., x n }, we write G x,..., x instead of G 1 n Y. Clearly G Y is the intersection of the subgrous G y for y Y. For g G and Y X we define gy = {gy: y Y} and the setwise stabilizer G(Y) = {g G : gy = Y} of Y. We have G Y G(Y). Finally for A G, we define F(A) = {x X: ax = x for all a A}, the set of fixed oints of A. Exercise. 45. Let A, B G and Y, Z X. Then the following hold: i. A G F(A). ii. Y F(G A ). iii. If A B then F(B) F(A). iv. If Y Z, then G Z G Y. v. F(G F(A) ) = F(A). vi. G F G ) = G Y. ( Y We say that G acts n-transitively on X if X n and if for any airwise distinct x 1,..., x n X and any airwise distinct y 1,..., y n X, there is a g G such that gx i = y i for all i = 1,..., n. Transitive means 1-transitive. We say that (G, X) is sharly n- transitive if it is n-transitive and if the stabilizer of n distinct oints is reduced to {1}; in other words, if for any distinct x 1,..., x n X and any distinct y 1,..., y n X, there is a unique g G such that gx i = y i X for all i = 1,..., n. Sharly 1-transitive actions
10 are also called regular actions. U to equivalence, each grou has only one regular action (see Exercise 46). Clearly, for every n and X = n, (Sym(X), X) is sharly n and also sharly (n 1)-transitive. If for g G, x X, gx = x imlies g = 1, we say that the action of G is free or that G acts freely on X. Let X be a grou and G Aut(X). Then (G, X) is a ermutation grou. By abuse of language, one says that G acts freely (res. regularly) on X if G acts freely (res. regularly) on X *. Now we give the most imortant and, u to equivalence, the only examle of transitive grou actions: Left-Coset Reresentation. Let G be a grou and B G a subgrou. Set X = G/B, the left-coset sace. We can make G act on X by left multilication: h(gb) = hgb. This action is called the left-coset action, or the the left-coset reresentation. The kernel of this action is the core g G B g of B in G, which is the maximal G- normal subgrou of B. Exercises 46. Let (G, X) be a transitive ermutation grou. Let x X be any oint and let B = G x. Then the ermutation grou (G, X) is equivalent to the left-coset reresentation (G, G/B). (Hint: Let f = Id G and ϕ: G/B X be defined by ϕ(gb) = gx.) 47. If N G (B) = B, then the left-coset action of G on G/B is equivalent to the conjugation action of G on {B g : g G}. 48. Let (G, X) be a 2-transitive grou and B = G x. Then G = B BgB for every g G \ B. In articular B is a maximal subgrou of G. Conversely, if G is a grou with a roer subgrou B satisfying the roerty G = B BgB for every (equivalently some) g G \ B, then the ermutation grou (G, G/B) is 2-transitive. (Hint: Assume G is 2-transitive, and let x and B as in the statement. Let g G \ B be a fixed element of G. Let h G \ B be any element. Since G is 2-transitive, there is an element b G that sends the air of distinct oints (x, gx) to the air of distinct oints (x, hx). Thus b B and bgx = hx, imlying h 1 bg B and h BgB.) 49. Let G be a grou and let H G be a subgrou. Assume [G:H] = n. By considering the coset action G Sym(G/H) show that [G : g G H g ] divides n!. The subgrou g G H g is called the core of H in G. 50. Let (G, X) be a ermutation grou. Assume G has a regular normal subgrou A (i.e. the ermutation grou (A, X) is regular). Show that G = A G x for any x X. Show that (G, X) is equivalent to the ermutation grou (G, A) where G = A G x acts on A as follows: For a A, h G x and b A, (ah).b = if and only if C H (A) = 1. 1 h ab. Show that G is faithful 51 Let (G, X) be a ermutation grou. Show that g = G g x x for any x X. Show that if G is an n-transitive grou, then for any 1 i n, all the i-oint stabilizers are conjugate to each other. G 1
11 52. Let (G, X) be a transitive ermutation grou. Show that if G is abelian then, for any x X, G x is the kernel of the action and (G/G x, X) is a regular ermutation grou. 53. Let n 2 be an integer. Show that (G, X) is n-transitive if and only if (G x, X \ {x}) is (n 1)-transitive for any (equivalently some) x X. State and rove a similar statement for sharly n-transitive grous. 54. Let (G, X) be a ermutation grou. A subset Y X is called a set of imrimitivity if for all g, h G, either gy = hy or gy hy =. If the only sets of imrimitivity are the singleton sets and X, then (G, X) is called a rimitive ermutation grou. Show that a 2-transitive grou is rimitive. Assume that (G, X) is transitive. Show that (G, X) is rimitive if and only if G x is a maximal subgrou for some (equiv. all) x X. Conclude that if G is a 2-transitive grou, then G x is a maximal subgrou. (This also follows from Exercise 48). 55. Let G be a grou and B < G be a roer subgrou with the following roerties: There is a g G such that G = B BgB and if agb = a'gb' for a, a', b, b' B then a = a' and b = b'. Show that (G, G/B) is a sharly 2-transitive ermutation grou. 56. Let G = A H be a grou where H acts regularly on A by conjugation (i.e. on A * ). Show that G is a sharly 2-transitive grou. 57. Let (G, X) be a sharly 2-transitive ermutation grou, and for a fixed x X, set B = G x. Show that for any fixed g G \ B, G = B BgB and if agb = a'gb' for a, b, a', b' B, then a = a' and b = b'. Show also that the conjugates of B are disjoint from each other. Show that there are involutions that swa given any two oints. Conclude that there are involutions outside of B. 58. Show that the grou t u * G = : t K, u K 0 1 acts sharly 2-transitively on the set x X = : x K Show that G = PGL 2 (K) = GL 2 (K)/Z where Z is the set of scalar matrices (which is exactly the center of GL 2 (K)) acts sharly 3-transitively on G/B where B = B 2 (K). Show that there is a natural corresondence between G/B and the set K {}. Transort the action of G on K {} and describe it algebraically. 60. Let V be a vector sace over a field K. Show that V GL(V) acts 2- transitively on V (see Examle 1). Show that, when dim K (V) = 1, we find the examle of Exercise 58.
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δ(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 informationDISCRIMINANTS 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 information2 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 information2 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 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 informationElementary 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 informationIntroduction 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 informationUnit 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 informationON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX)0000-0 ON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS WILLIAM D. BANKS AND ASMA HARCHARRAS
More informationQuaternionic 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(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 informationElliptic 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 informationClass 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 informationA 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 informationJordan Journal of Mathematics and Statisticscs (JJMS) l (2), 2008, pp WEAKLY C-NORMAL AND Cs-NORMAL SUBGROUPS OF FINITE GROUPS *
Jordan Journal of Mathematics and Statisticscs (JJMS) l (2), 2008, 23-32 WEAKLY C-NORMAL AND Cs-NORMAL SUBROUPS OF FINITE ROUPS * MOAMMAD TASTOUS ABSTRACT A subgrou of a finite grou is weakly c normal
More informationTutorial on Groups of finite Morley rank
Tutorial on Groups of finite Morley rank adeloro@math.rutgers.edu Manchester, 14-18 July 2008 First tutorial Groups of finite Morley rank first arose in a very model-theoretic context, the study of ℵ 1
More informationQUADRATIC 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 informationElementary theory of L p spaces
CHAPTER 3 Elementary theory of L saces 3.1 Convexity. Jensen, Hölder, Minkowski inequality. We begin with two definitions. A set A R d is said to be convex if, for any x 0, x 1 2 A x = x 0 + (x 1 x 0 )
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More information3. G. Groups, as men, will be known by their actions. - Guillermo Moreno
3.1. The denition. 3. G Groups, as men, will be known by their actions. - Guillermo Moreno D 3.1. An action of a group G on a set X is a function from : G X! X such that the following hold for all g, h
More informationMATH342 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 informationRECIPROCITY 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 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 informationANALYTIC 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 informationMATH 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 informationGENERICITY OF INFINITE-ORDER ELEMENTS IN HYPERBOLIC GROUPS
GENERICITY OF INFINITE-ORDER ELEMENTS IN HYPERBOLIC GROUPS PALLAVI DANI 1. Introduction Let Γ be a finitely generated grou and let S be a finite set of generators for Γ. This determines a word metric on
More informationSolutions of exercise sheet 8
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra
More informationMath 751 Lecture Notes Week 3
Math 751 Lecture Notes Week 3 Setember 25, 2014 1 Fundamental grou of a circle Theorem 1. Let φ : Z π 1 (S 1 ) be given by n [ω n ], where ω n : I S 1 R 2 is the loo ω n (s) = (cos(2πns), sin(2πns)). Then
More informationA 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 informationJacobi 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 informationWeil 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 informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationMath 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 informationTo hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.
Homework #6. Due Thursday, October 14th Reading: For this homework assignment: Sections 3.3 and 3.4 (up to page 167) Before the class next Thursday: Sections 3.5 and 3.4 (pp. 168-171). Also review the
More informationMATH 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 informationA 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 informationCONSEQUENCES OF THE SYLOW THEOREMS
CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.
More informationA 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 informationAlgebraic 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 information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationFrobenius 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 information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
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 informationMA3H1 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 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 informationOn the extension giving the truncated Witt vectors. Torgeir Skjøtskift January 5, 2015
On the extension giving the truncated Witt vectors Torgeir Skjøtskift January 5, 2015 Contents 1 Introduction 1 1.1 Why do we care?........................... 1 2 Cohomology of grous 3 2.1 Chain comlexes
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More informationCommutators on l. D. Dosev and W. B. Johnson
Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Commutators on l D. Dosev and W. B. Johnson Abstract The oerators on l which are commutators are those not of the form λi
More informationits image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1
10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g
More informationAn 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 informationMath 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 informationPiotr 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 informationAlgebra Exercises in group theory
Algebra 3 2010 Exercises in group theory February 2010 Exercise 1*: Discuss the Exercises in the sections 1.1-1.3 in Chapter I of the notes. Exercise 2: Show that an infinite group G has to contain a non-trivial
More informationSF2729 GROUPS AND RINGS LECTURE NOTES
SF2729 GROUPS AND RINGS LECTURE NOTES 2011-03-01 MATS BOIJ 6. THE SIXTH LECTURE - GROUP ACTIONS In the sixth lecture we study what happens when groups acts on sets. 1 Recall that we have already when looking
More informationMATH 6210: SOLUTIONS TO PROBLEM SET #3
MATH 6210: SOLUTIONS TO PROBLEM SET #3 Rudin, Chater 4, Problem #3. The sace L (T) is searable since the trigonometric olynomials with comlex coefficients whose real and imaginary arts are rational form
More informationTHE CHARACTER GROUP OF Q
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 ointwise
More informationMATH 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 informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationYale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions
Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope
More informationRINGS 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 informationALGEBRAIC TOPOLOGY MASTERMATH (FALL 2014) Written exam, 21/01/2015, 3 hours Outline of solutions
ALGERAIC TOPOLOGY MASTERMATH FALL 014) Written exam, 1/01/015, 3 hours Outline of solutions Exercise 1. i) There are various definitions in the literature. ased on the discussion on. 5 of Lecture 3, as
More informationIDENTIFYING 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 informationAlgebraic number theory LTCC Solutions to Problem Sheet 2
Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then
More informationChapter 1. Sets and Mappings
Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More informationQUADRATIC RESIDUES AND DIFFERENCE SETS
QUADRATIC RESIDUES AND DIFFERENCE SETS VSEVOLOD F. LEV AND JACK SONN Abstract. It has been conjectured by Sárközy that with finitely many excetions, the set of quadratic residues modulo a rime cannot be
More informationClass 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 informationIntroduction to Banach Spaces
CHAPTER 8 Introduction to Banach Saces 1. Uniform and Absolute Convergence As a rearation we begin by reviewing some familiar roerties of Cauchy sequences and uniform limits in the setting of metric saces.
More informationON 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 informationGOOD 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 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 informationSets of Real Numbers
Chater 4 Sets of Real Numbers 4. The Integers Z and their Proerties In our revious discussions about sets and functions the set of integers Z served as a key examle. Its ubiquitousness comes from the fact
More informationABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY
ABSTRACT ALGEBRA: REVIEW PROBLEMS ON GROUPS AND GALOIS THEORY John A. Beachy Northern Illinois University 2000 ii J.A.Beachy This is a supplement to Abstract Algebra, Second Edition by John A. Beachy and
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 informationChapter 1 Preliminaries
Chapter 1 Preliminaries 1.1 Conventions and Notations Throughout the book we use the following notations for standard sets of numbers: N the set {1, 2,...} of natural numbers Z the set of integers Q the
More informationCONJUGATION IN A GROUP
CONJUGATION IN A GROUP KEITH CONRAD 1. Introduction A reflection across one line in the plane is, geometrically, just like a reflection across any other line. That is, while reflections across two different
More informationt s (p). An Introduction
Notes 6. Quadratic Gauss Sums Definition. Let a, b Z. Then we denote a b if a divides b. Definition. Let a and b be elements of Z. Then c Z s.t. a, b c, where c gcda, b max{x Z x a and x b }. 5, Chater1
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #10 10/8/2013 In this lecture we lay the groundwork needed to rove the Hasse-Minkowski theorem for Q, which states that a quadratic form over
More informationGROUP ACTIONS EMMANUEL KOWALSKI
GROUP ACTIONS EMMANUEL KOWALSKI Definition 1. Let G be a group and T a set. An action of G on T is a map a: G T T, that we denote a(g, t) = g t, such that (1) For all t T, we have e G t = t. (2) For all
More informationLECTURE 6: FIBER BUNDLES
LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class o ibrations given by iber bundles. Fiber bundles lay an imortant role in many geometric contexts. For examle, the Grassmaniann
More informationPermutability Degrees of Finite Groups
Filomat 30:8 (06), 65 75 DOI 0.98/FIL60865O Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: htt://www.mf.ni.ac.rs/filomat Permutability Degrees of Finite Grous
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 informationDIVISIBILITY 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 informationHomework 2 /Solutions
MTH 912 Group Theory 1 F18 Homework 2 /Solutions #1. Let G be a Frobenius group with complement H and kernel K. Then K is a subgroup of G if and only if each coset of H in G contains at most one element
More informationSome 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 informationSUBORBITAL 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 informationHeuristics 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 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 informationThe 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 informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationThe Euler Phi Function
The Euler Phi Function 7-3-2006 An arithmetic function takes ositive integers as inuts and roduces real or comlex numbers as oututs. If f is an arithmetic function, the divisor sum Dfn) is the sum of the
More informationSECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY
SECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY In the revious section, we exloited the interlay between (relative) CW comlexes and fibrations to construct the Postnikov and Whitehead towers aroximating
More informationQUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE)
QUADRATIC FORMS, BASED ON (A COURSE IN ARITHMETIC BY SERRE) HEE OH 1. Lecture 1:Introduction and Finite fields Let f be a olynomial with integer coefficients. One of the basic roblem is to understand if
More informationReal Analysis 1 Fall Homework 3. a n.
eal Analysis Fall 06 Homework 3. Let and consider the measure sace N, P, µ, where µ is counting measure. That is, if N, then µ equals the number of elements in if is finite; µ = otherwise. One usually
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 informationNotes on Group Theory. by Avinash Sathaye, Professor of Mathematics November 5, 2013
Notes on Group Theory by Avinash Sathaye, Professor of Mathematics November 5, 2013 Contents 1 Preparation. 2 2 Group axioms and definitions. 2 Shortcuts................................. 2 2.1 Cyclic groups............................
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More informationPh.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018
Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More information