<?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 5</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 5: Due October 10, 2007 </h2>
<p align="center">&nbsp;</p>

<ol>
<li> <p>Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>d</mi><mo>&isin;</mo>
<msub><mi>&Zopf;</mi>
<mrow><mo>&ge;</mo><mn>0</mn></mrow>
</msub></math>.
Show that the set 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>d</mi> <mi>&Zopf;</mi></math>
of multiples of  
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>d</mi></math>
is a subgroup of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&Zopf;</mi></math>.
</p>
</li>
<li> <p>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>&Zopf;</mi></math> then there exists a positive 
integer
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>d</mi></math> such that
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>H</mi><mo>=</mo><mi>d</mi>
<mi>&Zopf;</mi></math>.
</p>
</li>
<li> <p>Let 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>d</mi><mn>1</mn></msub></math> and
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>d</mi><mn>2</mn></msub></math> be positive integers.
Show that
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>d</mi><mn>2</mn></msub><mi>&Zopf;</mi>
<mo>&sube;</mo>
<msub><mi>d</mi><mn>1</mn></msub><mi>&Zopf;</mi>
</math> if and only if 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>d</mi><mn>1</mn></msub></math> 
divides
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>d</mi><mn>2</mn></msub></math>.
</p>
</li>
<li> <p>Make a list of all the subgroups of
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>&Zopf;</mi><mo>/</mo><mn>110</mn><mi>&Zopf;</mi>
</math>.
</p>
</li>
<li> <p>Make a list of all the subgroups of
the Klein 4 group.
</p>
</li>
<li> <p>Make a list of all the subgroups of
the symmetric group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>S</mi><mn>3</mn></msub></math>.
</p>
</li>
</ol>

    

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