\documentclass[12pt]{amsart}
\usepackage{amsmath,amsthm,amssymb,latexsym}
\pagestyle{headings}
%
\setlength{\textwidth}{36true pc}
\setlength{\headheight}{8true pt} % needed for 12pt documents
\setlength{\oddsidemargin}{15 truept}
\setlength{\evensidemargin}{15 truept}
\setlength{\textheight}{572true pt}
%
%% \theoremstyle{plain} %% This is the default
\newtheorem{thm}{Theorem}[section]
\newtheorem{cor}[thm]{Corollary}
\newtheorem{lm}[thm]{Lemma}
\newtheorem{prp}[thm]{Proposition}
\newtheorem{clm}[thm]{Claim}
%
\theoremstyle{definition}
\newtheorem{df}[thm]{Definition}
\newtheorem{exmp}[thm]{Example}
\newtheorem{prb}[thm]{Problem}
%
\theoremstyle{remark}
\newtheorem{rem}[thm]{Remark}
%
\numberwithin{equation}{section}
%
\newcommand{\thref}[1]{Theorem~\ref{#1}}
\newcommand{\secref}[1]{\S\ref{#1}}
\newcommand{\lmref}[1]{Lemma~\ref{#1}}
%
%
\DeclareMathOperator{\satf}{\models}
\DeclareMathOperator{\miff}{\Longleftrightarrow} 
                                           % math `if and only if'
\DeclareMathOperator{\mimplies}{\Longrightarrow} 
                                           % math `implies'
\DeclareMathOperator{\mimplied}{\Longleftarrow}  
                                           % math `implied by'
\newcommand{\set}[2]{\{#1\,:\,\text{#2}\}} % { x : ... }
\DeclareMathOperator{\id}{\textsl{id}}     % The identity map
\DeclareMathOperator{\miffdef}{\stackrel{def}{\miff}}
                                           % defining iff
\DeclareMathOperator{\eqdef}{\stackrel{def}{=}}
\DeclareMathOperator{\defequal}{\stackrel{def}{=}}
                                           % defining equation

\DeclareMathOperator{\neareq}{\stackrel{\ae}{=}}
\DeclareMathOperator{\aeqv}{\stackrel{ae}{\equiv}}
\DeclareMathOperator{\aeq}{\stackrel{ae}{=}}
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%%  Classical math
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
\DeclareMathOperator{\BZ}{\mathbb{Z}} % integers
\DeclareMathOperator{\BQ}{\mathbb{Q}} % rationals
\DeclareMathOperator{\BR}{\mathbb{R}} % reals
\DeclareMathOperator{\BC}{\mathbb{C}} % complex numbers
\DeclareMathOperator{\BF}{\mathbb{F}} % arbitrary field #1
\DeclareMathOperator{\BK}{\mathbb{K}} % arbitrary field #2
\DeclareMathOperator{\BL}{\mathbb{L}} % arbitrary field #3
\DeclareMathOperator{\re}{Re}         % real part
\DeclareMathOperator{\im}{Im}         % imaginary part
\DeclareMathOperator{\Ker}{Ker}
%
\DeclareMathOperator{\meet}{\wedge}
\DeclareMathOperator{\join}{\vee}
\DeclareMathOperator{\union}{\cup}
\DeclareMathOperator{\inter}{\cap}  % intersection
\DeclareMathOperator{\iso}{\cong}   % isomorphic
\DeclareMathOperator{\piso}{\simeq} % polynomially isomorphic
\newcommand{\Star}{^ *}
\DeclareMathOperator{\compose}{{\scriptstyle \circ}} % f o g
%
\newcommand{\wec}[1]{{\mathbf{#1}}}  % notation for vectors in algebras
%\newcommand{\wec}[1]{{\bar{#1}}} % which one do you prefer?
\newcommand{\wrel}[1]{\;#1\;}     % a\wrel{\alpha}b = a \alpha b
%              % this provides a flexible way to change the spacing
%
\newcommand{\m}[1]{{\mathbf{\uppercase{#1}}}}
\newcommand{\vr}[1]{{\mathcal{\uppercase {#1}}}}
%
\DeclareMathOperator{\Var}{\mathbf{V}}
\DeclareMathOperator{\Ho}{\mathbf{H}}
\DeclareMathOperator{\Su}{\mathbf{S}}
\DeclareMathOperator{\Pd}{\mathbf{P}}
\DeclareMathOperator{\Iso}{\mathbf{I}}
\DeclareMathOperator{\Ps}{\mathbf{P}_s}
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%  macros for tame congruence theory.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
\newcommand{\bd}{\begin{description}}
\newcommand{\ed}{\end{description}}
%
\newcommand{\lb}{\langle} % <...>
\newcommand{\rb}{\rangle}

\theoremstyle{definition}
\newtheorem{conj}[thm]{Conjecture}
\newtheorem{result}[thm]{Result}
\newtheorem{prbl}{Problem}


\begin{document}
\bigskip\begin{center}
{\large \bf Math 6140: Modern Algebra 2, Spring 2001}\\
{\bf Text:  Abstract Algebra, 2nd ed.\\
by Dummit \& Foote

\bigskip

\begin{tabular}{lll}
{\bf Section 2:} &MWF 9:00--9:50 &ECCR 118
\end{tabular}}
\end{center}

\bigskip

\noindent
\begin{tabular}{lll}
{\bf Professor:}  Keith A. Kearnes&\hspace{.35in}&{\bf Email:} kearnes{\char64}euclid.colorado.edu\\
{\bf Office:}  Mathematics 233&&{\bf Phone:} 492--5203\\
{\bf Hours:}  MWF 10-11 &&{\bf WWW:} http://spot.colorado.edu/\~{}kearnes\\
\end{tabular}

\bigskip

\noindent
{\bf Prerequisites:}
Modern Algebra 1.

\bigskip

\noindent
{\bf Homework and Exams:}
During the semester there will be 
regularly assigned homework, two midterm tests and
a final exam. Your course grade will be 
computed according to the following formula.
\[ {\bf Grade} = {\bf HW}(30\%) +
{\bf T1}(20\%) + 
{\bf T2}(20\%) + {\bf Final}(30\%).\]
Late homework will not be accepted.
However, your two lowest homework grades
will not be counted.

\bigskip

\noindent
{\bf Scoring:}
Written work will be judged on the basis of {completeness},
{legibility} and {correctness}. 
Strings of formulas without explanation will not be accepted. 
Paragraph organization (where appropriate), complete sentences 
and correct punctuation are expected.

\bigskip

\noindent
{\bf Dates:}

\noindent
\begin{tabular}{lllll}
Homework: &Every Wednesday&$\hspace{.65in}$&Test 2: &March 21\\
MLK, Jr. Day: &January 15&&Spring Break: &March 26--30\\
Test 1: &February 14&&Last Day of Class: &May 4
\end{tabular}

\bigskip

\noindent
{\bf Getting Help:}
Don't wait until it is too late if you need help. Ask questions!
I am available 
during the office hours listed above and also at many other times.  
If you can't see me during office hours,  then make an appointment 
with me to see me at a different time. I will also give short
answers to questions sent by email.

\bigskip

\noindent
{\bf WWW:} 
Information concerning our class will be posted
on my web page under {\bf information for students}.
Copies of documents I hand out in class will be accessible
from this page. %I will post test solutions here.

\end{document}
