Abstract Algebra Prelim Exercises August 2010, Exams of Algebra

A collection of abstract algebra exercises covering topics such as units in rings, homomorphisms, symmetric groups, ideal theory, and more. Students are asked to prove various properties and give examples.

Typology: Exams

2012/2013

Uploaded on 02/12/2013

pankita
pankita 🇮🇳

4.5

(15)

82 documents

1 / 1

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Abstract Algebra Prelim Aug. 2010
1. Set Z[11] = {a+b11 : a, b Z}.
(a) Show a+b11 is a unit in Z[11] if and only if a211b2=±1.
(b) Show there is no integral solution to a211b2=1.
2. Let Gbe an abelian group and Hbe a subgroup with finite index. For any integer n1, the
inclusion HGand the reduction GG/nG compose to give a homomorphism HG/nG.
This homomorphism kills nH, so it induces a homomorphism fn:H/nH G/nG given by
fn(hmod nH) = hmod nG.
(a) Whenever (n, [G:H]) = 1, show fnis an isomorphism.
(b) Whenever (n, [G:H]) >1, show fnis not surjective.
3. Let Snbe the symmetric group on nletters (n2). Then every element of Sncan be written
as a product of cycles.
(a) Write an arbitrary cycle (i1i2. . . im), m2, as a product of transpositions.
(b) Show that Snis generated by the n1 transpositions (12), (13),...,(1n).
(c) Show that Snis generated by the n1 transpositions (12), (23),...,(n1n).
4. (a) In Q[x, y], prove that (x) is a prime ideal and not a maximal ideal.
(b) In Q[x, y], prove that (x, y) is a maximal ideal.
(c) In Q[x], prove that (x22) is a maximal ideal and that neither (x2) nor (x24) is a
prime ideal.
5. Let Abe a nonzero ring such that a2=afor all aA. (Examples include Z/2Z×·· ·×Z/2Z,
but these are not the only ones.)
(a) Show Ahas characteristic 2.
(b) If Ais finite, show its size is a power of 2.
(c) Show any prime ideal in Ais maximal.
6. Give examples as requested, with brief justification.
(a) Four nonisomorphic groups of order 8.
(b) A nontrivial character of the group (Z/12Z)×.
(c) A torsion-free Z-module which is not a free Z-module. (Torsion-free means no element v
satisifes nv = 0 for some nonzero integer nexcept for v= 0.)
(d) Three nonisomorphic C[x]-modules which are each 2-dimensional as C-vector spaces.

Partial preview of the text

Download Abstract Algebra Prelim Exercises August 2010 and more Exams Algebra in PDF only on Docsity!

Abstract Algebra Prelim Aug. 2010

  1. Set Z[

11] = {a + b

11 : a, b ∈ Z}. (a) Show a + b

11 is a unit in Z[

11] if and only if a^2 − 11 b^2 = ±1. (b) Show there is no integral solution to a^2 − 11 b^2 = −1.

  1. Let G be an abelian group and H be a subgroup with finite index. For any integer n ≥ 1, the inclusion H → G and the reduction G → G/nG compose to give a homomorphism H → G/nG. This homomorphism kills nH, so it induces a homomorphism fn : H/nH → G/nG given by fn(h mod nH) = h mod nG. (a) Whenever (n, [G : H]) = 1, show fn is an isomorphism. (b) Whenever (n, [G : H]) > 1, show fn is not surjective.
  2. Let Sn be the symmetric group on n letters (n ≥ 2). Then every element of Sn can be written as a product of cycles. (a) Write an arbitrary cycle (i 1 i 2... im), m ≥ 2, as a product of transpositions. (b) Show that Sn is generated by the n − 1 transpositions (12), (13),... , (1n). (c) Show that Sn is generated by the n − 1 transpositions (12), (23),... , (n − 1 n).
  3. (a) In Q[x, y], prove that (x) is a prime ideal and not a maximal ideal. (b) In Q[x, y], prove that (x, y) is a maximal ideal. (c) In Q[x], prove that (x^2 − 2) is a maximal ideal and that neither (x^2 ) nor (x^2 − 4) is a prime ideal.
  4. Let A be a nonzero ring such that a^2 = a for all a ∈ A. (Examples include Z/ 2 Z × · · · × Z/ 2 Z, but these are not the only ones.) (a) Show A has characteristic 2. (b) If A is finite, show its size is a power of 2. (c) Show any prime ideal in A is maximal.
  5. Give examples as requested, with brief justification. (a) Four nonisomorphic groups of order 8. (b) A nontrivial character of the group (Z/ 12 Z)×. (c) A torsion-free Z-module which is not a free Z-module. (Torsion-free means no element v satisifes nv = 0 for some nonzero integer n except for v = 0.) (d) Three nonisomorphic C[x]-modules which are each 2-dimensional as C-vector spaces.