Let be a group, and be subgroups of . Let denote the set product. Prove that is a group if and only if .
Problem 2
Suppose is a surjective homomorphism, is a subgroup containing , and . Prove , where . Make sure to state explicitly where each hypothesis is used.
Problem 3
A Boolean algebra is a ring with satisfying for all . Prove that in a Boolean algebra : (a) for all . (b) Every nonzero prime ideal is maximal, and is a field with two elements.
Problem 4
Let be the ring of integers . There is a ring homomorphism
This is an isomorphism by the Chinese Remainder Theorem. Let be the group of units of . Prove that is isomorphic to .
Problem 5
Let be the orthogonal projection onto the plane , with respect to the standard Euclidean inner product. (a) Write the matrix representation of with respect to the standard basis. (b) Is diagonalizable? Justify your answer.