<?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 12</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 12: Due November 29, 2007 </h2>

<h3>To grade: your grading.</h3>

<p>Find a partner who is also in the class.  Each of you should take the sample midterm below in 75 min,
and then grade each others work.  Grade each problem out of 20 points for a total of 100 possible points on this
sample midterm.  Turn in the graded sample midterms.  You will be graded on how well you grade your partner's
sample midterm.  </p>

<ul> The group 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>G</mi><mrow><mi>r</mi><mo>,</mo><mi>n</mi></mrow></msub></math>
is the set of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>n</mi><mo>&times;</mo><mi>n</mi></math> matrices with 
<dl> <dt> (a) exactly one nonzero entry in each row and each column,</dt>
<dt> (b) nonzero entries are 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>r</mi></math>th roots of unity.</dt>
</dl>
</ul>

<ol>
<li><p> Define the following terms.
<ul><li> centralizer</li>
<li> orbit </li>
<li>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>-set</li>
<li>module</li>
<li> <math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>span</mi><mo>(</mo><mi>S</mi><mo>)</mo></math></li>
</ul>
</p></li>
<li><p> Describe the orders, centralizers and conjugacy classes of the elements
of the group 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>G</mi><mrow><mn>2</mn><mo>,</mo><mn>3</mn></mrow></msub></math>.
</p></li>
<li><p> Let
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>H</mi></math> be a subgroup of a group
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>.  Explain how
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi><mo>/</mo><mi>H</mi></math> is a 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>-set and identify the orbits and stabilizers.  
</p></li>
<li><p> Give an example of a simple module
for the ring 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<msub><mi>M</mi><mi>n</mi></msub><mo>(</mo><mi>&Copf;</mi><mo>)</mo></math>.
Don't forget to prove that your example is a simple module.
</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>H</mi></math> be a subgroup of
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>.
<dl>
<dt> (a) Show that if
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>H</mi></math> is index 2 in 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math> then
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>H</mi></math> is a normal subgroup of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>.
</dt>
<dt>
(b) Show that if
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>H</mi></math> is a normal subgroup of 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>
then
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>H</mi></math> is index 2 in 
<math xmlns="http://www.w3.org/1998/Math/MathML">
<mi>G</mi></math>.
</dt>
</dl>
</p></li>
</ol>

    

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