<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
   "http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<title>Math 541 Fall 2007 Homework 11</title>
<style type="text/css">
body {
    counter-reset: section 0;
    text-align: justify
}

h2.title {
    text-align:center
}
p.author {
    text-align:center
}
li {
    text-indent: 0em;
}
p.indent {
    text-indent: 2em;
}

h2.section {
    counter-reset: eqn 0 result 0 subsection 0;
}
h2.section:before {
    content: counter(section) ". ";
    counter-increment: section 1;  /* Add 1 to section */
}
h3.subsection:before {
    content: counter(section) "." counter(subsection);
    counter-increment: subsection;  /* Add 1 to subsection */
}

div.theorem:before {
    content: "Theorem " counter(section) "." counter(result) " ";
    counter-increment: result 1;
    font-style: normal;
    font-weight: bold;
}
div.theorem{ font-style:italic }
div.proposition:before {
    content: "Proposition " counter(section) "." counter(result) " ";
        counter-increment: result 1;
    font-style: normal;  
    font-weight: bold;
}
div.proposition{ font-style:italic }
div.lemma:before { 
    content: "Lemma " counter(section) "." counter(result) " ";
    counter-increment: result;
    font-style: normal; 
    font-weight: bold; 
}
div.lemma{ font-style:italic }

table.dispeq {
   width:100%;
   }
td.eq {
   text-align:center;
     }
td.eqno {
    width: 10px;
    text-align:right;
    }
td.eqno:after {
     content: "("counter(section)"."counter(eqn)")";
     counter-increment: eqn;
     font-style: normal;
  }
</style>
</head>

<body>
<table border="0" cellpadding="5" cellspacing="0" width="100%">
  <tbody>
    <tr>
      <td valign="top"><div align="center">
              <img src="http://www.math.wisc.edu/~ram/UW_logo_150.gif" alt="University of Wisconsin-Madison" border="0" height="150" vspace="2" width="150" /><br />
      </div>
          <h5 align="center"><a href="http://www.wisc.edu/">University of Wisconsin-Madison </a><br />
              <a href="http://www.math.wisc.edu/">Mathematics
                Department</a></h5></td>
      <td align="center" valign="middle"><h2> Math 541 <br />
        Modern Algebra <br />
        A first course in Abstract Algebra<br />
        Lecturer: <a href="http://www.math.wisc.edu/%7Eram">Arun Ram </a> </h2></td>
      <td><h3>
        <large>
          <div align="center">Fall 2007</div>
        </large>
      </h3>
          <h3></h3></td>
    </tr>
  </tbody>
</table>
<hr />
<h2 align="center">&nbsp;</h2>
<h2 align="center">Homework 11: Due November 21, 2007 </h2>
<p align="center">&nbsp;</p>

<h3>To grade: 5, 10, 11, 13, 14, 17.</h3>

<ol>
<li><p> Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math> be a subset of a group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>.  Define the subgroup generated by 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math>.
</p></li>
<li><p> Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math> be a subset of a ring
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>R</mi></math>.  Define the ideal generated by 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math>.
</p></li>
<li><p> Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math> be a subset of a module
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>M</mi></math>.  Define the submodule generated by 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math>.
</p></li>
<li><p> Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math> be a subset of a vector space
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>V</mi></math>.  Define the subspace generated by 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math>.
</p></li>
<li><p> Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math> be a subset of a vector space
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>V</mi></math>. Show that 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>span</mi><mo>(</mo><mi>S</mi><mo>)</mo></math> 
is equal to the set of linear combinations of elements
of <math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math>.
</p></li> 
<li><p> Show that the intersection of two subgroups of a 
group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math> is a subgroup of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>.
</p></li>
<li><p> Give an example to show that the union of two subgroups
of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math> is not necessarily a subgroup of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>.
</p></li>
<li><p> Let <math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math> be a group and let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi></math> be a subset of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>.  Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&Hscr;</mi></math> be the set of subgroups 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>H</mi></math>
of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>
such that 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi><mo>&sube;</mo><mi>H</mi></math>.  Define
<table class="dispeq">
<tr><td class="eq">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>H</mi><mi>S</mi></msub><mo>=</mo>
<msub><mi>&xcap;</mi><mrow><mi>H</mi><mo>&isin;</mo><mi>&Hscr;</mi>
</mrow></msub>
<mi>H</mi></math>
</td></tr></table>
<ol>
<li>Show that <math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>H</mi><mi>S</mi></msub></math> is a subgroup of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>.</li>
<li>Show that <math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi><mo>&sube;</mo>
<msub><mi>H</mi><mi>S</mi></msub></math>.
</li>
<li> Show that if 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>H</mi></math>
is a subgroup of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>
and
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>S</mi><mo>&sube;</mo><mi>H</mi></math>
then
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>H</mi><mi>S</mi></msub><mo>&sube;</mo><mi>H</mi></math>.
</li></ol>
Conclude that 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>H</mi><mi>S</mi></msub><mo>=</mo>
<mo>&langle;</mo><mi>S</mi><mo>&rangle;</mo></math>.
</p></li>
<li><p> Determine the subgroup lattice of the dihedral group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>D</mi><mn>4</mn></msub></math>.  The group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>D</mi><mn>4</mn></msub></math> acts on its subgroups
by conjugation.  Determine the stabilizer and the orbit of each subgroup.
</p></li>
<li><p> Determine the subgroup lattice of the quaternion group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>Q</mi></math>.  The group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>Q</mi></math> acts on its subgroups
by conjugation.  Determine the stabilizer and the orbit of each subgroup.
</p></li>
<li><p> Determine the subgroup lattice of the dihedral group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>D</mi><mn>5</mn></msub></math>.  The group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>D</mi><mn>5</mn></msub></math> acts on its subgroups
by conjugation.  Determine the stabilizer and the orbit of each subgroup.
</p></li>
<li><p> The dihedral group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>D</mi><mn>4</mn></msub></math> acts on its elements
by conjugation.  Determine the stabilizer and the orbit of each element.
Determine the conjugacy classes of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>D</mi><mn>4</mn></msub></math>, the centralizer of each element,
and determine the center of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>D</mi><mn>4</mn></msub></math>.
</p></li>
<li><p> The quaternion group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>Q</mi></math> acts on its elements
by conjugation.  Determine the stabilizer and the orbit of each element.
Determine the conjugacy classes of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>Q</mi></math>, the centralizer of each element,
and determine the center of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>Q</mi></math>.
</p></li>
<li><p> The dihedral group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>D</mi><mn>5</mn></msub></math> acts on its elements
by conjugation.  Determine the stabilizer and the orbit of each element.
Determine the conjugacy classes of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>D</mi><mn>5</mn></msub></math>, the centralizer of each element,
and determine the center of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>D</mi><mn>5</mn></msub></math>.
</p></li>
<li><p> Determine the subgroup lattice of the quaternion group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>Q</mi></math>.  The group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>Q</mi></math> acts on its subgroups
by conjugation.  Determine the stabilizer and the orbit of each subgroup.
</p></li>
<p><li>  Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>A</mi></math> be a matrix.  Explain how to use
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>A</mi></math> to produce a module for the ring
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&Copf;</mi><mo>[</mo><mi>x</mi><mo>]</mo></math>.
</li></p>
<p><li>  Use the matrix
<table class="dispeq">
<tr><td class="eq">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>A</mi>
  <mo>=</mo>
  <mrow>
  <mo>(</mo>
  <mtable>
    <mtr>
      <mtd>
        <mn>1</mn>
      </mtd>
      <mtd>
        <mn>-2</mn>
      </mtd>
      <mtd>
        <mn>-1</mn>
      </mtd>
    </mtr>
    <mtr>
      <mtd>
        <mn>-3</mn>
      </mtd>
      <mtd>
        <mn>6</mn>
      </mtd>
      <mtd>
        <mn>3</mn>
      </mtd>
    </mtr>
    <mtr>
      <mtd>
        <mn>6</mn>
      </mtd>
      <mtd>
        <mn>-12</mn>
      </mtd>
      <mtd>
        <mn>-6</mn>
      </mtd>
    </mtr>
  </mtable>
 <mo>)</mo>
 </mrow>
</math></td>
</tr></table>
to define a
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&Copf;</mi><mo>[</mo><mi>x</mi><mo>]</mo></math>-module
on the vector space
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>V</mi></math> with basis
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>b</mi><mn>1</mn></msub></math>,
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>b</mi><mn>2</mn></msub></math>,
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>b</mi><mn>3</mn></msub></math>.
Compute
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mo>(</mo><msup><mi>x</mi><mn>2</mn></msup><mo>+</mo><mn>2</mn><mi>x</mi>
<mo>+</mo><mn>1</mn><mo>)</mo>
<msub><mi>b</mi><mn>2</mn></msub>
</math>.
</li></p>
<p><li> Find all submodules of the module in Problem 17.</li></p>
<p><li> Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>V</mi></math> be the vector space
with basis
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>b</mi><mn>1</mn></msub></math>,
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>b</mi><mn>2</mn></msub></math>,
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>b</mi><mn>3</mn></msub></math>.
The matrix
<table class="dispeq">
<tr><td class="eq">
<math xmlns="http://www.w3.org/1998/Math/MathML">
  <mi>A</mi>
  <mo>=</mo>
  <mrow>
  <mo>(</mo>
  <mtable>
    <mtr>
      <mtd>
        <mn>1</mn>
      </mtd>
      <mtd>
        <mn>-2</mn>
      </mtd>
      <mtd>
        <mn>-1</mn>
      </mtd>
    </mtr>
    <mtr>
      <mtd>
        <mn>-3</mn>
      </mtd>
      <mtd>
        <mn>6</mn>
      </mtd>
      <mtd>
        <mn>3</mn>
      </mtd>
    </mtr>
    <mtr>
      <mtd>
        <mn>6</mn>
      </mtd>
      <mtd>
        <mn>-12</mn>
      </mtd>
      <mtd>
        <mn>-6</mn>
      </mtd>
    </mtr>
  </mtable>
 <mo>)</mo>
 </mrow>
</math></td>
</tr></table>
defines a linear transformation 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>f</mi><mo>&colon;</mo><mi>V</mi><mo>&rarr;</mo><mi>V</mi>
</math>.  Find 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>ker</mi><mi>&thinsp;</mi><mi>f</mi>
</math>.
</li></p>
</ol>

    

<p></p>
</body>
</html>
