\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{problem}{Problem}
\newtheorem{defin}{Definition}
\newtheorem{definition}{Definition}
\newtheorem{prop}{Proposition}
\newtheorem{corollary}{Corollary}
\newtheorem{exercise}{Exercise}
\newcounter{excounter}
\stepcounter{excounter}
\newcommand{\mrm}[1]{\mbox{\rm {#1}}}
\newcommand{\al}{\alpha}
\newcommand{\rar}{\rightarrow}
\newcommand{\lar}{\leftarrow}
\newcommand{\mf}{\bf}
\newcommand{\pdate}[1]{\noindent{\large #1}\medskip}
\newcommand{\cc}{{\mf C}}
\newcommand{\zz}{{\mf Z}}
\newcommand{\qq}{{\mf Q}}
\newcommand{\rr}{{\mf R}}
\newcommand{\nn}{{\mf N}}
\newcommand{\pp}{{\mf P}}
\newcommand{\R}{\rr}
\newcommand{\C}{\cc}
\newcommand{\Q}{\qq}
\newcommand{\ff}[1]{{\mf F}_{\!#1}}
\newcommand{\pf}{\noindent{\bf Proof: }}
\newcommand{\proof}{\pf}
\newcommand{\bthm}{\begin{theorem}}
\newcommand{\ethm}{\end{theorem}}
\newcommand{\blm}{\begin{lemma}}
\newcommand{\elm}{\end{lemma}}
\newcommand{\ex}[1]{\noindent{\bf Example \arabic{excounter}: }{\em #1}
	\smallskip\noindent\stepcounter{excounter}}
\newcommand{\bp}{\begin{problem}}
\newcommand{\ep}{\end{problem}}
\newcommand{\bd}{\begin{defin}}
\newcommand{\ed}{\end{defin}}
\newcommand{\beqn}{$$\begin{array}{rcl}}
\newcommand{\eeqn}{\end{array}$$}
\newcommand{\irr}{\mrm{Irr}}
\newcommand{\dnd}{\!\!\not|}
\newcommand{\degr}{\mrm{deg}}
\newcommand{\aut}{\mrm{Aut}}
\newcommand{\deter}{\mrm{det}}
\newcommand{\dpy}{\displaystyle}
\newcommand{\impl}{\Longrightarrow}
\newcommand{\gal}{\mrm{Gal}}
\newcommand{\sniff}{\Longleftrightarrow}
\newcommand{\binom}[2]{\left(\begin{array}{c} {#1} \\ {#2}
	\end{array}\right)}
\newcommand{\zmod}[1]{\zz/{#1}\zz}
\newcommand{\restrict}[2]{{{#1}|}_{#2}}
\newcommand{\quat}[3]{\left(\!\begin{array}{c}{#1},{#2}\\{#3}\end{array}
	\!\right)}
\newcommand{\iso}{ \cong}
\newcommand{\onto}{\longmapsto}
\newcommand{\ddim}{\mrm{dim}}
\newcommand{\End}{\mrm{End}}
\newcommand{\diag}{\mrm{diag}}
\newcommand {\ra}{\rightarrow}
\newcommand{\implies}{\Rightarrow}
\newtheorem {cor}{Corollary}
\newcommand{\bcor}{\begin{cor}}
\newcommand{\ecor}{\end{cor}}
\newcommand{\bpf} {\noindent {\sc Proof:}}
\newcommand{\epf} {\hspace{4 ex} $\Box$ \smallskip}
\newcommand{\nl} {\vspace{4 mm} }