% !TeX spellcheck = en_US
\documentclass[12pt,letter]{amsart}
%\usepackage[french]{babel}
\usepackage[latin1]{inputenc}
\usepackage{amsmath}
\usepackage{multicol}
\usepackage{textcomp}
\usepackage[margin=2cm]{geometry}
\usepackage{graphicx, graphics}
\usepackage{todonotes}
\usepackage{genyoungtabtikz}
\usepackage{pgf,tikz,pgfplots}
\pgfplotsset{compat=1.13}
\usepackage{mathrsfs}
\usetikzlibrary{arrows}
\usepackage{hyperref}
%for the due date to appear at the beggining of the page
\usepackage{etoolbox}
\makeatletter
\patchcmd{\@maketitle}
{\ifx\@empty\@dedicatory}
{\ifx\@empty\@date \else {\vskip3ex \centering\footnotesize\@date\par\vskip1ex}\fi
\ifx\@empty\@dedicatory}
{}{}
\patchcmd{\@adminfootnotes}
{\ifx\@empty\@date\else \@footnotetext{\@setdate}\fi}
{}{}{}
\makeatother
\DeclareMathOperator{\GLn}{GL_n}
\newcommand{\C}{\mathbb{C}}
\DeclareMathOperator{\tr}{tr}
\linespread{1.2}
\setlength\parindent{0pt}
\sloppy
\title{Homework VIII}
\author{Algebraic Combinatorics (Math 68)}
\date{\vspace{-.5em}Due November 6, 2019, at the \textbf{beginning of the class}}
\begin{document}
\maketitle
Collaboration among students to find key to the solution is encouraged, but each person must write the homework in his/her own words. You must write the name of the students with whom you work for each problem, as well as any written resource (web, book, etc.) that has been extensively used.
You must write the appropriate justification as part of the solutions.\\
\begin{enumerate}
\item Consider the representation $\rho : \mathbb{C}G \to \GLn(\C)$. Its character $\chi: G \to \C$ is defined as $\chi(g) = \tr(\rho(g))$, where $\tr$ denotes the trace.
Prove that the character is a class function, i.e.\ that it is constant over the elements of $G$ in the same conjugacy class.\\
\item Prove that each row in the table on page 3 of Wednesday's handouts are characters, for example by giving the matrices for the representation.\\
\item There is an isomorphism between modules and representations, and that preserves the dimension (i.e.\ the dimension for a module is the \textit{degree} of a representation).
Knowing that, give the characters of the two one-dimensional representations of $S_3$.\\
\item \textit{(Inner product of characters)}
Let $\chi$ and $\psi$ be characters of $G$. Then, we define their inner product by
\[ \langle \chi, \psi \rangle = \frac{1}{|G|}\sum_{g \in G} \chi(g)\phi(g^{-1}) .\]
Also,
\begin{itemize}
\item if $\chi$ and $\psi$ are characters for irreducible representations of $G$, $\langle \chi, \psi \rangle = \delta_{\chi, \psi}$.
\item if $C_1$ and $C_2$ are conjugacy classes, then $\sum_{i