moderngrouptheory.tex

\documentclass[10pt]{book}

\newif\ifispdf
\ifx\pdfoutput\undefined
\ispdffalse % we are not running PDFLaTeX
\else
\pdfoutput=1 % we are running PDFLaTeX
\ispdftrue
\fi

\ifispdf
\usepackage[pdftex]{graphicx}
\else
\usepackage{graphicx}
\fi


\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{theorem}
\usepackage{latexsym}
\usepackage{amssymb}
\usepackage{epsfig}
\usepackage{ifthen}
\usepackage{makeidx}
\usepackage{hyperref}

\newcommand{\version}{0.1}

%theorems and similar
\theoremstyle{break}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}

\theorembodyfont{\slshape}
\newtheorem{definition}{Definition}[section]

\theorembodyfont{\rmfamily}
%\newtheorem{example}{Example}[section]

\newcounter{example}[section]

\renewcommand{\theexample}{\thesection.\arabic{example}}

\newenvironment{example}[1][]%
{\par\vspace{\theorempreskipamount}\refstepcounter{example}\noindent\textbf{Example
\theexample\ifthenelse{\equal{#1}{}}{}{
(#1)}}\\\hspace*{\parindent}}%
{\hfill$\Diamond$\par\vspace{\theorempostskipamount}}

\newcounter{question}[section]

\renewcommand{\thequestion}{\thesection.\arabic{example}}

\newenvironment{question}[1][]%
{\par\vspace{\theorempreskipamount}\refstepcounter{question}\noindent\textbf{Question
\theexample\ifthenelse{\equal{#1}{}}{}{
(#1)}}\\\hspace*{\parindent}}%
{\hfill$\Diamond$\par\vspace{\theorempostskipamount}}

\newenvironment{proof}[1][]%
{\par\noindent\textit{Proof\ifthenelse{\equal{#1}{}}{}{
(#1)}:}\\\hspace*{\parindent}}%
{\hfill\rule{2ex}{2ex}\par\vspace{\theorempostskipamount}}

\newcounter{exercise}[section]
\renewcommand{\theexercise}{\thesection.\arabic{exercise}}

\newenvironment{exercises}%
{\begin{list}{\theexercise.}{\usecounter{exercise}}}%
{\end{list}}

\newcounter{theoremenum}
\renewcommand{\thetheoremenum}{\roman{theoremenum}}

\newenvironment{theoremenum}%
{\begin{list}{(\thetheoremenum)}{\usecounter{theoremenum}}}%
{\end{list}}

\newcommand{\defn}[2]{\textsl{\textbf{#1\index{#2|emph}}}}

\newcommand{\sidebar}[2]{\mbox{}\marginpar{\footnotesize\raggedright\hspace{0pt}\textbf{#1:}
\textsl{#2}}}

\newcommand{\opsidebar}[2]{\reversemarginpar\sidebar{#1}{#2}\normalmarginpar}

\newcommand{\naturals}{\ensuremath{\mathbb{N}}}
\newcommand{\integers}{\ensuremath{\mathbb{Z}}}
\newcommand{\rationals}{\ensuremath{\mathbb{Q}}}
\newcommand{\reals}{\ensuremath{\mathbb{R}}}
\newcommand{\complex}{\ensuremath{\mathbb{C}}}
\newcommand{\torus}{\ensuremath{\mathbb{T}}}
\newcommand{\field}{\ensuremath{\mathbb{F}}}
\newcommand{\ring}{\ensuremath{\mathbb{K}}}

\newcommand{\powerset}{\mathcal{P}}
\newcommand{\divides}{\mid}
\newcommand{\intersect}{\cap}
\newcommand{\bigintersect}{\bigcap}
\newcommand{\union}{\cup}
\newcommand{\bigunion}{\bigcup}
\newcommand{\symdiff}{\bigtriangleup}
\newcommand{\cross}{\times}
\newcommand{\isom}{\cong}

\newcommand{\id}{\text{id}}
\newcommand{\tr}{\text{tr}}
\newcommand{\diag}{\text{diag}}
\newcommand{\diam}{\text{diam}}

\newcommand{\seq}[1]{(#1_{n})_{n=1}^{\infty}}
\newcommand{\net}[3]{(#1_{#2})_{#2 \in #3}}

\renewcommand{\Re}{\operatorname{Re}}
\renewcommand{\Im}{\operatorname{Im}}

\newcommand{\Sym}{\operatorname{Sym}}
\newcommand{\Aut}{\operatorname{Aut}}
\newcommand{\Sub}{\operatorname{Sub}}
\newcommand{\Inn}{\operatorname{Inn}}

\newcommand{\sign}{\operatorname{sign}}
\newcommand{\dom}{\operatorname{dom}}
\newcommand{\cod}{\operatorname{cod}}
\newcommand{\parity}{\operatorname{parity}}

\renewcommand{\emptyset}{\mbox{\O}}

\makeatletter
\newcommand{\ps@draft}{%
\renewcommand{\@evenhead}{\textrm{\thepage}\hfil\textsl{\leftmark}}%
\renewcommand{\@oddhead}{\textsl{\rightmark}\hfil\textrm{\thepage}}%
\renewcommand{\@evenfoot}{\small \today\hfil Version\ \version}%
\renewcommand{\@oddfoot}{\@evenfoot}}
\makeatother

\renewcommand{\chaptermark}[1]{\markboth{#1}{}}
\renewcommand{\sectionmark}[1]{\markright{\thesection. #1}}

\makeindex
\title{Group Theory}
\author{Corran Webster}

\begin{document}

\maketitle
\pagenumbering{roman}

These are a set of notes that I wrote for a course in group theory I taught at
the University of Nevada, Las Vegas in the mid-2000s.  They are a little
incomplete, particularly towards the end of the course, and perhaps most
importantly I did not compile a bibliography as I went, so references are
lacking.

Hopefully someone may find these notes of use.

\bigskip

\noindent \copyright\ Corran Webster, 2004-2011

\medskip

\noindent This work is licensed under a
\href{http://creativecommons.org/licenses/by-nc-sa/3.0/}{Creative Commons
Attribution-NonCommercial-ShareAlike 3.0 Unported License}.


\tableofcontents

\newpage

\pagenumbering{arabic}

\pagestyle{draft}

\include{intro}

\include{groups}

\include{structure}

\include{construction}

\printindex

\end{document}
\end