Let be any set, any field, and the set of maps from to . is endowed with the structure of a vector space over using “pointwise” addition and multiplication by scalars. Prove that a finite sequence of elements of is linearly independent if and only if there is a finite sequence of elements in for which the determinant is non-zero.
Find a complete set of representatives for the isomorphism classes of finite abelian groups of order .
Let be the splitting field over the field of rational numbers of the polynomial
What are the possible values for the minimum degree among the irreducible factors of a polynomial of degree ?
Write as the product of factors irreducible over .
Write as the product of factors irreducible over .
What is the degree of over ?
What is the Galois group of over ?
Show that if two square matrices of the same finite size over a field are similar in a larger field then they must be similar in the original field.
Let be a field, and let be the quotient ring where are independent transcendentals over .
Show that has no zero divisors.
Explain briefly why is Noetherian.
Is a unique factorization domain? (Either prove that it is or exhibit an example of something that does not factor uniquely according to the usual criteria for such uniqueness.)
Let be a finite extension of a field .
Outline an argument for showing that if is a finite field, then is a cyclic Galois extension of .
Provide an example where is a field of characteristic and is an extension of of degree that is not a Galois extension of .
For any given field explain how to obtain an extension of and a finite extension of for which is a Galois extension of with Galois group isomorphic to the symmetric group (consisting of the permutations of objects).
Let denote the field of elements.
What is the cardinality of -dimensional Cartesian space over ?
Let denote cardinality of the group
of linear automorphisms
of .
Compute .
Observe that the multiplicative group is the unique group of order and furthermore that:
Multiplication by invertible scalars gives rise to a homomorphism from to .
The determinant gives rise to a homomorphism from to
Is the kernel of isomorphic to the cokernel of ?
Prove over any commutative ring (with ) that two isomorphic free modules of finite rank must have the same rank.