741: Difference between revisions
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
Prof: [http://www.math.wisc.edu/~ellenber Jordan Ellenberg] | Prof: [http://www.math.wisc.edu/~ellenber Jordan Ellenberg] | ||
Grader: Evan Dummit | Grader: Evan Dummit | ||
Ellenberg's office hours: | |||
This course, the first semester of the introductory graduate sequence in algebra, will cover the basic theory of groups, group actions, representation, linear and multilinear algebra, and the beginnings of ring theory. | This course, the first semester of the introductory graduate sequence in algebra, will cover the basic theory of groups, group actions, representation, linear and multilinear algebra, and the beginnings of ring theory. | ||
The main purpose of this website is to serve as a repository of homework problems. | |||
HOMEWORK 1 (due Sep 20) | HOMEWORK 1 (due Sep 20) | ||
| Line 14: | Line 17: | ||
. Recall that S_3 (the symmetric group) is the group of permutations of the set {1..3}. List all the subgroups of S_3. | . Recall that S_3 (the symmetric group) is the group of permutations of the set {1..3}. List all the subgroups of S_3. | ||
. | . We can define an equivalence relation on rational numbers by declaring two rational numbers to be equal whenever they differ by an integer. We denote the set of equivalence classes by Q/Z. The operation of addition makes Q/Z into a group. | ||
a) | a) For each n, prove that Q/Z has a subgroup of order n. | ||
b) Prove that there | b) Prove that Q/Z is a ''divisible'' group: that is, if x is an element of Q/Z and n is an integer, there exists an element y of Q/Z such that ny = x. (Note that we write the operation in this group as addition rather than multiplication, which is why we write ny for the n-fold product of y with itself rather than y^n) | ||
. | . Let F_2 be the free group on two generators x,y. Prove that there is a automorphism of F_2 which sends x to xyx and y to xy, and prove that this automorphism is unique. | ||
a) | . Let H be a subgroup of G, and let N_G(H), the "normalizer" of H in G, be | ||
. Let T be the subgroup of GL_2(R) consisting of diagonal matrices. This is an example of a "Cartan subgroup," or "torus" (whence the notation T.) | |||
Revision as of 15:01, 6 September 2012
Math 741
Algebra
Prof: Jordan Ellenberg Grader: Evan Dummit Ellenberg's office hours:
This course, the first semester of the introductory graduate sequence in algebra, will cover the basic theory of groups, group actions, representation, linear and multilinear algebra, and the beginnings of ring theory.
The main purpose of this website is to serve as a repository of homework problems.
HOMEWORK 1 (due Sep 20)
. Suppose that H_1 and H_2 are subgroups of a group G. Prove that the intersection of H_1 and H_2 is a subgroup of G.
. Recall that S_3 (the symmetric group) is the group of permutations of the set {1..3}. List all the subgroups of S_3.
. We can define an equivalence relation on rational numbers by declaring two rational numbers to be equal whenever they differ by an integer. We denote the set of equivalence classes by Q/Z. The operation of addition makes Q/Z into a group.
a) For each n, prove that Q/Z has a subgroup of order n.
b) Prove that Q/Z is a divisible group: that is, if x is an element of Q/Z and n is an integer, there exists an element y of Q/Z such that ny = x. (Note that we write the operation in this group as addition rather than multiplication, which is why we write ny for the n-fold product of y with itself rather than y^n)
. Let F_2 be the free group on two generators x,y. Prove that there is a automorphism of F_2 which sends x to xyx and y to xy, and prove that this automorphism is unique.
. Let H be a subgroup of G, and let N_G(H), the "normalizer" of H in G, be
. Let T be the subgroup of GL_2(R) consisting of diagonal matrices. This is an example of a "Cartan subgroup," or "torus" (whence the notation T.)