4 Pages

503_4

Course: MATH 503, Fall 2008
School: UPenn
Rating:
 
 
 
 
 

Word Count: 1187

Document Preview

HW ALGEBRA 4 CLAY SHONKWILER 1 Prove that the number of non-isomorphic one-dimensional representations of a nite group G is |G|/|[G, G]|, where [G, G] denotes the commutator subgroup. Proof. Suppose : G C is a one-dimensional representation of G. Then we know that factors through the quotient G/[G, G], which is to say that, if : G G/[G, G] is the natural map, then there exists a homomorphism : G/[G, G] C...

Register Now

Unformatted Document Excerpt

Coursehero >> Pennsylvania >> UPenn >> MATH 503

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
HW ALGEBRA 4 CLAY SHONKWILER 1 Prove that the number of non-isomorphic one-dimensional representations of a nite group G is |G|/|[G, G]|, where [G, G] denotes the commutator subgroup. Proof. Suppose : G C is a one-dimensional representation of G. Then we know that factors through the quotient G/[G, G], which is to say that, if : G G/[G, G] is the natural map, then there exists a homomorphism : G/[G, G] C such that = . In other words, each one-dimension representation of G corresponds to a one-dimensional representation of G/[G, G]. Furthermore, this correspondance is bijective. Surjectivity is clear; we see that this correspondance is injective since, if , are nonisomorphic one-dimensional representations of G, then there exists g G such that (g) (g); then, if (g) = g, (g) = (g). Now, since G/[G, G] is abelian, it has |G/[G, G]| = |G|/|[G, G]| conjugacy classes, meaning it has |G|/|[G, G]| irreducible representations, each of dimension 1. Since each corresponds to a one-dimensional representation of G, we see that the number of one-dimensional representations of G is |G|/|[G, G]|. 2 Let Wi be an irreducible representation of G, V an arbitrary representation, and Vi the direct sum of all subrepresentations of V isomorphic to Wi . Let Hi be the space of linear maps f : Wi V such that V (g)f = f (Wi )(g) for all g G. (a) Show that the dimension of Hi is equal to the number of times that Wi occurs in V . Proof. Suppose Hi . Then : Wi V . Now, V = Uj , so dene pj : V Uj to be the projection onto the jth coordinate. pj is a homomorphism, so j = pj : Wi Uj is a homomorphism of C[G]-modules as well. Now, by Schurs Lemma, if Wi Uj , then j is an isomorphism given by multiplication by a scalar; 1 2 CLAY SHONKWILER otherwise j is the trivial map. Hence, Hom(Wi , Uj ) is isomorphic either to C or to {0}. Now Hi = Hom(Wi , V ) = Hom(Wi , Uj ) = Hom(Wi , Uj ) = Wi Uj C. From this, then, we conclude that the dimension of Hi is equal to the number of times that Wi occurs in V . (b) Let G act on Hi Wi through the tensor product of the trivial representation on Hi and the given representation on Wi . Show that the map: F : Hi W i Vi dened by F( T w ) = T (w ) is an isomorphism of Hi Wi onto Vi . Proof. We must show that F commutes with the action of G on Hi Wi and on Vi . That is, we must show the following diagram commutes: Hi W i Vi | Wi F =1Hi Vi Hi W i Vi . F If f Hi , w Wi , g G then (F (1H Wi )(g))(f w) = F (f Wi (g)(w)) = f Wi (g)(w) = V (g)f (w) = |Vi (g)f (w) = (|Vi F )(f w), by the properties of f , so the diagram above does indeed commmute. Now, suppose v Vi . Then each v lies in an isomorphic copy of Wi in V , there exists an isomorphism T and an element w Wi such that T (w ) = v . Hence, F( T w ) = T (w ) = v . Therefore, F is surjective. Now, to see that F is injective, and therefore an isomorphism, we need only count dimensions. dim(Hi Wi ) = dim(Hi ) dim(Wi ). On the other hand, as we showed in part (a), Vi is the direct sum of dim(Hi ) copies of Wi , each of dimension dim(Wi ), so dim(Vi ) = dim(Hi ) dim(Wi ). Since F is a surjective linear map between vector spaces of the same dimension, must it be injective as well. ALGEBRA HW 4 3 3 Let be the character of 2-dimensional representation of G, and let x be an element of order 2 in G. Prove that (x) = 2, 0, 2. Generalize this to n-dimensional representations. Proof. Let : B V be the 2-dimensional representation. Note that we can think of V as being simply C2 . Now, suppose (x) = a b c d . Then 2 (x) = (x2 ) = (1) = Id2 . Also, note that (x) = Tr((x)) = a + d. Squaring the matrix for (x), then, we see that the following system of equations must hold: a2 + bc = 1 ab + bd = 0 ac + cd = 0 bc + d2 = 1. We note that the bottom equation implies bc = 1 d2 , which, replacing for bc in the top equation yields 1 = a2 + 1 d2 0 = a2 d2 = (a + d)(a d). If a + d = 0, then (x) = Tr((x)) = a + d = 0. On the other hand, if a d = 0, then a = d. Substituting into the second equation in the above system, we see that 0 = ab + ba = 2ab. If a = 0, then d = a = 0, so (x) = a + d = 0. If b = 0, then, from the rst equation, we see that a2 = 1 a = 1. Hence d = a = 1, so (x) = a + d = 2. Since weve covered all the possibilities, we see that, indeed, (x) = 2, 0, 2. 4 Let be an irreducible character of G. Prove that for every element g in Z(G), the center of G, we have (g) = (1), where is a root of unity. Proof. Let g Z(G). Let : G GL(V ) be the irreducible representation with character . Then, for any x G, (g) (x) = (gx) = (xg) = (x) (g). Since is irreducible and (g) is certainly a linear map from V to itself, we can use Schurs Lemma to conclude that (g) is simply a scalar multiple of the identity; (g) = Id. Hence (g) = Tr((g)) = Tr(Id) = Tr(Id) = (1). 4 CLAY SHONKWILER Now, we note that, since G is nite, there exists n N such that g n = 1. Hence Id = (g n ) = ((g))n = (Id)n = n Id, so n = 1. Therefore, is a root of unity. 5 Let be the character of some representation of G. Prove that (a) If (g) = (1) then g Ker(). Proof. Le...

Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

UPenn - MATH - 500
TOPOLOGY FINALCLAY SHONKWILER1. Hausdorff Spaces Let X be a Hausdor space. Show that for any nite collection of points {x1 , . . . , xn } in X there are neighborhoods U1 , U2 , . . . Un of x1 , x2 , . . . xn respectively such that Ui Uj = if i =
UPenn - MATH - 603
ALGEBRA HW 6CLAY SHONKWILER1 (a): Let R be a Noetherian ring, I the set of ideals of R, and I0 a subset of I. Let P be a property that ideals in I0 may or may not have. Suppose that one can show the following condition: (1) I I0 , if every ideal
UPenn - MATH - 502
ALGEBRA HW 2CLAY SHONKWILER1.7.22 Show that the group of rigid motions of an octahedron is isomorphic to a subgroup of S4 . Deduce that the groups of rigid motions of a cube and an octahedron are isomorphic. Proof. Label each face of the octahedro
UPenn - MATH - 360
Let > 0. Consider the following series:S=n=1(1)n1 . nDetermine when S converges and when S absolutely converges.1
UPenn - MATH - 170
16) Consider a mathematical model given byPn+1 = Pn 3What are the equilibrium and are they stable or unstable? The following is the graph of y =x y=x 3a) The stable equilibriums are: x = 0, x = -1, x = 1. There are no unstable equilibrium. b) Th
UPenn - MATH - 170
Math 170 Midterm Formula SheetOctober 28, 200811 PROPERTIES OF GCD AND FACTORIZATION21Properties of gcd and FactorizationDenition 1.0.1. Recall a natural number is one of {0, 1, 2, 3, }. Denition 1.0.2. Recall an integer is one of {
UPenn - MATH - 170
1(Math 170) Homework 1:Due September 16, 2007Exercise 1: Out of sight but not out of mind. The infamous band Slippery Even When Dry ended their concert and checked into the Fuzzy Fig Motel. The guys in the band (Spike, Slip, and Milly) decided to
UPenn - MATH - 170
1Instructions Write all answers in capital letters in the spaces provided on the next page! Do not remove this answer sheet from the rest of the exam. All problems are worth the same amount. Problems marked with (EC) are extra credit. There is
UPenn - MATH - 170
1Instructions Write all answers in capital letters in the spaces provided on the next page! Do not remove this answer sheet from the rest of the exam. All problems are worth the same amount. Problems marked with (EC) are extra credit. There is
UPenn - MATH - 170
1Instructions Write all answers in capital letters in the spaces provided on the next page! Do not remove this answer sheet from the rest of the exam. All problems are worth the same amount. Problems marked with (EC) are extra credit. There is
UPenn - MATH - 170
1(Math 170) Homework 2:Due September 23, 2008Exercise 1: Part (a): Dene using just recursion and multiplication the function which takes a natural number n and returns 2n . Part (b): Dene using just recursion and multiplication the function which
UPenn - MATH - 170
1(Math 170) Homework 3:Due October 2, 2008Exercise 1: Prove there is no largest odd number (hint use proof by contradiction) Exercise 2: Find the greatest common divisor of 7920 and 8316 (hint 7920 = 24 32 5 11 and 8316 = 22 33 7 11) Exerci
UPenn - MATH - 170
1(Math 170) Homework 9:Due November 20, 2008Exercise 4: Heart of Mathematics Chapter 2.2 Exercise 7 Exercise 4: Heart of Mathematics Chapter 2.2 Exercise 8 Exercise 5: Heart of Mathematics Chapter 2.2 Exercise 10 Exercise 6: Heart of Mathematics
UPenn - MATH - 10
1Denition of Real NumbersThe goal of the presentation is to discuss dierent denitions of the real numbers. Your presentation should include at least An explanation of what the Cauchy Sequences are. An explanation of what Dedekind cuts are. A di
UPenn - MATH - 170
1Denition of Real NumbersThe goal of the presentation is to discuss dierent denitions of the real numbers. Your presentation should include at least An explanation of what the Cauchy Sequences are. An explanation of what Dedekind cuts are. A di
UPenn - MATH - 170
1Algebraic and Transcendental NumbersThe goal of the presentation is to discuss logarithms and exponentials. Your presentation should include at least A discussion of what an Algebraic Number is A discussion of what a Transcendental Number is A
UPenn - MATH - 170
1August Mobius and Mobius StripsThe goal of the presentation is to discuss August Mobius. Your presentation should include at least A discussion of who Mobius was and his life. An explanation of what a Mobius strip is. A discussion of what it m
UPenn - MATH - 170
1Primeality Tests and Finding PrimesThe goal of the presentation is to discuss methods to test if a number is prime and for nding prime numbers. Your presentation should include at least A discussion of the Sieve of Eratosthenes An explanation a
UPenn - MATH - 12
1John Horton ConwayThe goal of the presentation is to discuss John Conway. Your presentation should include at least A discussion his life. A Conway chained arrow notation. A discussion of what it means to be non-associative. A discussion of t
UPenn - MATH - 170
1John Horton ConwayThe goal of the presentation is to discuss John Conway. Your presentation should include at least A discussion his life. A Conway chained arrow notation. A discussion of what it means to be non-associative. A discussion of t
UPenn - MATH - 170
1Zenos ParadoxesThe goal of the presentation is to discuss Zenos Paradoxes. Your presentation should include at least A discussion of who Zeno was. A discussion of Zenos three paradoxes, including a discussion of what they are and how they are r
UPenn - MATH - 170
1Carl Friedrich GaussThe goal of the presentation is to discuss Carl Friedrich Gauss. Your presentation should include at least A discussion of who he is. A discussion of the type of polygons he was able to construct using just a compass and str
UPenn - MATH - 12
1Cellular AutomataThe goal of the presentation is to discuss Cellular Automata. Your presentation should include at least A discussion of what cellular automata is. A discussion of the game of life (by Conway) An explanation of a 1 dimensional
UPenn - MATH - 170
1Cellular AutomataThe goal of the presentation is to discuss Cellular Automata. Your presentation should include at least A discussion of what cellular automata is. A discussion of the game of life (by Conway) An explanation of a 1 dimensional
UPenn - MATH - 170
1Blaise PascalThe goal of the presentation is to discuss Blaise. Your presentation should include at least A discussion of who he is and his religious/philosophical beliefs. A discussion of how him and Fermat discovered probability. A discussio
UPenn - MATH - 170
1Amalie Emmy NoetherThe goal of the presentation is to discuss Amalie Emmy Noether. Your presentation should include at least A discussion of who Amalie Emmy Noether was including a brief history of her life. A discussion of what an ascending/de
UPenn - MATH - 170
1Sir Isaac NewtonThe goal of the presentation is to discuss Isaac Newton. Your presentation should include at least A discussion of who Newton was. A discussion of his life. A discussion of his laws of gravity A brief discussion of his discove
UPenn - MATH - 170
1Peano ArithmeticThe goal of the presentation is to discuss Peano arithmetic. Your presentation should include at least A discussion of the the axioms of Peano arithmetic. Its relationship with induction (which axiom(s) allows proof by induction
UPenn - MATH - 170
1Vigenre cipherThe goal of the presentation is to explain and discuss the Vigenre cipher. Your presentation should include at least A discussion the history of the cipher. An explanation of how it is implemented (both in terms of the Vigenre tab
UPenn - MATH - 170
1Rene DescartesThe goal of the presentation is to discuss Rene Descartes. Your presentation should include at least A discussion of who he is. A discussion analytic geometry A discussion of the dualism In addition you should include at least on
UPenn - MATH - 12
1Bertrand RussellThe goal of the presentation is to discuss Blaise. Your presentation should include at least A discussion of who he. A discussion of Russells Paradox A discussion of the Principia Mathematica. In addition you should include at
UPenn - MATH - 170
1Bertrand RussellThe goal of the presentation is to discuss Blaise. Your presentation should include at least A discussion of who he. A discussion of Russells Paradox A discussion of the Principia Mathematica. In addition you should include at
UPenn - MATH - 170
1Seven Bridges of Knigsberg oThe goal of the presentation is to discuss Seven Bridges of Knigsberg. Your o presentation should include at least A discussion of the problem of the Seven Bridges of Knigsberg. o Which two elds did this problem help
UPenn - MATH - 170
1Leonhard EulerThe goal of the presentation is to discuss the Leonhard Euler. Your presentation should include at least A discussion of who he is (including what time period he lived in) A discussion of his major contributions, including the Eul
UPenn - MATH - 170
1(Math 170) Homework 4:Due October 9, 2008For a natural number n a multiplication table mod n consists is a grid such that The rows and columns are each labeled with numbers 0 to n 1 The number in the ath column and the bth row is a b mod n.
UPenn - MATH - 170
1(Math 170) Homework 7:Due November 6, 2008Exercise 1: What is 1000 base 10 equal to base 8? What is it equal to base 4? What is it equal to base 2? Exercise 2: Heart of Mathematics Chapter 2.6 Exercise 8 Exercise 3: Heart of Mathematics Chapter
UPenn - MATH - 170
15)ConsiderthediscretedynamicalsystemgivenbyPn+1=2Pn1Whataretheequilibriumsandaretheystableorunstable? Thefollowingisthegraphof y=x y=2x1a)Thestableequilibriumsare:x=0,x=1.Therearenounstableequilibriums. b)Thestableequilibriumis:x=1.Theunstablee
UPenn - MATH - 170
Math 170 Final Formula SheetDecember 6, 200811 MATHEMATICAL MODELS21Mathematical ModelsLet Mn+1 = f (Mn ) be a mathematical model (without the starting value specied). Denition 1.0.1. M is a equilibrium if M = f (M ). An equilibrium M i
UPenn - MATH - 170
1Instructions Write all answers in capital letters in the spaces provided on the next page! Do not remove this answer sheet from the rest of the exam. All problems are worth the same amount. Problems marked with (EC) are extra credit. There is
UPenn - MATH - 170
1 Math 170 Practice Final Exam 2NameSection Number2 (1) Suppose A is a symbol which represents ten and B is a symbol which represents eleven. What is A3B base 12 expressed base 4? (2) What is 443.21 base 5 expressed base 10? (3) What is 323.323
UPenn - MATH - 170
1 Math 170 Practice Final Exam 3NameSection Number2 (1) Suppose A is a symbol which represents ten and B is a symbol which represents eleven. What is AAA base 11 expressed base 6? (2) What is 555.55 base 6 expressed base 10? (3) What is 123.123
UPenn - MATH - 170
1 Math 170 Practice Final Exam 1NameSection Number2 (1) Suppose A is a symbol which represents ten and B is a symbol which represents eleven. What is B9A base 12 expressed base 7? (2) What is 123.45 base 8 expressed base 10? (3) What is 123.123
UPenn - MATH - 170
16) Consider the discrete dynamical system given byPn+1 = 2Pn - Pn2What are the equilibrium and are they stable or unstable? The following is the graph of y =x y=2x -x 247) Below is an outline of the Mandelbrot Set. The points marked are: A = -0
UPenn - MATH - 170
15) Consider the discrete dynamical system given byPn+1 = 2What are the equilibrium and are they stable or unstable from the left and right? The following is the graph of y =x y=216) Below is an outline of the Mandelbrot Set. The points marked a
UPenn - MATH - 170
15) Consider the discrete dynamical system given byPn+1 = Pn 2What are the equilibriums and are they stable or unstable? The following is the graph of y =x y= y=x 216) Below is an outline of the Mandelbrot Set. The points marked are: A = -1.25 i
UPenn - MATH - 170
1 Math 170 Homework 10 Due December 4, 2008Name TA: Section Number:2 (1) Suppose A is a symbol representing ten. What is AA1 base 11 expressed base 4? (2) What is 123.12 base 4 in base 10? (3) Express 102.102 base 3 as a fraction (in lowest terms
UPenn - MATH - 170
1Straightedge and CompassThe goal of the presentation is to discuss constructions with a strait edge and compass. Your presentation should include at least A discussion what a straightedge and compass are. A discussion of what a straightedge and
UPenn - M - 584
# > restart;> #In this worksheet we use maple to compute some Fourier transform and> graph the results. We can define a function as a integral. The> function defined in the next line is the Fourier transform of the> characteristic function of th
UPenn - M - 584
# # > restart;> #This worksheet is intended to give you some feeling of how to use> convolution to approximately compute derivatives. In the next command> replace sin(x) with the function of your choice. Use a function for> which maple can comp
UPenn - M - 584
# # > restart;> #Here we define several functions with support in the interval [-1,1].> f0 := x->piecewise(x>-1 and x<1, 1, 0);> f1 := x-> piecewise(x>-1 and x<1, (1-x^2), 0);> f2 := x-> (f1(x)^2;> #We plot the functions defined above. f0 has
UPenn - M - 584
# This routine uses the fast fourier transform to compute the DFT. The input is a # vector [fh[1], .fh[n] of samples and the length, n of this vector. The routine finds # the smallest power of 2 larger than n and computes a FFT of that length with
UPenn - M - 509
Math 509 Problem set 3, due February 2, 2006 Dr. EpsteinIn class we will discuss material on pages 44-58 of Fourier Analysis. The following are standard or review problems. Please be sure you know how to do them. You do not need to hand in solutions
UPenn - M - 584
Math 584, Problem set 4 due November 7, 2006 Dr. EpsteinReading: Read sections 5.1, 5.2, 5.3, and 6.1. You are free to use maple (or Mathematica, MATLAB etc.) to do these problems. Try running maple worksheets 4, and 5. If your browser does not auto
UPenn - M - 584
Math 584, Problem set 1 due September 26, 2006 Dr. EpsteinReading: Read chapters 1 and 2 of the textbook. You may use Maple (or Mathematica, MATLAB etc.) to do these problems. If you do, then please attach the output of the program to your solutions
UPenn - CIT - 597
RailsApr 10, 2009What is Rails? Rails is a framework for building web applications This involves: Getting information from the user (client), using HTML forms Doing validation Maintaining session information Managing a database Displayin
UPenn - CIT - 597
XPathApr 10, 2009What is XPath? XPath is a syntax used for selecting parts of an XML document The way XPath describes paths to elements is similar to the way an operating system describes paths to files XPath is almost a small programmin
UPenn - CIT - 594
SearchingSearching an array of integersIf an array is not sorted, there is no better algorithm than linear search for finding an element in itstaticfinalintNONE=1;/notalegalindex staticintlinearSearch(inttarget,int[]a){ for(intp=0;p<a.length;p+
UPenn - CIT - 591
Everything You Ever Wanted To Know About Java O-OApr 10, 2009What is a class?A class is primarily a description of objects, or instances, of that class A class contains one or more constructors to create objects A class is a type A type
UPenn - CIT - 594
State MachinesApr 10, 2009What is a state machine? A state machine is a different way of thinking about computation A state machine has some number of states, and transitions between those states Transitions occur because of inputs A pure
UPenn - CIT - 594
A Binary Tree ADTFields The definition of a binary tree pretty much requires the following fields: Objectvalue; BinaryTreeleftChild; BinaryTreerightChild; I also wanted to have this additional field: BinaryTreeparent; Should these fields b
UPenn - CIT - 591
RecursionApr 10, 2009Definitions IA recursive definition is a definition in which the thing being defined occurs as part of its own definition Example: An atom is a name or a number A list consists of: An open parenthesis, "(" Zero or m