1

EDITED:

 \documentclass[11pt, a4paper]{report}
% \usepackage{eurosym}% you probably don't need this (most fonts have euro)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% \usepackage{amsmath} % you load this below
%%\usepackage{amsfonts} % you load this below
\usepackage{bm}
\usepackage{amsfonts, graphicx, verbatim, amsmath,amssymb}
\usepackage{color}
% \usepackage{lipsum} % only for demos
\usepackage{array}
\usepackage{setspace}% if you must (for double spacing thesis)
\usepackage{fancyhdr}
\usepackage{enumitem}
\usepackage{tikz}


%\setcounter{MaxMatrixCols}{10} 10 is teh default anyway
%TCIDATA{OutputFilter=Latex.dll}
%TCIDATA{Version=5.50.0.2953}
%TCIDATA{<META NAME="SaveForMode" CONTENT="1">}
%TCIDATA{BibliographyScheme=Manual}
%TCIDATA{LastRevised=Sunday, November 26, 2017 16:01:29}
%TCIDATA{<META NAME="GraphicsSave" CONTENT="32">}

% These are sort of OK, but better to use geometry package
% to set a consistent set of page dimensions
\setlength{\textheight}{22cm}\setlength{\textwidth}{16cm}
\setlength{\topmargin}{-1.5cm}
\setlength{\oddsidemargin}{-0.5cm}\setlength{\evensidemargin}{-0.5cm}
\setlength{\textheight}{24cm}\setlength{\textwidth}{16.5cm}
\setlength{\topmargin}{-1.5cm}
\setlength{\oddsidemargin}{0.5cm}\setlength{\evensidemargin}{0.5cm}


% This discards its argument, is that intended?
% \U{wibble}  is same as \U{zzzzz}
\providecommand{\U}[1]{\protect\rule{.1in}{.1in}}


\newtheorem{theorem}{Theorem}[section]
\newtheorem{acknowledgement}[theorem]{Acknowledgement}
\newtheorem{algorithm}[theorem]{Algorithm}
\newtheorem{axiom}[theorem]{Axiom}
\newtheorem{case}[theorem]{Case}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{Theorem}[theorem]{Theorem}
\newtheorem{conclusion}[theorem]{Conclusion}
\newtheorem{condition}[theorem]{Condition}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{Fact}[theorem]{Fact}

% Why all these variant corollary forms?
\newtheorem{corollary}[theorem]{Corollary}
%\newtheorem{corol}[theorem]{Corollary}
%\newtheorem{Corollary}[theorem]{Corollary}

\newtheorem{criterion}[theorem]{Criterion}

% why variant definition forms?
\newtheorem{definition}[theorem]{Definition}
%\newtheorem{Definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{exercise}[theorem]{Exercise}
% as above
\newtheorem{lemma}[theorem]{Lemma}
%\newtheorem{Lemma}[theorem]{Lemma}
\newtheorem{fact}[theorem]{Fact}
\newtheorem{lma}[theorem]{Lemma}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{problem}[theorem]{Problem}
% as above
\newtheorem{proposition}[theorem]{Proposition}
%\newtheorem{prop}[theorem]{Proposition}
%as above
\newtheorem{Property}[theorem]{Property}
%\newtheorem{property}[theorem]{Property}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{Comment}[theorem]{Comment}
\newtheorem{solution}[theorem]{Solution}
\newtheorem{summary}[theorem]{Summary}

% it would be better to use amsthm package for the theorem definitions
% That defines a more extensive proof environment
\newenvironment{proof}[1][Proof]{\textbf{#1.} }{\ \rule{0.5em}{0.5em}}
\newcommand{\ve}{\varepsilon}

%Better to use \mathrm than \text so it uses the same font in all contexts
\newcommand{\cvgpr}{\xrightarrow{\text{\upshape\tiny P}}}
\newcommand{\cvgdist}{\xrightarrow{\mathrm{d}}}
\newcommand{\G}{{\mathcal{G}}}

% \mathcal{K} not {\cal K}  %\cal not defined by default since 1993
%\newcommand{\Kx}{{\cal K}}
%\newcommand{\tod}{\to^{\cal D}}
\newcommand{\ls}{\limsup_{n\to\infty}}
\newcommand{\rE}{\mathbb{E}}
\newcommand{\A}{{\mathcal{A}}}
\newcommand{\rP}{\mathbb{P}}
\newcommand{\p}{{\mathbb{P}}}
\newcommand{\Z}{{\mathbb{Z}}}

% \mathrm{Be} not {\rm BeK}  %\cal not defined by default since 1993
%\newcommand{\Be}{{\rm Be}}
\newcommand{\re}{\mathrm{e}}
\newcommand{\ep}{\varepsilon}
%\newcommand{\Bin}{{\rm Bin}}
\newcommand{\qand}{\quad\mbox{and}\quad}
\newcommand{\quso}{\quad\mbox{so}\quad}
%\newcommand{\Nn}{{\bf N}}
%\newcommand{\St}{\underline{\rm S}}
%\newcommand{\Rt}{\underline{\rm R}}
%\newcommand{\It}{\underline{\rm I}}
%\newcommand{\one}{{\bf 1}}
\newcommand{\Ups}{{\Upsilon}}
\newcommand{\iu}{{i\mkern1mu}}
\newcommand{\II}{{\mathcal{I}}}
%\newcommand{\Var}{{\rm Var}}
%\newcommand{\var}{{\rm Var}}
%\newcommand{\Cov}{{\rm cov}}
%\newcommand{\cov}{{\rm cov}}
%\newcommand{\corr}{{\rm corr}}
%\newcommand{\lhs}{{\rm lhs}}
%\newcommand{\rhs}{{\rm rhs}}
\newcommand{\ra}{\rightarrow}
\newcommand{\I}{{\mathbf 1}}
\newcommand{\R}{{\mathbb R}}
\newcommand{\N}{{\mathbb N}}
\newcommand{\LL}{{\mathbb L}}
\newcommand{\E}{{\mathbb{E}}}
%\newcommand{\bin}{{\rm Bin}}
%\newcommand{\Pois}{{\rm Pois}}
%\newcommand{\Po}{{\rm Pois}}
%\newcommand{\Bi}{{\cal B}}
\newcommand{\ri}{\mathrm{i}}
\newcommand{\rd}{\mathrm{d}}
\newcommand{\XXi}{\Xi_{k,m}^{(n)}}
\newcommand{\xxi}{\bar{\xi}}
\newcommand{\qedhere}{{\diamond}}
\newcommand{\eqdef}{\stackrel{\mathrm{def}}{=}}
\newcommand{\eqdist}{\stackrel{\mathrm{D}}{=}}
\newcommand{\braket}[2]{{\langle{#1|#2}\rangle}}
\newcommand{\independent}{\perp}

% use amsmath package (that you have loaded) align environment, not eqnarray
%\newcommand{\bb}{\begin{eqnarray*}}
%\newcommand{\ee}{\end{eqnarray*}}
%\newcommand{\bbb}{\begin{eqnarray}}
%\newcommand{\eee}{\end{eqnarray}}
\newcommand{\F}{{\mathcal{F}}}
\newcommand{\qed}{$\diamond$}
\newcommand{\cross}{\mathbin{\tikz [x=1.4ex,y=1.4ex,line width=.075ex] \draw (0,0) -- (1,1) (0,1) -- (1,0);}}%
% \parindent 0pt % this is just low level version of following line
% \setlength{\parindent}{0pt}% 
% use parskip package (if you must) to stop indent and put vertical space betwen paragraphs
% although most documents lok better with traditional typesetting with indentation and no vertical space
\usepackage{parskip}

%\newcommand{\forceindent}{\leavevmode{\parindent=3em\indent}}%eek



%\input{tcilatex}


\begin{document}
\newpage
\pagestyle{fancy}
\fancyhf{}
\fancyhead[EL]{\nouppercase\leftmark}
\fancyhead[OR]{\nouppercase\rightmark}
\fancyhead[ER,OL]{\thepage}
\title{Introduction to Representation theory}
\maketitle
\chapter{Introduction}
%\bigskip
%\smallskip
\section{Definitions and prerequisites}
Let us recall some basic knowledge, we begin by giving some definitions. 
%\medskip
\begin{definition} 
A group is a set $G$ together with a binary operation $*$ on $G$ satisfying
the following properties:
\begin{enumerate}[label=(G\arabic*),series=group]
\item Closure: $\forall x,y \in G, x * y \in G$.
\item Associativity: $\forall x,y, z \in G, (x * y) * z = x * (y * z)$.
\item Identity: There is an element $e \in G$ such that $e * x = x * e = x$ for all $x \in G$.
\item Inverses: For any $x \in G$ there is an element $y \in G$ such that $x * y = y * x = e$.
\end{enumerate}
\end{definition}

\begin{definition}
A group $G$ is called an abelian group if the following axiom is satisfied:
\begin{enumerate}[label=(G\arabic*),resume=group]
\item Commutativity: $\forall x,y \in G, x * y = y * x$.
\end{enumerate}
\end{definition}

Let $V$ be a vector space over the field $\mathbb{C}$ (unless stated
otherwise) of complex numbers and let $GL(V)$ be the group of
\textit{isomorphisms} of $V$ onto itself. An element $\alpha$ of
$GL(V)$ is, by definition, a linear mapping of $V$ into $V$ which has
an inverse $\alpha^{-1}$; this inverse is linear. When $V$ has a
finite basis $(e_i)$ of $n$ elements, each linear map
% colon
$\alpha\colon V \rightarrow V$ is defined by a square matrix
$(\alpha_{ij})$ of order $n$. The coefficients $\alpha_{ij}$ are
complex numbers; they are obtained by expressing the images
$\alpha(e_j)$ in terms of the basis $(e_i)$:
% $$ is not latex (and \medskip here will break tex's space insertion
\[
\alpha(e_j)=\sum_i \alpha_{ij}e_i
\]
Saying that $\alpha$ is an isomorphism is identical to saying that the determinant
% never use math italic for words use \det which is the right font, with operator spacing
$\det(\alpha) = \det(\alpha_{ij})$ of $\alpha$ is non zero. The group $GL(V)$
% en-dash not hyphen
 -- 
the general linear group on $V$ is thus the group of \textit{invertible (or non-singular) square matrices of order $n$}.
% almost never use \\ in text (and really never use it at an end of paragraph as here)
\begin{definition}Suppose now
  $G$ is a finite group, with identity element
  $1$ and with composition $(s,t) \rightarrow
  st$. A linear representation of $G$ in $V$ is a homomorphism
  $\rho$ from the group $G$ into the group $GL(V)$
  (i.e. $\rho\colon G  \rightarrow
  GL(V)$). In other words, we associate with each elements $s \in
  G$ and element $\rho(s)$ of
  $GL(V)$ in such a way that we have the equality:
\[\rho(st)=\rho(s)\cdot\rho(t) \text{ for } s,t \in G. \]
Often we will use $\rho_s$ as an alternate to $\rho(s)$.
We notice the above formula implies the following:
\[\rho(1)=1,\quad \rho(s^{-1})=\rho(s)^{-1}.\]
\end{definition}
% eek\medskip\
%\\

When $\rho$ is given, we simply say, by abuse of language,
$V$ is a \textit{representation} of $G$ (or formally
$V$ is a \textit{representation space} of
$G$). Let us impose the condition that we are only to consider
representations of finite degree, that is, in
\textit{finite-dimensional} vector spaces; and these will almost
always be vector spaces over
$\mathbb{C}$. Therefore, to avoid repetition, let us agree to use the
term 
% never use " in tex sourcde `` and ''
``representation'' to mean representation of finite degree over
$\mathbb{C}$, unless stated otherwise. This isn't a strict limitation
as for almost all applications we are interested in finite number of
elements $x_i$ of
$V$ hence we can find a a \textit{subrepresentation}.
%\\

Suppose now that $G$ has finite dimension, and let $n$ be its
dimension; we say also that $n$ is the degree of the
representation. Let $(e_i)$ be a basis of V, and let $R_s$ be the
matrix of $\rho_s$ with respect to this basis. We have:
%\\
\[
\det(R_s)\neq 0, \quad R_{st} = R_s \cdot R_t \quad \text{if }s,t \in G
\]

Let $r_{ij}(s)$ denote the coefficients of the matrix $R_s$, the second formula becomes:
\[r_{ik}(st)= \sum_j r_{ij}(s)\cdot r_{jk}(t)\]

Conversely, given the invertible matrices $R_s = (r_{ij}(s))$
satisfying the preceding identities, there is a corresponding linear
representation of $\rho$ of $G$ in $V$; this is what we mean by giving
a representation in matrix form.

\begin{definition}
  let $\rho$ and $\rho\,'$ be two representations of the same group
  $G$ in vector spaces $V$ and $V\,'$. These representations are said
  to be similar (or isomorphic) if there exits a linear homomorphism
  $\tau: V \rightarrow V\,'$ which ``transforms'' $\rho$ to $\rho\,'$,
  that is which satisfies the identity:% no\
\[\tau \circ \rho(s) = \rho(s)\,'\circ \tau \quad \forall s \in G\]
\end{definition}

When $\rho$ and $\rho\,'$ are given in matrix form by $R_s$ and
$R_s'$, this means that that there exists an invertible matrix $T$
such that:% \smallskip
\[T\cdot R_s = R_s' \cdot T \quad \forall s \in G\]

\section{Example - The Representations of $S_3$}
Let us consider the representations of $S_3$ - The group of permutations of $3$ letters, or the symmetries of the regular triangle. Without going into details, this group is generated entirely by two elements, the permutation of $(123)$ and the permutation $(12)$.

For simplicity let
\[ 
\beta = (123), \quad \gamma = (12)
\] 
I will leave it to the reader to check that the other elements of the group $S_3$ are indeed generated by $\beta$ and $\gamma$ by the following:
\[ 
\beta^3 = e, \quad  \beta^2 = (132), \quad \beta\gamma = (13), \quad \text{and } \beta^2\gamma = (23) 
\]
\begin*{\textit{Remark}}:
$\beta\gamma$ is in composition of functions notation - i.e. you do $\gamma$ first then $\beta$.
\end*{}

We may ask, what classifies as a valid representation? Well, because it is a homomorphism, the representation must encapsulate the group structure of the symmetry group. In other words, if we have a homomorphism $\rho$ that associates $\beta$ to the matrix $M$, then $M^3 = I$ in order to preserve the group structure. As this is not a isomorphism, it is not necessary that $M$ have the same order as $\beta$.

Now one such representation is the \textit{trivial} one, where we send both $\beta$ and $\gamma$ to the identity transformation. This is only $1$-dimension(it acts on a $1$-dimensional vector space). We call this the \textit{trivial representation}, I:
\[
I_\beta = [1], \quad    I_\gamma = [1]
\] 

Another possible representation is the \textit{alternating representation} which associates each element of the group its \textit{sign}. To define it, the sign of a permutation $\pi$ is $+1$ if $\pi$ can be written as a product of an even number of transpositions, and, the sign of $\pi$ is $-1$ if it can be written as an odd number of transpositions. We know that $sgn(\pi)$ is well defined. We also know the $sgn(\beta) = +1$ and $sgn(\gamma) = -1$, then:
\[
A_\beta = [1], \quad    A_\gamma = [-1]
\]

It follows that the alternating representation is also a $1$-dimensional representation.

Now we could think of these as rotations and flips and associate to each their rotation matrix. Let $\theta = \frac{2\pi}{3}$ then the \textit{standard representation}, which we call $T$ would be:
\[ T_\beta  = 
\begin{bmatrix} 
        \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta 
\end{bmatrix}, 
\quad
T_\gamma    = 
\begin{bmatrix} 
        -1 & 0 \\ 0 & 1 
\end{bmatrix}
\]   

The above three representations are known as the \textit{irreducible representations of $S_3$}, and they are in fact the only irreducible representations of $S_3$. We will define the notion of \textit{irreducibility} a little further down (section 1.4), but we can "think" of them as the foundation of all other representations. In other words, all representations can be built upon these.

We can of course form other representations such as the \textit{permutation representation}. Suppose our group $G$ acts on a finite set $X$. This means that for each s $\in G$, there is a given permutation $x \mapsto sx$ of $X$, satisfying the equalities:
\[
1x = x, \quad s(tx)=(st)x \quad \text{if }s,t \in G, x \in X
\] 

Let $V$ be a vector space having basis $(e_x)_{x\in X}$ indexed by the elements of $X$. for $s \in G$ let $\rho_s$ be the linear map of $V$ into $V$ which sends $(e_x)$ to $e_{sx}$; the linear representation of $G$ thus obtained is called the permutation representation.

\section{Subrepresentations}
Let $\rho: G \rightarrow GL(V)$ be a linear representation and let $W$ be a vector subspace of $V$. Suppose that $W$ is \textit{stable} under the action of $G$ (also known as $G$-stable or invariant), or in other words, suppose that $x\in W$ implies $\rho_s(x) \in W$ for all $s \in G$. The restriction $\rho_s^w$ of $\rho_s$ to $W$ is then an isomorphism of $W$ onto itself, and we have $\rho_{st}^w = \rho_s^w \cdot \rho_t^w$. Thus $\rho^w: G \rightarrow GL(V)$ is a linear representation of $G$ in $W$; $W$ is said to be a \textit{subrepresentation} of $V$.

Before considering the following example, we will need to define the notion of a \textit{direct sum}. Let $V$ be a vector space, and let $W$ and $\tilde{W}$ be two subspaces of $V$. The vector space $V$ is said to be the \textit{direct sum} of $W$ and $\tilde{W}$ if each $x \in V$ can be written uniquely in the form $x=w+\tilde{w}$ with $w \in W$ and $\tilde{w} \in \tilde{W}$. This is equivalent to saying that the intersection of $W$ and $\tilde{W}$ is $0$ which implies $\tilde{W}$ is the complement of $W$ in $V$. We also have the property that $\dim(V) = \dim(W)+ \dim(\tilde{W})$. We, therefore write $V = W \oplus \tilde{W}$.

\begin{example}
Let $V$ be a complex vector space in n-dimensions, namely $\mathbb{C}^n$ with the standard basis $\left\lbrace e_1,..., e_n \right\rbrace$ and for $\pi \in S_n$, let $\rho(\pi)$ be the permutation matrix defined by $\rho(\pi)e_i = e_{\pi(i)}$. Now $V$ is a representation of $S_n$. The subspace $W$ spanned by $\left\lbrace (1,..., 1) \right\rbrace$ is a subrepresentation. This is what we defined earlier as the trivial representation, such that $\pi x = x$ for all $x \in W, \pi \in S_n$.
The subspace $W^\perp = \left\lbrace (x_1,..., x_n)|\sum{x_i}=0 \right\rbrace$ is also a subrepresentation. note that $W$ and $W^\perp$ are complementary to each other, in the sense that we can write $V = W \oplus W^{\perp}$.
\end{example}

\begin*{\textit{Remark}}: 
We say that $V$ is the direct sum of $W$ and $W^\perp$ and write $V=W\oplus W^\perp$. An element of $V$ is identified with a pair $(w,w^\perp)$ with $w\in W$ and $w^\perp \in W^\perp$. Suppose now $W$ and $W^\perp$ are given in matrix form by $R_s$ and $R_s^\perp$ so $W\oplus W^\perp$ is given in matrix form:
 \[ 
\begin{bmatrix} 
        R_s & 0 \\ 0 & R_s^\perp 
\end{bmatrix}
\]
\end*{}

Returning to subrepresentations, we introduce the following theorem:

\begin{theorem}
Let $\rho : G \rightarrow GL(V)$ be a linear representation of $G$ in $V$ and let $W$ be a vector subspace of $V$ which is also $G$-stable. Then there exists a complement $W^\perp$ of $W$ in $V$ which is also $G$-stable.
\end{theorem}

\begin{proof}
Let $<,>_1$ be a scalar product on $V$. Let us define a new inner product by $<u,\hspace{0.05in} v >\hspace{0.05in} =\hspace{0.05in} \sum_{s\in G} <\rho_s u,\hspace{0.05in} \rho_s v >_1$. Then $<, >$ is invariant: $<\rho_s u,\hspace{0.05in} \rho_s v >\hspace{0.05in} =\hspace{0.05in} <u,\hspace{0.05in} v >$. The orthogonal complement of $W$ in $V$ serves as $W^\perp$. 
\end{proof}

\begin*{\textit{Remark 1}}: 
The complement may not necessarily be unique, consider the following example. Let $S_n$ act on $\mathbb{R}^2$ by $\rho(\pi)(x,y) = sgn(\pi)(x,y)$. The subspace $W = \left\lbrace (x,y):\hspace{0.05in} x=y \right\rbrace$ is invariant. Its complement, under the usual inner product is $W^\perp = \left\lbrace (x,y):\hspace{0.05in} x=-y \right\rbrace$ is also invariant. In this case, the complement is not unique as for example $W^{\perp\perp} = \left\lbrace (x,y):\hspace{0.05in} 2x=-y \right\rbrace$ is also an invariant complement.
\end*{}

\begin*{\textit{Remark 2}}: 
The invariance of the scalar product $<, >$ means that if $e_i$ is chosen as an orthonormal basis with respect to $<, >$ then $<\rho_s e_i,\hspace{0.05in} \rho_s e_j > \hspace{0.05in} = \hspace{0.05in} \delta_{ij}$. It follows that the matrices $\rho_s$ are unitary.
\end*{}

\begin*{\textit{Remark 3}}: 
The above theorem can fail for finite fields, it can also fail for non-compact groups. For example, consider $G$  as the reals under the operation of addition. Now let $V$ be the set of linear polynomials $ax+b$. Define $\rho_t f(x) = f(x+t)$. The constants form a non-trivial subspace with no invariant complement.
\end*{}

\section{Irreducible representations}
Let $\rho : G \rightarrow GL(V)$ be a linear representation of $G$. We say that it is \textit{irreducible} if $V$ is not $0$ and if no vector subspace of $V$ is $G$-stable, except of course $0$ and $V$. By theorem 1.6, the second part of the condition is identical to saying $V$ \textit{is not the direct sum of two representations} (excluding the trivial decomposition $V = 0 \oplus V$). As we mentioned above (section 1.2), we can think of irreducible representations as building blocks for all other representations as any representation can be decomposed into irreducible representations. The latter can be summarised by the following theorem:

\begin{theorem} \textbf{(Maschke's Theorem)} Given a finite group $G$, every representation of $G$ on a non-zero, finite-dimensional complex vector space is a direct sum of irreducible representations.
\end{theorem}

\begin{proof}
Let $V$ be a linear representation of $G$. We proceed by induction on $\dim(V)$. If $\dim(V)=0$, the theorem is trivially satisfied in the sense that $0$ is the direct sum of the empty family of irreducible representations. Now suppose $\dim(V) \geq 1$. If $V$ is irreducible then we are done. Now if $V$ can be decomposed into a direct sum say, $V_1 \oplus V_2$ with $\dim(V_1) < \dim(V)$ and $\dim(V_2) < \dim(V)$. By the induction hypothesis $V_1$ and $V_2$ are direct sums of irreducible representations, and so the same is true of $V$.
\end{proof}

\section{Tensor product of two representations}

We discussed the direct sum of two vector spaces earlier(which has the properties of "addition"), now there is also the \textit{tensor product} which has the properties of "multiplication". Let $V$ and $W$ be two vector spaces. The tensor product  $\otimes: V \cross W \rightarrow V \otimes W$ constructs a new vector space $V \otimes W$ which can be defined as the set of formal linear combinations $v \otimes w$ subject to the conditions:

\begin{enumerate}[label=\roman*]
\item $(av_1+bv_2)\otimes w = a(v_1 \otimes w) + b(v_2 \otimes w)$.
\item If $v_1, ..., v_a$ and $w_1, ..., w_b$ is a basis for $V$ and $W$ respectively then $v_i \otimes w_j$ is a basis for $V \otimes W$.
\end{enumerate} 

We can show that this space exits and is unique. By condition ii we have:
\[
\dim(V \otimes W) = \dim(V)\cdot \dim(W)
\]

Now let $\rho^1\colon G  \rightarrow GL(V)$ and $\rho^2\colon G  \rightarrow GL(W)$ be two linear representations of a group $G$. For $s \in G$, define an element $\rho_s$ of $GL(V \otimes W)$ by the condition:
\[
\rho_s(v \cdot w) = \rho_s^1(v)\cdot \rho_s^2(w) \quad \text{for } v \in V, w \in W
\]

We write:
\[
\rho_s = \rho_s^1 \otimes \rho_s^2
\]

The $\rho_s$ above defines a linear representation of $G$ in $V \otimes W$ which is called the \textit{tensor product} of the given representations. 

\chapter{Fourier transforms on finite groups}




\end{document}

I have the above, I wish to insert chapter 1 for "introduction" and chapter 2 for "Fourier transforms" etc for later chapters. The way I wish to have it is, firstly "Chapter 1" a quarter(maybe a third) down the page (from the top) the page then skip a few lines then put "introduction", the same for chapter 2.how do I implement this?

  • 1
    article level document classes only have sections, for chapters use report or book then use \chapter{...} – David Carlisle Dec 19 '18 at 14:27
  • \begin*{\textit{Remark 1}}: that is the environment * (which typesets a discretionary *, ie nothing unelss at the end of a line) followed by Remark as text, don't do that:-) Use one of the multitude of theorem-like environments you have defined in t=the preamble (or define another one for remarks) – David Carlisle Dec 19 '18 at 14:33
  • 1
    don't ignore warnings: LaTeX Warning: Command \textless invalid in math mode on input line 384 – David Carlisle Dec 19 '18 at 14:33
  • @DavidCarlisle I don't understand how to correct the latex warnings – Maths Dec 19 '18 at 15:04
  • 1
    You could define an enviornment with a different heading style but \begin{*} ...\end{*} is just completely wrong, the fact that you get any output at all is purely by luck. It executes the command \* which in 30 years of using TeX I do not think I have ever used, it makes a conditional * that acts like a discretionary hyphen it produces no output unless it occurs at a line break when it adds * to the end of the line. Is that really what you intend to put in front of the text "Remark" ? – David Carlisle Dec 19 '18 at 15:25