Algebra
[82/100%]Let be a real vector space of dimension at least and let . Prove that there is a non-zero subspace of , , such that .
Let be a finite-dimensional vector space over a field . Let be a linear transformation of into itself. Let be an invariant subspace of (that is, ). Let , , and be the minimal polynomial of as linear transformation of , and respectively.
Prove that divides .
Prove that if and are relatively prime, then
Give an example of a case in which .
Let be a finite-dimensional vector space over and be a linear transformation such that (a) the minimal polynomial of is irreducible and (b) there exists a vector such that spans . Show that does not have a proper -invariant subspace.
Let be an matrix with entries in . Show that has distinct eigenvalues in if and only if commutes with no nonzero nilpotent matrix.
Suppose is a finite-dimensional vector space over a field , a linear map such that the minimal polynomial of coincides with the characteristic polynomial, which is the square of an irreducible polynomial in . Show that if , and are any three non-zero vectors in , then at least two of the three subspaces spanned by the sets , and coincide.
Let be a finite-dimensional vector space over with basis . Let be a permutation on and thus induce a linear transformation on . Show that is diagonalizable.
Let be a finite-dimensional vector space over the field of rational numbers. Suppose is a non-singular linear transformation of such that . Prove that divides the dimension of , and prove that if , then all such 's are similar.
Let be a finite field with elements where is a prime. Let be the Frobenius automorphism . Prove that considered as a linear map over is diagonalizable if and only if divides .
Let be a non-singular matrix whose elements are differentiable functions of real variable . Let denote the matrix formed by the derivatives of the elements. Show that the derivative of the determinant satisfies
Let be the vector space of polynomials with real coefficients , , and . Define an inner product on by
Find an orthonormal basis for consisting of polynomials , , and , having degree , , and , respectively.
Use the answer to (a) to find the second degree polynomial that solves the minimization problem
Suppose that is an matrix and that
Suppose that all the entries of , , and are real.
Show that there exist numbers and so that
Show that if then
Is it true that if ?
Let be an real matrix with distinct (possibly complex) eigenvalues, , and corresponding eigenvectors . Assume that and that for . Prove that exists. Define by . Find the dimensions of the kernel and image of and give a basis for both.
Let be a matrix. Define
For
express in closed form.
Let be the tridiagonal matrix
All entries not shown are zero.
Show that
Use part (a) to show that has all negative eigenvalues.
Let be the following tridiagonal matrix, which agrees with except in the first row and column: let be the largest eigenvalue of . Show that .
Show that has negative eigenvalues.
Let be a real symmetric, positive-definite, matrix with distinct eigenvalues . Show that
where ranges over all two-dimensional subspaces of and is the Euclidean norm of .
For any matrix , consider the sum
Prove that if , then exists and .
Assume that in a matrix norm induced by a vector norm. Prove that .
Use part (a) to compute the inverse of
Let be a -group and be a linear action of on a finite vector space over a finite field . Using Sylow theory, prove that there exist a basis of in which all the transformations are unipotent matrices.
Let be an endomorphism of a finite-dimensional vector space over a field whose characteristic polynomial is not equal to its minimal polynomial. Show that there is an endomorphism of so that commutes with but is not a polynomial in . ( is a polynomial in if for some and .)
Let be an real matrix, all of whose (complex) eigenvalues are real and positive. Show that for any integer , there exists at least one real matrix with .
Let be a finite-dimensional vector space over an algebraically closed field , and let be a linear transformation.
Show that there are -invariant subspaces and elements such that is the direct sum of the and is nilpotent. (A transformation is nilpotent if , for some .)
Show that there are polynomials such that , is diagonalizable, and is nilpotent.
Let be the group of real matrices, of determinant one. Describe the set of conjugacy classes of elements of .
Let , the group of invertible matrices over the finite field with , a prime, , the subgroup of upper triangular matrices with 's on the diagonal.
Calculate the orders of and . Deduce that is a Sylow -subgroup of .
Deduce that every -subgroup of is conjugate to a subgroup of .
Determine the number of -conjugates of .
Show that has -power order iff with .
Show that contains an element of order .
Let be a finite group and a subgroup. Prove that if then .
Recall that a subgroup of a group is said to be maximal if the only subgroups satisfying are and . Let be a finite group with the property that all of its maximal subgroups are conjugate. Prove that is cyclic of prime power order.
Suppose that and are normal subgroups of a finite group and that .
Give an example to show that need not be isomorphic to .
Show that if is simple, then .
Prove that if is a finitely generated infinite group then for each positive integer , has only finitely many subgroups of index .
Show that is solvable but not nilpotent.
Let be a prime and let be an -dimensional vector space over . Let . Recall that .
Recall that a linear transformation is called semisimple if its minimal polynomial is separable. Prove that a transformation is semisimple if and only if for some positive integer .
Let be a subgroup of of order a power of . Show that can be simultaneously upper triangularized, that is, there is a basis of with respect to which all of the elements of are upper triangular.
Let and be distinct prime numbers. Let be a group of order such that its commutator subgroup is of order . Let be a -Sylow subgroup of .
Show that is abelian and .
Show that there are elements and such that .
From (b) show that divides .
Let , be primes, . Let be a group of order . Show has a subgroup of order .
What can you say if (and )?
Let be the abelian group on generators , , and , subject to the relations
Give a decomposition of as a direct sum of cyclic groups of prime order or infinite order.
Let be an matrix of integers. Suppose that is invertible when viewed as a matrix of rational numbers, i.e., that there exists an matrix with rational entries so that equals the identity matrix. View as an endomorphism of .
Show that is finite.
Show that the order of is equal to the absolute value of the determinant of .
Let with . Calculate the order of the additive group where is the -submodule of generated by , and . Then express as a product of cyclic groups.
Prove that is generated by and where is the group of matrices with integral coefficients and determinant .
Let be a finite group, a normal subgroup of and a Sylow subgroup of . If is the normalizer of in (i.e., ) then show that .
Let be a Sylow subgroup of a finite group . Let . Let be a subgroup of , . Prove: If such that , then .
Let be a finite group. The probability of to be commutative is defined by
If is not commutative, prove that .
Give an example of such that is exactly .
Prove the ring is Euclidean.
Using (a), find all integer solutions to the equation .
Let be a prime. Show that for any element , there exist such that .
For a ring , denotes its multiplicative group of units, the ring of matrices over , and .
If is nilpotent ( for some ) then .
Let be a nilpotent ideal of ( for some ). Show that is surjective, with kernel
Let denote the finite field with elements ( prime). What is the order of ?
Show that is a -Sylow subgroup of .
Show that contains an element of order .
Find the order of , and describe a -Sylow subgroup.
Describe an infinite set of integral solutions of the Pell's equation (i.e., such that ).
Let be a prime. Let be a commutative ring in which for all .
If is an integral domain, prove that is isomorphic (as a ring) to .
In the general case (i.e., not necessarily an integral domain), prove that is isomorphic (as a ring) to a subring of a direct product (not necessarily finite) of rings each of which is isomorphic to .
Let be a commutative ring with . If satisfies the a.c.c. (ascending chain condition) for finitely generated ideals then show that satisfies the a.c.c. for all ideals. Give an example (without proof) of such a ring which is an integral domain but not a p.i.d.
Let be a commutative ring. Let be an ideal of .
Show that is a multiplicatively closed subset of .
Show there is a one-to-one correspondence between the prime ideals of and those prime ideals of such that .
If is contained in every maximal ideal of , what is ?
If is a maximal ideal of , what can you say about the structure of ?
Let be a nilpotent ideal in a ring , let and be -modules, and let be an -homomorphism. Show that if the induced map
is surjective, then is surjective.
Let be a finite field containing elements. Let be transcendental over . Explicitly construct one non-archimedean absolute value on . If is the completion of with respect to , show that the set of satisfying is a local ring.
Prove that the ideal generated by in the polynomial ring cannot be generated by fewer than elements.
Let be a commutative ring, and let and be two (proper) ideals such that every prime ideal of contains either or but no prime ideal contains both and . Prove that
for some (nontrivial) rings and .
Define by
Find all such that
Let be the ring of all real trigonometric polynomials
Define where or . Show that . Use this result to prove that is an integral domain which is not a unique factorization domain.
Let be a Noetherian integral domain integrally closed in its field of fractions . Let be a finite separable field extension of . If is the integral closure of in , outline a proof that is Noetherian.
If is a commutative ring and is the ring of formal power series over , show that if is nilpotent, then all the elements are nilpotent. If is Noetherian, prove the converse, i.e., that if all the elements are nilpotent, then is nilpotent.
Let be a field, and for let be the subring of the ring of polynomials consisting of polynomials
such that .
Show that is a Noetherian ring.
Show that the field of fractions of is , and determine the integral closure of in its field of fractions.
Describe all subrings of . (A subring contains by definition.)
Let be a finite set and a subgroup of the group of permutations of . Define a relation on by requiring if either or the transposition (which interchanges and leaves all other elements fixed) is an element of . Show the following.
is an equivalence relation.
If acts transitively, then all equivalence classes are distinct and contain the same number of elements.
If is a prime number and if acts transitively and contains at least one transposition then must be the whole permutation group of .
Let be an odd prime. Let be a primitive -th root of unity and a primitive root (mod ) (i.e., is a generator for ). Fix , a divisor of and put . Define
Show that, for any , generates a subfield of of degree over .
Let be a field and be an element of an extension of such that is transcendental over . Put , and let denote the subgroup of consisting of the substitutions with .
Let , , , and put . Show in succession that the polynomial is not , that is algebraic over , that is transcendental over , that is irreducible in , and that
Show that the elements of are given by the fractional linear substitutions with and .
Show that when is infinite, then is infinite and the fixed field of is . Find the fixed field of .
Show that when and put
then and the fixed field of is . Conclude that is a Galois extension of a given field with if and only if . Find the fixed field of .
Let with an indeterminate, with , and .
Show that there are unique automorphisms and of such that and , and that the subgroup of which these generate is isomorphic to , the Dihedral group of order .
Show that is a root of a polynomial of degree with coefficients in .
Show that is a Galois extension with Galois group .
Let be the field of rational polynomials in one variable over (i.e., the quotient field of the polynomial ring ). Consider the elements in (i.e., field automorphisms of ) given by and .
Find the subgroup (of ) generated by and .
If is the fixed field of in , find a finite subset of such that .
How many subfields lie strictly between and ? How many of these are Galois over ? Justify your answers.
Consider , the field of quotients of the polynomial ring . Let and be elements of given by and . Let be the subgroup of generated by and .
Identify .
Let be the subgroup of generated by and . Find such that is the fixed field of (justify your answer).
Let denote the field of rational numbers. Let , where is a root of .
Prove that is irreducible over .
Prove that is Galois.
Find a generator of the Galois group .
Let be a field and an indeterminate.
Show that the rational functions () are linearly independent over .
As -modules, and have what dimensions?
Let denote the additive group of , acting on by sending to . Assume that is infinite. Let . Show that the -orbit of spans a finite-dimensional -module if and only if .
Let be a finite Galois extension of and let be an irreducible polynomial in . Show that all the irreducible factors of over are of the same degree.
Let be a field of characteristic . Show that the polynomial in is either irreducible or splits completely into linear factors over .
Let be the splitting field of the polynomial over . Show that .
Suppose you are given a field , , such that is algebraic and every finite field extension , is of even degree. Show that every finite field extension of must in fact have degree equal to a power of .
Show that such a field actually exists.
Let be a field of characteristic . The set is a subfield of that is denoted by (no proof required).
Let be an intermediate field between and . If is finite, prove that it is a power of .
A subset of is called -independent if for any finite set of distinct elements of
Prove that if , then contains a maximal -independent subset .
Prove that the set of part (b) satisfies .
Let be a finite field with elements ( a prime) and be a positive integer. If is an integer which divides and is an irreducible polynomial of degree , show that divides .
Let be a finite extension of fields and let and be intermediate fields, with Galois and , a prime. Prove that if does not divide then .
Let be the subfields of defined as follows: . If , is the smallest subfield of containing the set
Let
Prove is a field.
Let be irreducible. Prove that .
Let be an extension field of , the field with elements. Let be an algebraic element in . Prove that is the smallest positive integer such that , where .
Let be a field extension of finite degree . Let be an irreducible polynomial of degree . If and are coprime then show that remains irreducible in .
Find a Galois extension over with cyclic of order .
Find a Galois extension over with cyclic of order .
Let be a finite Galois extension, and . Consider the -linear map , . Show that its trace is given by where varies over .
Show that the discriminant of the polynomial (i.e., if ) is given by the formula:
Show that satisfies an irreducible cubic polynomial over . Compute this cubic and show that is Galois over of degree .
Explain how to construct an angle of by ruler and compass.
Let be a field. Denote by the set of polynomials in of degree one, i.e., consists of all polynomials with and .
Show that under composition of polynomial functions, forms a group.
Show that if , then the map of to itself defined by is a set-theoretic automorphism of .
Show that the map defined by
is an injective group homomorphism.
Show that the subgroup consisting of all elements of the form is a normal subgroup of , and that the map defines an isomorphism of with the additive group of .
Show that the map defines a group homomorphism of onto the multiplicative group whose kernel is .
Let be a normal subgroup. Show that if , then contains .
Show that if is a subgroup and if contains , then is a normal subgroup of .
Following 1424, suppose now that is a finite field of characteristic .
Compute and .
Show that is the unique -Sylow subgroup of .
Let be a non-trivial subgroup. Show that is normal in if and only if .
Let be a divisor of . Show that the unique subgroup of of order consists of all elements with in and .
Let and be two (not-necessarily distinct) prime numbers. Consider the polynomial , and denote by its splitting field over .
Show is irreducible over .
Show contains a primitive -th root of unity .
Show .
Fix an element with . Show that for any , there exist unique elements and such that
and show that the map defines an isomorphism of groups (see notations in 1424).
Show that the map of sets defined by is bijective, and that by means of this bijection, the composite map
is the permutation action of the Galois group on the roots.
Show that if is an intermediate field, i.e., and if , then is Galois if and only if .
Let be a prime number which is odd.
Show that has a unique subgroup of order , namely the subgroup consisting of squares of elements of .
Show that the map (the multiplicative group) defined by
is a homomorphism (called the ``quadratic character mod '').
Show that .
Let be the complex number , a primitive -th root of unity in . So is a subfield of . Denote by the automorphism ``complex conjugation'' of , show that is mapped to itself by , and that induces an automorphism of which under the isomorphism corresponds to the element .
Show that the number in defined by the ``Gauss Sum''
satisfies, as a complex number, the relations
Show that if and only if .
Deduce from (e) and (f) above that
Prove or disprove the following:
If a monic polynomial in reduces modulo a prime number to an irreducible polynomial in , then is irreducible in .
is irreducible in .
Given any field , and any finite group , there exists a Galois extension with Galois group .
If is a chain of fields with Galois and Galois, then is Galois.
If is a field of characteristic , and if is a finite Galois extension, then does not divide the degree of .
Suppose is irreducible and has degree , a prime number. If has exactly real roots and complex roots, show that the Galois group of over is the symmetric group on symbols. Show that the polynomial
is irreducible and determine its Galois group over .