GROUP ACTIONS EMMANUEL KOWALSKI
|
|
- Lucinda Green
- 5 years ago
- Views:
Transcription
1 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 t T, all g 1, g 2 in G, we have g 1 (g 2 t) = (g 1 g 2 ) t. Remark 2. Let a be an action of G on T. For g G, let α g be the map from T to T such that α g (t) = g t. Then for any g 1 and g 2 in G, we get by the second condition α g1 α g2 = α g1 g 2. By the first, we get α g α g 1 = α g 1 α g = Id T, so α g is a bijection, with inverse α g 1. Consequently we have a map α: G Sym(T ), where Sym(T ) is the group of bijections of T (automorphisms in the category of sets). From condition (1) again, the map α is a group homomorphism. Conversely, let α: G Sym(T ) be a group homomorphism. Define a(g, t) = α(g)(t) T. Then a is a group action of G on T. To conclude: it is equivalent to give an action of G on T, or to give a group homomorphism G Sym(T ). Note that for a given set T, there may well exist more than one action of G on T. We want to make actions of a fixed group G on sets into a category. The objects are group actions, and if G acts on T 1 and T 2, a morphism T 1 T 2 of actions of G is a map of sets f : T 1 T 2 such that f(g t 1 ) = g 2 f(t 1 ), where the first action is in T 1, and the second in T 2. We also say that f is a G-morphism. If G acts on T, then the identity Id T is a G-morphism from T to T. Moreover if G acts on T 1, T 2 and T 3 and f 1 : T 1 T 2 and f 2 : T 2 T 3 are G-morphisms, then f 2 f 1 : T 1 T 3 is also one. One can then easily check that there is a category (G sets) with objects the actions of G on varying sets, morphisms the G-morphisms, and the usual composition of functions as composition of morphisms. Note that if f : T 1 T 2 is a bijective G-morphism, then from f(g t 1 ) = g f(t 1 ), we deduce that g t 1 = f 1 (g f(t 1 )), and if we apply this to t 2 = f(t 1 ), we get g f 1 (t 2 ) = f 1 (g t 2 ). In other words, f 1 is a G-morphism. Hence a G-morphism f is an isomorphism if and only if f is bijective, and its inverse in the category of G-sets is the reciprocal bijection. Date: November 17, 2017, 16:56. 1
2 Example 3. (1) For any set T, we can make G act on T by g t = t for all t. Then α is the morphism g Id T. It is called the trivial action of G on T. (2) If G acts on T, then any subgroup H of G also acts on T. Many interesting actions are obtained in this manner. (3) For H G any subgroup, we claim that G acts on G/H by g (xh) = gxh. To check this, we must first check that this formula gives a well-defined map G G/H G/H. This means that we must check that gxh doesn t depend on the choice of the element x in the left coset xh. But if we replace x by xh, for some h H, then we replace gxh by gxhh = gxh since H is a subgroup. One we know that this map is well-defined, it is elementary that it is a group action of G on G/H. Indeed, we have by definition and e G xh = (e G x)h = xh, g 1 (g 2 xh) = g 1 (g 2 xh) = g 1 (g 2 x)h = (g 1 g 2 )xh = g 1 g 2 xh for any x G and g 1, g 2 in G, which establishes the conditions for a group action. In particular, taking H = {e G }, the group G acts on itself by left multiplication x y = xy. (4) For any integer n 1, the symmetric group S n acts on {1,..., n} by σ i = σ(i). (5) For any field K and any integer n 1, the group GL n (K) acts on K n by g x = gx (matrix times vector product). (6) The group G G acts on G by multiplication on both sides: (x 1, x 2 ) y = x 1 yx 1 2. The group G acts on G by conjugation, namely g x = gxg 1. In that case, the corresponding homomorphism G Sym(G) is the group morphism sending an element of G to the associated inner automorphism. (7) Let G act on T. Then we can define other associated actions. For instance, let n 1 be an integer and T 1 = T n. Then the group G acts on T n by g (t 1,..., t n ) = (g t 1,..., g t n ). Let T 2 be the set of subsets of T. Then G acts on T 2 by g X = {g x x X} = α g (X) T. (8) For instance, G acts by conjugation on subsets of G. In fact, it also acts by conjugation on the set of subgroups of G (this set is a subset of T 2 for the action of G by itself on conjugation), because a conjugate xhx 1 of a subgroup of G is also a subgroup of G. (On the other hand, if we consider the action of G on itself by left multiplication, then we do not obtain an action on the set of subgroups, because gh is not necessarily a subgroup of G if H is one). Now we introduce various items of terminology: If G acts on T and S T is such that g s S for all s S, then G also acts on S by the same formula as it does on T, but with the second variable restricted to S. One says that S is a G-invariant subset of T (for the given action). In particular, if S = {t} has a single element and is invariant, then we say that t is a fixed point of the action. This means that g t = t for all g G. 2
3 Let G acts on T. If the homomorphism α: G Sym(T ) is injective, then we say that the action is faithful. This means that e G G is the only element of G such that g t = t for all t T. Assume that G acts on T. Let t T. The map γ t : G T such that γ t (g) = g t is called the orbit map associated to t. Its image γ t (G) = {g t g G} is called the G-orbit of t in T. (Note that γ t : G T is a G-morphism when G is viewed as a set on which G acts by multiplication on the left. Indeed, for g G and x G, we compute γ t (g G x) = γ t (gx) = gx t = g (x t) = g f(x), where we denote g G x the action of G on itself to clarify the computation. This is the definition of a G-morphism in that case). If H is a subgroup of G, the H-orbit of t in T is the orbit for the restricted action of H, namely the subset γ t (H) of T. Lemma 4. Let G act on T. The relation on T defined by t 1 t 2 if and only if there exists g G such that t 2 = g t 1 is an equivalence relation. Its equivalence classes are the orbits of G in T. Proof. (1) We check the condition for an equivalence relation: We have t t since t = e G t. If t 1 t 2, with t 2 = g t 1, then t 1 = g 1 t 2, so t 2 t 1. If t 1 t 2 and t 2 t 3 with t 2 = g t 1 and t 3 = h t 2, then t 3 = hg t 1 so t 1 t 3. (2) Let t 1 T be given. The equivalence class of t 1 is {t 2 T t 1 t 2 } = {t 2 T t 2 = g t 1 for some g G} which is the G-orbit of t 1 in T. Conversely, if S T is the orbit of some element t 1 T, then S is the equivalence class of t 1 (since any g t 1 S is equivalent to t 1 ). Definition 5. Let G act on T. (1) The set of G-orbits of T is denoted G\T (or sometimes T/G). (2) If there is a unique G-orbit in T, then we say that the action of G on T is transitive. Example 6. (1) The action of S n on {1,..., n} is transitive (for instance, i = σ i 1 where σ i (1) = i, σ i (i) = 1 and σ i (j) = j for all j / {1, i}). (2) Let K be a field. The action of GL n (K) on K n has two orbits, namely {0} and K n {0} (if a vector x is non-zero, then there is a basis where it is the first basis vector, and the change of basis matrix from the canonical basis maps the first canonical basis vector e 1 to x, which shows that the orbit of e 1 is equal to K n {0}). (3) Let G act on T. Any orbit S T is G-invariant (since g (h t) = (hg) t S), and the action of G on S is transitive. (4) Let H be a subgroup of G. Then G acts transitively on G/H: for any xh G/H, we have xh = x H, so all cosets are in the orbit of the coset H. In fact, the last example gives all possible examples of transitive G-actions, up to isomorphism (in the category of sets with G-actions). 3
4 Theorem 7 (Orbit-stabilizer Theorem). Let G be a group and T a non-empty set with a G-action. Let t 0 T be a fixed element of T and T 0 T the G-orbit of t 0. Let H = {g G g t 0 = t 0 }, called the stabilizer of t 0 in G. (1) The set H is a subgroup of G. (2) There is a well-defined G-morphism f from G/H to T such that f(xh) = x t 0 for all x G. (3) The map f induces a G-isomorphism of G/H with T 0. In particular, if G is a finite group, then T 0 is finite, its cardinality divides Card(G), and we have Card(T 0 ) = Card(G) Card(H). Proof. (1) follows from the conditions defining an action. (2) Suppose that h H. Then (xh) t = x (h t) = x t by definition of H, so f(xh) = x t is well-defined. (3) First of all, by definition of the action on G/H, we have f(y xh) = f(yxh) = yx t = y (x t) = y f(xh), which means that f is a G-morphism. By construction, the set of values of f is the orbit of x, hence is equal to T since the action is assumed to be transitive. So f is surjective. Finally, let x 1 H and x 2 H be two left cosets of H in G. We have f(x 1 H) = f(x 2 H) if and only if x 1 t = x 2 t, which means that x 1 2 x 1 H, so that x 1 x 2 H, or equivalently x 1 H = x 2 H. So f is also injective, and consequently it is a G-isomorphism. In general, we denote by Stab G (t 0 ) the stabilizer of an element t 0 in a G-set T. Example 8. (1) Let G act on itself by conjugation. Then the stabilizer of x 0 G is the centralizer C G (x 0 ), namely Stab G (x 0 ) = {g G gx 0 g 1 = x 0 } = {g G gx 0 = x 0 g}. The orbit of x 0 is its conjugacy class Cl(x 0 ). Hence we obtain the relation Card(Cl(x 0 )) = Card(G) Card(C G (x 0 )) if the group is finite. (2) Let G act on the set of subgroups of G by conjugation. The stabilizer of a subgroup H 0 G is called the normalizer of H 0 in G, and is denoted N G (H 0 ). The subgroup H 0 is normal in N G (H 0 ), and in fact N G (H 0 ) is the largest subgroup of G with this property. In particular, H 0 is normal in G if and only if N G (H 0 ) = G. (3) As an application, consider a finite group G with cardinality equal to p n for some prime number p and some integer n 1. Consider the action of G on itself by conjugation. Since the orbits form a partition of G, we have Card(G) = T 4 Card(T ),
5 where T runs over the orbits of G, namely over the conjugacy classes in G. If T = Cl(x 0 ) is the conjugacy class of some x 0 G, we have Card(T ) = Card(G) Card(C G (x 0 )). For each x 0, the cardinality of C G (x 0 ) is a divisor of p n, hence has the form p m(x 0) for some integer m(x 0 ) such that 0 m(x 0 ) n. Two things may happen: either C G (x 0 ) = G, or C G (x 0 ) is a proper subgroup of G. In that second case, m(x 0 ) < n and Card(T ) is divisible by p. In the sum over T, we conclude that all terms are divisible by p, except those where T contains a single element. These correspond to elements in the center Z(G) of G (since C G (x 0 ) = G). So the formula shows that there exists k Z such that Card(G) = Card(Z(G)) + kp. Since Card(G) is also divisible by p, we deduce that Card(Z(G)) is divisible by p. In particular Card(Z(G)) p. We conclude that G has a non-trivial center. (4) We use the orbit-stabilizer theorem to compute the cardinality of GL n (F p ) by induction on n 1. For n = 1, we have Card(F p ) = p 1. Now suppose n 2. Then let GL n (F p ) act on the set T = F n p {0} with p n 1 elements. We know that this action is transitive. Consider the first canonical basis vector e 1. Its stabilizer is the subgroup H of all g GL n (F p ) such that g(e 1 ) = e 1, which means the subgroup of matrices ( ) 1 a 0 h where 0 is a column vector of size n 1, where a is a row vector of size n 1, and h is an element of GL n 1 (F p ). So we have Card(GL n (F p )) = Card(H) Card(T ) = (p n 1)p n 1 Card(GL n 1 (F p )). For instance, with n = 2, we obtain Card(GL n (F p )) = (p 2 1)p(p 1) = p(p 1) 2 (p + 1). In general, one can easily deduce by induction on n that Card(GL n (F p )) = p n(n 1)/2 n j=1 (p j 1). (5) Let K be a field and n 1. A flag in K n is a family (V 0,..., V n ) of subspaces of K n such that dim(v i ) = i and V i V i+1 for 0 i n 1. (In particular, V 0 = {0} and V n = K n ). Let T be the set of flags in K n. Then the group GL n (K) acts on T by g (V 0,..., V n ) = (gv 0,..., gv n ), which is again a flag. For instance, let (e 1,..., e n ) be the canonical basis of K n. Then F 0 = ({0}, Ke 1, Ke 1 Ke 2,..., Ke 1 Ke n ) is a flag. The action of G on T is transitive. Indeed, given a flag F = (V 0,..., V n ), there is for 1 i n a vector f i V i that is not in V i 1 ; then the family (f 1,..., f n ) is a basis of K n. 5
6 (Indeed, one checks by induction on i that (f 1,..., f i ) generates V i ). Consider the matrix g such that g(e i ) = f i. Then g GL n (K), and g F 0 = F, so any flag is in the orbit of F 0. Now we compute the stabilizer of F 0 in G = GL n (K). This is the set of g GL n (K) such that g(e i ) Ke 1 Ke i for 1 i n. This means that g is upper-triangular, so a 1,1 { 0 a 2,2 } Stab G (F 0 ) = 0 0 a 3, a n,n Consider now again K = F p for p prime. compute the cardinality of the set of flags: Card(T ) = Card(GL n(f p )) Card(Stab G (F 0 )) = pn(n 1)/2 n j=1 (pj 1) (p 1) n p n(n 1)/2 = We can use the orbit-stabilizer theorem to n j=1 p j 1 p 1. Corollary 9. Let G be a finite group acting on a finite set T. Let F be the set of fixed points of the action. We have Card(T ) = Card(F ) + x [G : Stab G (x)] where x runs over representatives of the non-trivial orbits of G in T. Proof. The orbits of the action of G on T form a partition of T, so the cardinality of T is the sum of the sizes of the orbits. We separate the orbits with a single element, which are exactly the fixed points, from the others, and use for the non-trivial orbits the fact that the size of an orbit T 0 is the index of the stabilizer of some element x in T 0. Here are further illustrations of the use of group actions. Theorem 10 (Sylow). Let G be a finite group of cardinality n and p a prime number. Write n = p k m where k 0 and p does not divide m. (1) There exists a subgroup of cardinality p k in G. (2) If H is a subgroup of G of cardinality a power of p, then there exists a subgroup of G of cardinality p k that contains H. (3) All subgroups of G of cardinality p k are conjugate. Lemma 11. For n = p k m with m coprime to p, the integer ( ) n is not divisible by p. p k Proof. Let S = Z/p k Z {1,..., m}. This is a finite set with n elements. Let T be the set of subsets of S of cardinality p k. This is a finite set with ( ) n p elements. The group Z/p k Z k acts on S by x (y, j) = (x + y, j), and then it acts on T by x X = {x z z X}. 6
7 We claim that the set F T of fixed points of this action is the set with elements Z/p k Z {j} for 1 j m. Indeed, we see first that each such set is indeed fixed by the action. Conversely, let X T be a fixed point of the action. Let (y, j) X be any element. Then for all x Z/p k Z, we have x X = X, hence in particular x (y, j) = (x + y, j) X. Therefore X contains the set Z/p k Z {j}, and we must have X = Z/p k Z {j} because each has the same number of elements. So the cardinality of F is m, which is coprime to p. On the other hand, writing the formula Card(T ) = Card(F ) + R Card(R) where R runs over the orbits of G in T that are not fixed points, we deduce that so Card(T ) is coprime to p. Card(T ) Card(F ) mod p, Proof of the theorem. (1) Let T be set of subsets of G of cardinality p k. This is a finite set with ( ) n p elements. Consider the action of G on T by g X = gx for X T. Since the k cardinality of T is not divisible by p, according to the lemma, there exists some element X T whose orbit T X has cardinality coprime to p. Let P be the stabilizer of X in G. Then Card(G)/ Card(P ) = [G : P ] = Card(T X ) is coprime to p, which means that p k must divide the cardinality of P. But, on the other hand, the elements g of P satisfy g X = X, so that fixing some x X, we have P Xx 1, which has cardinality p k, so Card(P ) p k. Hence we conclude that Card(P ) = p k, and we have found the desired subgroup. (2) Let P be a subgroup of G of cardinality p k, which exists by (1). Consider the action of H on G/P. Since H has order a power of p, all non-trivial orbits have cardinality divisible by p, so the number of fixed points is congruent to Card(G/P ) modulo p. But Card(G/P ) = m is coprime to p, so there is at least one fixed point xp. The condition hxp = xp for all h H translates into x 1 hx P for all h H, so H xp x 1. Since xp x 1 has cardinality p k, we have the desired result. (3) Let again P be a fixed subgroup of order p k. By (2), a subgroup H of cardinality p k is contained in a conjugate xp x 1 of P. Since H and xp x 1 have the same finite number of elements, they are equal. If G is a finite group and p a prime number, then a subgroup as in (1) is called a p-sylow subgroup of G. Of course, these are only interesting when p divides the cardinality of G. Example 12. Let p be a prime number and let n 1 be an integer. Consider the group G = GL n (F p ). Let U G be the subgroup of upper-triangular matrices with diagonal coefficients equal to 1. Since the coefficients a i,j of g U can be arbitrary, we have Card(U) = p n(n 1)/2. This subgroup is a p-sylow subgroup of G, since (by Example??, (4)) the size of G is p n(n 1)/2 n j=1 (p j 1), where the product over j is coprime to p. (Note that this p is the same prime as the cardinality of the finite field! The other Sylow subgroups of G can be mode difficult to describe!) 7
8 ETH Zürich D-MATH, Rämistrasse 101, CH-8092 Zürich, Switzerland address: 8
LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS
LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS Recall Lagrange s theorem says that for any finite group G, if H G, then H divides G. In these lectures we will be interested in establishing certain
More informationDISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3. Contents
DISCRETE MATH (A LITTLE) & BASIC GROUP THEORY - PART 3/3 T.K.SUBRAHMONIAN MOOTHATHU Contents 1. Cayley s Theorem 1 2. The permutation group S n 2 3. Center of a group, and centralizers 4 4. Group actions
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 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 informationMath 594, HW2 - Solutions
Math 594, HW2 - Solutions Gilad Pagi, Feng Zhu February 8, 2015 1 a). It suffices to check that NA is closed under the group operation, and contains identities and inverses: NA is closed under the group
More informationD-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups
D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition
More informationCourse 311: Abstract Algebra Academic year
Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 1 Topics in Group Theory 1 1.1 Groups............................... 1 1.2 Examples of Groups.......................
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 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 informationSolutions of exercise sheet 4
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 4 The content of the marked exercises (*) should be known for the exam. 1. Prove the following two properties of groups: 1. Every
More informationGroups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems
Group Theory Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Groups Definition : A non-empty set ( G,*)
More informationFINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.
FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts
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 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 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 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 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 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 informationStab(t) = {h G h t = t} = {h G h (g s) = g s} = {h G (g 1 hg) s = s} = g{k G k s = s} g 1 = g Stab(s)g 1.
1. Group Theory II In this section we consider groups operating on sets. This is not particularly new. For example, the permutation group S n acts on the subset N n = {1, 2,...,n} of N. Also the group
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 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 informationMath 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.
Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial
More informationSolutions to Assignment 4
1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2
More informationAlgebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...
Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2
More informationTHE SYLOW THEOREMS AND THEIR APPLICATIONS
THE SYLOW THEOREMS AND THEIR APPLICATIONS AMIN IDELHAJ Abstract. This paper begins with an introduction into the concept of group actions, along with the associated notions of orbits and stabilizers, culminating
More informationTheorems and Definitions in Group Theory
Theorems and Definitions in Group Theory Shunan Zhao Contents 1 Basics of a group 3 1.1 Basic Properties of Groups.......................... 3 1.2 Properties of Inverses............................. 3
More informationIIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1
IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 Let Σ be the set of all symmetries of the plane Π. 1. Give examples of s, t Σ such that st ts. 2. If s, t Σ agree on three non-collinear points, then
More informationGroup Theory
Group Theory 2014 2015 Solutions to the exam of 4 November 2014 13 November 2014 Question 1 (a) For every number n in the set {1, 2,..., 2013} there is exactly one transposition (n n + 1) in σ, so σ is
More informationSelected Solutions to Math 4107, Set 4
Selected Solutions to Math 4107, Set 4 November 9, 2005 Page 90. 1. There are 3 different classes: {e}, {(1 2), (1 3), (2 3)}, {(1 2 3), (1 3 2)}. We have that c e = 1, c (1 2) = 3, and c (1 2 3) = 2.
More informationSUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.
SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III 2009 Week 1 Lecture 1 Tuesday 3 March. 1. Introduction (Background from Algebra II) 1.1. Groups and Subgroups. Definition 1.1. A binary operation on a set
More informationTOPOLOGICAL GROUPS MATH 519
TOPOLOGICAL GROUPS MATH 519 The purpose of these notes is to give a mostly self-contained topological background for the study of the representations of locally compact totally disconnected groups, as
More informationMA441: Algebraic Structures I. Lecture 26
MA441: Algebraic Structures I Lecture 26 10 December 2003 1 (page 179) Example 13: A 4 has no subgroup of order 6. BWOC, suppose H < A 4 has order 6. Then H A 4, since it has index 2. Thus A 4 /H has order
More informationAlgebra-I, Fall Solutions to Midterm #1
Algebra-I, Fall 2018. Solutions to Midterm #1 1. Let G be a group, H, K subgroups of G and a, b G. (a) (6 pts) Suppose that ah = bk. Prove that H = K. Solution: (a) Multiplying both sides by b 1 on the
More informationSolutions to Problem Set 1
Solutions to Problem Set 1 18.904 Spring 2011 Problem 1 Statement. Let n 1 be an integer. Let CP n denote the set of all lines in C n+1 passing through the origin. There is a natural map π : C n+1 \ {0}
More informationHomework Problems, Math 200, Fall 2011 (Robert Boltje)
Homework Problems, Math 200, Fall 2011 (Robert Boltje) Due Friday, September 30: ( ) 0 a 1. Let S be the set of all matrices with entries a, b Z. Show 0 b that S is a semigroup under matrix multiplication
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 informationMath 120: Homework 6 Solutions
Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has
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 informationTwo subgroups and semi-direct products
Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset
More informationAlgebra I, An introductory course. V. G. Tkachev, Linköping University, Sweden address:
Algebra I, An introductory course V. G. Tkachev, Linköping University, Sweden E-mail address: vladimir.tkatjev@liu.se Contents Chapter 1. Groups 1 1.1. Monoids 1 1.2. Groups 2 1.3. Exercises 5 1.4. Cosets
More informationNotas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018
Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4
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 informationGROUP ACTIONS KEITH CONRAD
GROUP ACTIONS KEITH CONRAD 1. Introduction The symmetric groups S n, alternating groups A n, and (for n 3) dihedral groups D n behave, by their very definition, as permutations on certain sets. The groups
More informationThe Class Equation X = Gx. x X/G
The Class Equation 9-9-2012 If X is a G-set, X is partitioned by the G-orbits. So if X is finite, X = x X/G ( x X/G means you should take one representative x from each orbit, and sum over the set of representatives.
More informationGroups. Chapter The symmetric group
Chapter 1 Groups In this chapter we ll cover pretty much all of group theory. This material is roughly the same as Rotman s chapters 2 and 5, but beware there are some extra things not in Rotman... You
More informationGROUP ACTIONS KEITH CONRAD
GROUP ACTIONS KEITH CONRAD. Introduction The groups S n, A n, and (for n 3) D n behave, by their definitions, as permutations on certain sets. The groups S n and A n both permute the set {, 2,..., n} and
More informationAlgebra I: Final 2012 June 22, 2012
1 Algebra I: Final 2012 June 22, 2012 Quote the following when necessary. A. Subgroup H of a group G: H G = H G, xy H and x 1 H for all x, y H. B. Order of an Element: Let g be an element of a group G.
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 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 informationGroup Theory (Math 113), Summer 2014
Group Theory (Math 113), Summer 2014 George Melvin University of California, Berkeley (July 8, 2014 corrected version) Abstract These are notes for the first half of the upper division course Abstract
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
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 informationMATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM
MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
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 informationbut no smaller power is equal to one. polynomial is defined to be
13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said
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 informationHigher Algebra Lecture Notes
Higher Algebra Lecture Notes October 2010 Gerald Höhn Department of Mathematics Kansas State University 138 Cardwell Hall Manhattan, KS 66506-2602 USA gerald@math.ksu.edu This are the notes for my lecture
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 informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationElements of solution for Homework 5
Elements of solution for Homework 5 General remarks How to use the First Isomorphism Theorem A standard way to prove statements of the form G/H is isomorphic to Γ is to construct a homomorphism ϕ : G Γ
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 informationALGEBRA PH.D. QUALIFYING EXAM September 27, 2008
ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely
More informationChapter 16 MSM2P2 Symmetry And Groups
Chapter 16 MSM2P2 Symmetry And Groups 16.1 Symmetry 16.1.1 Symmetries Of The Square Definition 1 A symmetry is a function from an object to itself such that for any two points a and b in the object, the
More informationPROBLEMS FROM GROUP THEORY
PROBLEMS FROM GROUP THEORY Page 1 of 12 In the problems below, G, H, K, and N generally denote groups. We use p to stand for a positive prime integer. Aut( G ) denotes the group of automorphisms of G.
More information1 Chapter 6 - Exercise 1.8.cf
1 CHAPTER 6 - EXERCISE 1.8.CF 1 1 Chapter 6 - Exercise 1.8.cf Determine 1 The Class Equation of the dihedral group D 5. Note first that D 5 = 10 = 5 2. Hence every conjugacy class will have order 1, 2
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 informationMath 203A - Solution Set 3
Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationAlgebra Qualifying Exam Solutions. Thomas Goller
Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity
More informationD-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings
D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n
More informationD-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 1. Arithmetic, Zorn s Lemma.
D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 1 Arithmetic, Zorn s Lemma. 1. (a) Using the Euclidean division, determine gcd(160, 399). (b) Find m 0, n 0 Z such that gcd(160, 399) = 160m 0 +
More informationAlgebra. Travis Dirle. December 4, 2016
Abstract Algebra 2 Algebra Travis Dirle December 4, 2016 2 Contents 1 Groups 1 1.1 Semigroups, Monoids and Groups................ 1 1.2 Homomorphisms and Subgroups................. 2 1.3 Cyclic Groups...........................
More informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationProblem 1.1. Classify all groups of order 385 up to isomorphism.
Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More information[06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal.
(January 14, 2009) [06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal. Let s give an algorithmic, rather than existential,
More informationGROUP ACTIONS RYAN C. SPIELER
GROUP ACTIONS RYAN C. SPIELER Abstract. In this paper, we examine group actions. Groups, the simplest objects in Algebra, are sets with a single operation. We will begin by defining them more carefully
More informationLECTURES MATH370-08C
LECTURES MATH370-08C A.A.KIRILLOV 1. Groups 1.1. Abstract groups versus transformation groups. An abstract group is a collection G of elements with a multiplication rule for them, i.e. a map: G G G : (g
More informationSolutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3
Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group
More informationModern Computer Algebra
Modern Computer Algebra Exercises to Chapter 25: Fundamental concepts 11 May 1999 JOACHIM VON ZUR GATHEN and JÜRGEN GERHARD Universität Paderborn 25.1 Show that any subgroup of a group G contains the neutral
More informationChapter I: Groups. 1 Semigroups and Monoids
Chapter I: Groups 1 Semigroups and Monoids 1.1 Definition Let S be a set. (a) A binary operation on S is a map b : S S S. Usually, b(x, y) is abbreviated by xy, x y, x y, x y, x y, x + y, etc. (b) Let
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationNormal Subgroups and Factor Groups
Normal Subgroups and Factor Groups Subject: Mathematics Course Developer: Harshdeep Singh Department/ College: Assistant Professor, Department of Mathematics, Sri Venkateswara College, University of Delhi
More informationFall /29/18 Time Limit: 75 Minutes
Math 411: Abstract Algebra Fall 2018 Midterm 10/29/18 Time Limit: 75 Minutes Name (Print): Solutions JHU-ID: This exam contains 8 pages (including this cover page) and 6 problems. Check to see if any pages
More informationis an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent
Lecture 4. G-Modules PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 4. The categories of G-modules, mostly for finite groups, and a recipe for finding every irreducible G-module of a
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 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 informationMATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis
MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis PART B: GROUPS GROUPS 1. ab The binary operation a * b is defined by a * b = a+ b +. (a) Prove that * is associative.
More informationGroup Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.
Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite
More informationON THE RELATIONSHIP BETWEEN SETS AND GROUPS
ON THE RELATIONSHIP BETWEEN SETS AND GROUPS ROSE DONG Abstract. This paper is an introduction to basic properties of sets and groups. After introducing the notion of cardinal arithmetic, it proves the
More informationALGEBRAIC GROUPS: PART IV
ALGEBRAIC GROUPS: PART IV EYAL Z. GOREN, MCGILL UNIVERSITY Contents 11. Quotients 60 11.1. Some general comments 60 11.2. The quotient of a linear group by a subgroup 61 12. Parabolic subgroups, Borel
More informationϕ : Z F : ϕ(t) = t 1 =
1. Finite Fields The first examples of finite fields are quotient fields of the ring of integers Z: let t > 1 and define Z /t = Z/(tZ) to be the ring of congruence classes of integers modulo t: in practical
More informationMath 3140 Fall 2012 Assignment #3
Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition
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 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 informationAlgebra I. Randall R. Holmes Auburn University
Algebra I Randall R. Holmes Auburn University Copyright c 2008 by Randall R. Holmes Last revision: June 8, 2009 Contents 0 Introduction 2 1 Definition of group and examples 4 1.1 Definition.............................
More informationGroups and Representations
Groups and Representations Madeleine Whybrow Imperial College London These notes are based on the course Groups and Representations taught by Prof. A.A. Ivanov at Imperial College London during the Autumn
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/54851 holds various files of this Leiden University dissertation Author: Stanojkovski, M. Title: Intense automorphisms of finite groups Issue Date: 2017-09-05
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 information