Directions. It is intended that you work these as exercises. Although you may refer to books for definitions and standard theorems, searching for solutions to these written exercises either in books or in online references should not be required and is undesirable. If you make use of a reference other than class notes, you must properly cite that use. You may not seek help from others.
Let K be the splitting field over Q of the polynomial t^{8} - 1, and let L = K(SQRT[8]{2}).
Show that L is the splitting field of t^{8} - 2 over Q.
Find the Galois group of K over Q.
Find the Galois group of L over K.
Find the Galois group of L over Q.
Let K be a field, L a (finite) Galois extension of K, G the Galois group, and R = KG the group ring of G with coefficients in K. Observe that L and R have the same dimension as vector spaces over K.
Show that there is an obvious R-module structure on L.
Formulate in terms of the study of L as an extension of K without reference to the notion of group ring what it means for L to be isomorphic as an R-module to R.
How small can a non-commutative ring be? Prove the following:
Every ring R with |R| <= 7 is commutative.
If F_{2} = Z/2Z is the field of 2 elements, there is a subring of the 2\times2 matrix ring M_{2}(F_{2}) over F_{2} that is non-commutative and has 8 elements.
In Hungerford's text at p. 227, Defn. 7.1, an “algebra” A over a commutative ring K is defined to be a ring A, not necessarily commutative, that is also a K-module where it is required that the K-module structure K \times A \overset{·}{ --> } A is related to the ring multiplication of A by the formulae
| (k · a_{1}) a_{2} = k · (a_{1} a_{2}) = a_{1} (k · a_{2}) . |
Prove that there is a ring homomorphism K \overset{varphi}{ --> } A such that for all k \in K and a \in A one has
| k · a = varphi(k) a = a varphi(k) . |
(Be sure to begin by defining varphi.)
Let F be any field, and let L = F(t_{1},…,t_{n}) be the field of rational functions in n variables over F. Find a subfield K of L with the property that L is a cyclic extension of K of degree n.