**Final #4: (a) Find all Sylow subgroups of G, such that .
Proof-** Write . Then we can see there is only one Sylow 2 subgroup of order 16, which is the entire group

(b) with p, q prime. Say that wlog. What is the cardinality of Sylow subgroups of G. Prove that any 2 distinct sylow subgroups intersect in the identity. Suppose in addition that all Sylow subgroups are normal, prove that G is isomorphic to the direct product of its Sylow Subgroups.

Proof- If G is a sylow-p subgroup then it must have order p, and a sylow-q subgroup must have order q. If P is a sylow p-subgroup and Q is a sylow q-subgroup, then because an element cannot have order a power of p and order a power of q at the same time since p and q are distinct primes. Let be two sylow p-subgroups. Let then . Since and they are p groups, the element a must also have order p. Thus . Now assume that all Sylow subgroups are normal. Let P be a sylow p-subgroup and Q be a sylow q-subgroup. Then we have shown that and , and since P and Q are normal in G we have by previous theorem that .

**Qual 95 #4, 08 #2 07 #4 (Hungerford 2.5 #9): If with primes, then G contains a unique normal subgroup of index q.
Proof-** From Sylow’s First Theorem, G has a Sylow p-subgroup of order . Let m be the number of Sylow p subgroups of G. By Sylows Third Theorem we have that and . Then since we have to have that either or for some . If then for some . Then which is a contradiction. If instead we have that then , which is another contradiction. Therefore so that there is the only 1 Sylow p subgroup of G, call it H, which must be normal in G. Then by Lagrange, . Thus H has index q.

**Qual 2005 #2, Final #5 (part 2 is Hungerford 2.5.11): 1) Exhibit 2 distinct Sylow 2 subgroups of and an element of conjugating one into the other.
Example –** Note that . Thus a sylow 2 subgroup has order 8. and so is a Sylow 2 subgroup. Since any 2 Sylow subgroups are conjugate we can finish by working backwards. Conjugate the given subgroup by the element (12). So we have that and so that is another distinct Sylow 2 subgroup with the desired property.

**2) How many elements of order 7 are there in a simple group of order 168.
Proof-** Let . By the Third Sylow Theorem, the number of Sylow 7-subgroups must divide and also must be congruent to 1 modulo 7. Thus the only possibilities are that the number of Sylow 7-subgroups is 1 or 8, but since G is simple we cannot have only one Sylow 7-subgroup otherwise it would be normal. Therefore there are 8 of them, each with 7 elements, with each non identity element having order 7 since a group with prime order must be cyclic. Thus there are elements of order 7.

**Final 2010 9 (Hungerford 2.5.10): Prove that a group of order 12 has a normal sylow subgroup.
Proof-** . By 3rd Sylow Theorem we know that there is either 1 Sylow 3 subgroup, or 4 Sylow 3 subgroups. If there is only one, then know it must be normal. Thus, suppose there are 4, each with order 3. Each of these subgroups has 3 elements, 1 being the identity. Thus the other 2 elements are of order 3. Together then we have elements of order 3 in G. Then G can only have one Sylow 2-subgroup which must be of order 4 because this gives us 12 total elements. Again, being the unique Sylow 2-subgroup gives that it is also normal.

**Qual 2006 #4, 1999 #6: (1)Determine the units in .
(2) Is 7 irreducible? Prove your answer.
Proof-** Define the map by . Note that and claim u is a unit iff . Let u be a unit, then there exists such that . Then let where . Let u is a unit. The proof is similar if instead. Thus the claim is proved. Now we can prove (1). is a unit iff . Thus the only units are because the implications can be reversed. For (2), write Then . Wlog we have 2 possible outcomes: a) and or b) and . The case of (a) gives a contradiction for any choice of b, while the (b) case gives a contradiction unless b = 0, in which case . This gives that the only factorization of 7 is or and so 7 is irreducible since 1 and -1 are units.

**Qual 1999 #7: (a) Give an example of an integral domain R and ideals I and J of R such that .
(b) Show that if then .
Proof-** (a) Let . Then , but . This is because in , we have but .

(b) is always true because I and J are ideals.

Now let . Note that since we are given we can write for some . Then . Then since x is in both I and J, . This completes the proof.

**Hungerford 3.1.15: (a) Give an example of a nonzero homomorphism of rings with identity such that .
(b) If is an epimorphism then .
(c) If is a homomorphism of rings with identity and u is a unit in R such that is a unit in S, then and . Give an example to show that need not be a unit in S even though u is a unit in R.
Proof-** a) Consider by . Then for we have and but note that in .

b) Let . Since f is surjective we have that for some . Then and similarly . Since the identity element is unique and is acting as the identity we must have that .

c) First note that . Then since is given to be a unit we can multiply both sides by the inverse so that . Then using this fact we have and similarly . Then since inverses are unique and is acting as the inverse of we must have that . Lastly, use the same map as in part a) for the counterexample and note that 2 is a unit , but is not a unit in .

**Qual 2013 #4: Find a maximal ideal in containing . How many such ideals are there? In how many are there? Find such that .
Proof- **Recall some facts: If R is an integral domain and then 1) , 2) units of are the units in R, 3) is an ID also. Lastly, if F is a field then is an ED which means it is a PID, UFD, and ID as well. Now, since is a field we have that is a PID. Since any ideal is generated by an element, we know that is maximal iff m is irreducible in . Now we have . Then we have . Since each factor is irreducible, each of these ideals is maximal. If , then .

**Hungerford 3.4.12: A commutative ring with identity is local iff for all we have is a unit.
Proof- ** Suppose that R is local and that . Suppose that r is not a unit. Since R is a local ring it has a unique max ideal, call it M. Then since all nonunits must be in M, and r is not a unit. If s was also a nonunit then we would have which is a contradiction to the definition of maximal ideal. Therefore s must be a unit.

Let is a unit be true for all . Now, let r and s be nonunits. If is a unit then there exists a such that . Then by the assumption we have either or is a unit. This tells us that either r or s is a unit, which is a contradiction to assuming neither was a unit. Therefore, is a nonunit. If r is a nonunit then we know is a nonunit for all x. Thus, we have that the sum of nonunits is a nonunit, and that nonunits absorb any element through multiplication. This gives that the set of all nonunits forms an ideal, which implies R is a local ring.

**Qual 2013 #3: Prove that if R is a local ring and is a surjective ring hom onto nonzero ring S, then S is local.
Proof-** Let R be a local ring and let M be the unique maximal ideal of R. Since the map is an epimorphism, ideals map to ideals and the inverse image of an ideal is an ideal which contains the kernel of the map. Now suppose that then . This tells us that . However we know M is maximal so that or R. Thus or Therefore is maximal. Next we show it is unique. If N is another maximal ideal in S, then we have is also max in R which by uniqueness of M gives that . Therefore S is a local ring.

**Let . Then is maximal iff n is prime.
Proof- **Let be a maximal ideal and suppose . Then there exists an element which is in J but not in . Therefore so that for some . Then and by definition of ideal. But this gives that which means that . Therefore is maximal.

We know that the integers form a PID so if then . So if . Therefore or so that it is maximal.

**Final 2013 #2: (a) Consider the ring of integers. Find a maximal ideal that contains the integer 45.
(b) Find a prime ideal in the integers that contains both 45 and 120
(c) Find an integer r such that .
Proof-** a) A maximal ideal in the integers is the same as a prime ideal. Since we have that which is a max ideal.

b) We can write and . Therefore both integers are contained in .

c) . But this is the same as the set . This set is generated by the lcm of 45 and 120. Therefore .