Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
gmcninch-tufts
GitHub Repository: gmcninch-tufts/2024-Sp-Math190
Path: blob/main/course-contents/2024-01-17--notes-RT.md
908 views
---
title: (Representation Theory) Notes on Groups & Linear Algebra date: 2024-01-17
---

In the first lecture, we discussed some examples of groups and some basics of linear algebra.

Groups

  • the elements of the cylic group Z/nZ\mathbb{Z}/n\mathbb{Z} are the equivalence classes of integers under the relation "(modn)\equiv \pmod{n}"

    this group is additive

  • we observed that the mapping ϕ:RS1\phi:\mathbb{R} \to \mathbf{S}^1 given by ϕ(t)=e2πit\phi(t) = e^{2\pi i t} is a group homomorphism since ϕ(t+s)=ϕ(t)ϕ(s)\phi(t + s) = \phi(t) \phi(s) for all t,sRt,s \in \mathbb{R}.

    we observed that kerϕ=Z\ker \phi = \mathbb{Z}, and that - by the First Isomorphism Theorem - ϕ\phi induces an isomorphism ϕ:R/ZS1.\overline{\phi}: \mathbb{R}/\mathbb{Z} \to \mathbf{S}^1.

  • for a non-zero natural number the symmetric group SnS_n is the collection of all bijections InInI_n \to I_n where In={1,2,,n}I_n = \{1,2,\cdots,n\}.

    We may sometimes use cycle notation for elements of SnS_n.

    The subgroup H=(1234),(14)(23)H=\langle (1234), (14)(23) \rangle has order 88 and is sometimes called the dihedral group D4D_4 or D8D_8 -- it has order 8.

  • Let FF be a field.

    Recall that typically examples are: F=R,C,Q,Z/pZF = \mathbb{R},\mathbb{C},\mathbb{Q},\mathbb{Z}/p\mathbb{Z} for a prime number pp.

    The set $$\operatorname{GL}_n(F) = \{\text{all invertible $n \times nmatriceswithentriesin matrices with entries in FParseError: KaTeX parse error: Expected 'EOF', got '}' at position 1: }̲\}$ forms a group under matrix multiplication.

    The determinant function yields a group homomorphism det:GLn(F)F×\det:\operatorname{GL}_n(F) \to F^\times (here F×F^\times means F{0}F \setminus \{0\}, which is a commutative group under multiplication in the field FF).

Linear Algebra

Let FF be a field. An FF-vector space VV is an additive abelian group together with an operation of scalar multiplication -- this amounts to a function F×VVF \times V \to V -- satisfying certain axioms.

If V,WV,W are FF-vector spaces, a linear mapping T:VWT:V \to W is a function which satisfies T(αv+w)=αT(v)+T(w).T(\alpha v + w) = \alpha T(v) + T(w).

Let's suppose that VV is finite dimensional and that ϕ:VV\phi:V \to V.

We write ϕ2=ϕϕ\phi^2 = \phi \circ \phi and more generally ϕn=ϕϕn1\phi^n = \phi \circ \phi^{n-1}.

trace, det, char poly

The trace of a matrix M=[Mij]M=[M_{ij}] is the sum of the diagonal entries: tr(M)=i=1nMii.\operatorname{tr}(M) = \sum_{i=1}^n M_{ii}.

I'm assuming you recall the definition of the determinant detM\det M.

The characteristic polynomial cpM(X)F[X]\operatorname{cp}_M(X) \in F[X] of MM is defined to be cpM(X)=det(MXIn).\operatorname{cp}_M(X) = \det(M - X \cdot \mathbf{I}_n).

For a linear transformation ϕ\phi we define

  • tr(ϕ)=tr([ϕ]B)\operatorname{tr}(\phi) = \operatorname{tr}([\phi]_{\mathcal{B}})

  • det(ϕ)=det([ϕ]B)\operatorname{det}(\phi) = \operatorname{det}([\phi]_{\mathcal{B}})

  • cpϕ(X)=cp[ϕ]B(X)\operatorname{cp}_\phi(X) = \operatorname{cp}_{[\phi]_{\mathcal{B}}}(X)

Proposition : tr(ϕ)\operatorname{tr}(\phi), det(ϕ)\operatorname{det}(\phi), and pϕ(X)\operatorname{p}_\phi(X) are independent of the choice B\mathcal{B} of basis for VV.

The main point here is that if B\mathcal{B} and B\mathcal{B}' are two basis for VV, there is an invertible matrix ("change of basis matrix") PP for which [ϕ]B=P[ϕ]BP1.[\phi]_{\mathcal{B}} = P [\phi]_{\mathcal{B}'} P^{-1}.

Evaluation of polynomials at linear transformations

Suppose that f=f(X)F[X]f = f(X) \in F[X] is a polynomial; thus f=i=0NaiXif = \sum_{i=0}^N a_i X^i for some coefficients aiFa_i \in F.

We may evaluate the polynomial ff at the linear endmorphism ϕ\phi:

f(ϕ)=i=0Naiϕi.f(\phi) = \sum_{i=0}^N a_i \phi^i.

Proposition : Let ϕ:VV\phi:V \to V be a linear transformation, and let I={fF[X]f(ϕ)=0}.I = \{f \in F[X] \mid f(\phi) = 0\}. Then II is an ideal in the polynomial ring F[X]F[X]. In particular, there is a unique monic polynomial mϕ(X)F[x]m_\phi(X) \in F[x] for which I=mϕ(X)F[X]I = m_\phi(X) F[X].

In particular, if $f \in F[X]$ and $f(\phi)=0$, then $m_\phi \vert f$.

Theorem (Cayley-Hamilton) : Let ϕ:VV\phi:V \to V be a linear transformation, and let cp(X)=cpϕ(X)F[X]\operatorname{cp}(X) = \operatorname{cp}_\phi(X) \in F[X] be the characteristic polynomial.

Then $\operatorname{cp}(\phi) = 0$.

Recall that the eigenvalues of ϕ\phi are precisely the roots of the characteristic polynomial. The Cayley-Hamilton Theorem implies that any root of the minimal polynomial is an eigenvalue. In fact, we have the converse as well:

Proposition: : If λF\lambda \in F is an eigenvalue of ϕ\phi -- i.e. a root of the characteristic polynomial -- then λ\lambda is a root of the minimal polynomial.

Theorem: : ϕ\phi is diagonalizable -- i.e. VV has a basis of eigenvectors for ϕ\phi -- if and only the minimal polynomial has no multiple roots.

Remark: : This theorem should be proved in Math215-216 here at Tufts using the Fundamental Theorem for modules over a PID. We don't need the full force of this result in our class.

Example

Suppose that ϕ:VV\phi:V \to V satisfies ϕN=idV\phi^N = \operatorname{id}_V for some positive natural number NN.

We suppose that FF is algebraically closed and of characteristic zero.

Notice that the polynomial f(X)=XN1F[X]f(X) = X^N -1 \in F[X] has distinct roots.

(If F=CF = \mathbb{C}, these roots are exactly {exp(2πki/n)0k<N}.\{\exp(2\pi k i/n) \mid 0 \le k < N\}. )

Since the minimal polynomial of ϕ\phi divides ff, we see that the minimal polynomial has distinct roots and hence ϕ\phi is diagonalizable by the Theorem quoted above.