Math 417 D13 Home Page

This will be the home page for Math 417 D13. "Introduction to Abstract Algebra". This class meets for the Fall 2017 semester at MWF 11:00-11:50 in 347 Altgeld. Office hours are W 4-4:30 and Th 5-5:30 in 445 AH (room reservation confirmed!). If nobody is there in first ten minutes, I'll leave unless you've let me know that you'll be later.
The mathematical links page is here. Suggest a new one!

Many students are concerned about the political issues of the day. If you want to contact your representatives, here are their numbers:
US Sen. Tammy Duckworth (D-IL) (202)-224-2859
US Sen. Richard J. Durbin (D-IL) (202)-224-2152
US Rep. Rodney Davis (R-IL 13) (202)-225-2371
IL Sen. Scott Bennett (D-IL 52) (217)-335-5252
IL Rep. Carol Ammons (D-IL 103) (217)-531-1660

HW 5 Questions (temporarily pinned to the top)
Here is HW 5. Apologies for the delay for those who like doing homework on Friday and Saturday nights.

On #2b: Look for an element of order 10. If every element of your group is a power of this element, then what you have is a cyclic group of order 10.

Sorry #4 looks like a permutation. I should have written it as two separate triples. So, what I'm looking for is more like
( \Phi_1([0]_3], \Phi_1([1]_3], (\Phi_1([2]_3] )
( \Phi_2([0]_3], \Phi_2([1]_3], (\Phi_2([2]_3] )
"Showing by tables" means here that you show you have an isomorphism by demonstrating that the multiplication tables are the same (up to renaming the elements by the isomorphism.

In #6, Every element in H can be written as b^k for some k (e_H = b^0 for example). The most interesting element in G is its generator, so you might want to look at phi(a), which would have the form b^k. You want to derive a contradiction from phi(a) not equal to e_H.

W 10/18 -- HW4 should be graded by F, which is when HW5 is due and when HW6 should be distributed. Some more on direct products and a handout describing the isomorphism between G x H and H x G in excruciating detail. Also, lots more on homomorphisms, which are like isomorphisms but don't have to be 1-1 and onto.

M 10/16 -- Attendance is beginning to drop a bit. Don't go slack; more than any other subject, math classes are hard to catch up on! Content: some more review of cosets, direct products (both abstractly and in very concrete form, and an introduction to homomorphisms. Lot's more on that. Also: worksheet on C_4 x C_2. And the paper copies of HW 5 were distributed; this is due F 10/20.

F 10/13 -- First exam returned and HW4 discussed. Introduction to direct product of groups. HW5 delayed until the weekend; will be distributed in class on M 10/16.

HW 4 Questions
Typo alert: In Problem 4/5 of HW4, there is a typo. The 4th element of the group should be (1432) not (1423). (This was sent to everyone in the class (some twice) on Wednesday night. If you did not receive the correction, please let me know.)

W 10/11 -- Test not graded yet. Lots of stuff on cosets, both in principle and in practice. I also spoke about the 14/15 sliding tile problem. The Wikipedia article has a lot more information, including history and generalizations.

M 10/9 -- First exam. Not posted online.

Test Questions
The first exam, by class vote, will be on M 10/9 in class.
The material is essentially that of the first three homeworks.
There will be a list of topics distributed later in the week.
Here is the link to the list of topics.
(added 10/8) I meant to write "associativity" on the sheet, and I meant to say "isomorphism" instead of "automorphism".
As mentioned in class today, the Chinese Remainder theorem will NOT be covered in the first test.
Test will be closed book / closed notes, except for the 3 x 5 card.
By request: a summary of why isomorphisms preserve inverses.
(added 10/8) And now, a summary of answers to various e-mail questions:

The lines in Fig. 6-18 in the book refer to inclusion of subgroups, so <9> is a subgroup of <3>, <6> is a subgroup of <2> and <3>, etc.
The Klein Group V is the group of order 4 which is not cyclic. See Table 5.11
The identity element for a subgroup H of G will always be the same as the identity element for G.
A binary operation is a map from pairs in a set S to the set S. Closure is a part of the definition (that the range is in S). This term comes up when checking subgroups, because if H is a subgroup of G and h, h' are in H, then h*h' must also be in H. (But, this isn't the only condition.)
The only congruence we've talked about is the usual "mod n" for integers.
I meant to write "associativity" on the sheet, and I meant to say "isomorphism" instead of "automorphism".

F 10/6 -- Various review questions, mainly about isomorphisms and how you know a subset of a group is a subgroup. I talked on some things that won't be on the test, like a listing of the subgroups of D_4. last topic was an introduction to left cosets and right cosets, which will show up on HW 4,

W 10/4 -- Homework 3 returned, with comments and retrospective, and a related worksheet. At the end of class, another worksheet on D_4. Lots of time answering questions and happy to spend more on Friday!

M 10/2 -- More on permutations and S_3 and D_4 and even and odd permutations. Much time was spent on a worksheet on D_4. We'll return to it on F 10/6. Also, HW 4 was distributed, due on F 10/13, which is after the first test. The material on this homework will be covered on the second test, not the first.

F 9/29 -- The third homework solutions were distributed, and discussed in detail. New material was mainly a discussion of permutations and the cycle notation. Homework 4 will be distributed on Monday, but will not be due until after the test.

HW 3 Questions
A student asks about what's going on in two of the Fraleigh problems:
In 1b, you consider the set {hk} of all elements in G where h is in H and k is in K. You should check that this set satisfies the criteria of Theorem 5.14.
In problem 2b, the element is a lower case "sigma". So, sigma is in S_6 and is a permutation on the set S =  {1,2,3,4,5,6}. That is sigma: S -> S. You can calculate sigma^2 by applying the function twice. is the cyclic group generated by sigma, and |G| always means the order of the group, so you want to find the smallest positive k so that sigma^k is the identity in the symmetric group.

W 9/27. Homework 2 was returned, along with a retrospective, which led to a short worksheet. In terms of new material, we completed the discussion of groups of order six. On to cycle decompositions (section 9) on Friday.

M 9/25 -- No handouts. We completed section 8 with an informal discussion of dihedral groups (the symmetries of a regular n-gon under rotation and flips) and Cayley's Theorem. Then a jump ahead to Lagrange's Theorem (Thm. 10.10) and a discussion of all groups of order 5, 6 and 7. Groups of prime order are easy to describe. The ones of order 6 are more complicated and there will be a handout on W 9/27, along with the return of HW2.

F 9/22 -- Another Friday. Second homework solutions distributed, and briefly discussed. Also HW 3 distributed, due on 9/29. We finished up the discussion of section 6 on subgroups of cyclic groups and moved on to section 8 and groups of permutations. The end of the class had a of the handout from M 9/18, reprise of the handout from M 9/18, with instructions to identify this group as the S_3; that is, the group of 6 permutations of the set {1,2,3}.

HW 2 Questions
The book page numbers for HW2 problems are correct to within 1 or 2.
Typo on #6: I want the subgroups of the additive group Z/12Z, so just delete the star.
To prove that a map between two groups is an isomorphism, you need to show that it is bijection on the elements of the sets, and that the operation of the groups is preserved. This can most easily be done by giving the tables.

W 9/20 -- Homework 2 was returned and a retrospective was offered. Lots of discussion at the beginning of the class on subgroups and cyclic groups and we continued by describing all the subgroups of a cyclic group. We'll finish a theorem on subgroups generated by elements of a cyclic group. Our friend, the gcd, will return.

M 9/18 -- Graded homework should be returned on W. I reviewed the groups of order 4 and distributed notes on the derivation of the two such groups (up to isomorphism). There was also a worksheet which gave you a chance to work out the ideas on the group table for a group of order 6. (Spoiler: it's the symmetric group S_3.) The new mathematics covered was the idea of the subgroup, with some examples, and at the very end, the cyclic group

C_n: = {e, x, x^2, ... x^(n-1)}, x^n = e, where x^2 = x * x, x^3 = x^2 * x, etc.

F 9/15 -- First homework solutions distributed, and briefly discussed. Also HW 2 distributed, due on 9/22. In class, we talked a bit about the solutions, about the idea of group isomorphism and group tables. We went through all the groups of order 1, 2, 3 and 4 (up to isomorphism). There will be a handout on 9/18 and a worksheet to let you play with this as well. The next new topic is the very important one of subgroups, which will soon be followed by cyclic groups. Read I-5,6 in Fraleigh.

HW 1 Questions.
A student writes: I have a question on #2 in the HW. It says as a hint try to find several triples of numbers which satisfy the conditions, but I can only come up with one triple which would satisfy this: a=12, b=4, c=6, so g=2.
My reply: Actually, there are lots of examples. Consider a = 12*5, b = 4*7, c= 6*7, for example. But the primes 2 and 3 are special. Since gcd(a,c) = 6, you know that 3 divides both a and c. If 3 divided b, then 3 would divide gcd(a,b), but it doesn't. I'll talk about this in class on Wednesday.
A student asks for advice on #3a.
My reply: Look at the power of p that divides n; that is, v_p(n). If you write n^2 = n*n, keep in mind that gcd(n,n) = n and not 1.
A student asks for advice on #3b.
My reply: Well, without giving away the store here: think about what information this problem is telling you about the power of 2 that divides a, b, c. Does this information tell you how to find a, b, c or how to show that no such a, b and c can exist?
A student asks for advice on #6.
My reply: we know that a/b has a period of n if 10^n = 1 mod b. Both 37 and 41 are prime, so we want both 37 and 41 to divide 10^n - 1 for the right choice of n. I can't say much more without giving away the answer.

W 9/13 -- More discussion on gcd and v_p(n). A worksheet. Beginning of the definition of groups.

M 9/11 -- Two handouts. The first was notes for 9/8 and 9/11. The second was a worksheet which was discussed in class. I will start talking about groups on W 9/3; glance through pp.11-43 in Fraleigh. I won't be covering everything there. Edited to add: Here is a link to a biography of Sun Zi, who is credited with discovering the Chinese Remainder Theorem.

F 9/8 -- Three handouts. One was the phone/email list, which won't be posted for security reasons. Another consisted of notes on v_p(n), which you can find at W 9/6. The third was HW1. This is due on F 9/15. Send me questions if you have them, but the last few problems involve stuff we will cover on M 9/11. The main results will be on a handout Monday.

W 9/6 -- Went over factorizations and began congruence mathematics. Here is a link to notes on factorization, with a new and useful notation, v_p(n). I'll talk about this in class on Friday. We also did a worksheet.

M 9/4 -- Labor Day! Here is a history.

F 9/1 -- Optional placement on the map. The outlines will be available every day next week. Mostly going through the Goodman notes. We've finished with 1.6, except for unique factorization into primes and how it influences gcd. There will be a worksheet on the Euclidean algorithm and on congruences for W 9/6. No scan of notes. The only new math not there is this sequence of definitions. If S and T are sets, so that S = {s : s is in S} and m and b are numbers, then

mS = {ms: s is in S}
mS +b = {ms + b: s is in S}
S + T = {s + t: s is in S and t is in T}

We will be using this mainly when S = Z is the set of integers or S = mZ. The big theorem on Friday was that mZ + nZ = gZ, where g = gcd(m,n).

W 8/30 -- Discussion of the worksheet. Informal discussion of what the definition of a group is. Here is a scan of a Summary of the parts of the day's lecture not in Goodman. Number theory reference is Goodman's text . Please let me know if this doesn't work. I covered roughly pp. 24-30, and hope to do much of sections 1.6 and 1.7. The pronunciation of your names seems to be converging on what you'd like.

T 8/29 -- Based on questionnaire responses, and very tentatively, there will be office hours W 4->4:30 and Th 5-> 5:30 in 145 Altgeld. In each case, the rule will be that if nobody is there for 5 minutes, I leave, so come early!

M 8/28 (post-class) -- First question! . A student writes: I was wondering if you can clarify a question on the work sheet? Numbers 1 and 2 asked us to identify "which group of order 4 do they look like". I'm not exactly sure how to answer this. Are we supposed to draw something here?
My reply: Good catch. I didn't get as far as I wanted in class. In the first group, there was one element whose powers determined everything. It was like {e,x,x^2,x^3}. In the second, it's {e,x,y,z} where x^2=y^2=z^2=1. You don't have to turn these in anyway, so just get as far as you can.

M 8/28 -- First day of class. We had an informal introduction to the material of the semester.
Here is a scan of a Summary of the first day's lecture, and a scan of an intended Worksheet that instead was used as an exercise in advance of the W 8/30 class.
Handouts: Course Organization, How to Solve It guide, Class questionnaire, emergency guide from the UIPD.