From 53363db9537a0c285e825486d679c756a595f795 Mon Sep 17 00:00:00 2001 From: antoinelab01 <66086247+antoinelab01@users.noreply.github.com> Date: Sun, 13 Nov 2022 09:22:10 +0000 Subject: [PATCH] docs(undegrad.yaml): fix previous PR (#17506) Moved the updates on representation theory to the section where they are supposed to be. --- docs/undergrad.yaml | 16 ++++------------ 1 file changed, 4 insertions(+), 12 deletions(-) diff --git a/docs/undergrad.yaml b/docs/undergrad.yaml index e07effb6ede1c..810e4356efa7c 100644 --- a/docs/undergrad.yaml +++ b/docs/undergrad.yaml @@ -111,12 +111,12 @@ Group Theory: Representation theory of finite groups: representations of abelian groups: 'https://proofwiki.org/wiki/Irreducible_Representations_of_Abelian_Group' dual groups: 'https://kconrad.math.uconn.edu/blurbs/grouptheory/charthy.pdf' - Maschke theorem: 'https://en.wikipedia.org/wiki/Maschke%27s_theorem' - orthogonality of irreducible characters: 'https://en.wikipedia.org/wiki/Schur_orthogonality_relations' + Maschke theorem: 'monoid_algebra.submodule.exists_is_compl' + orthogonality of irreducible characters: 'fdRep.char_orthonormal' Fourier transform for finite abelian groups: 'https://en.wikipedia.org/wiki/Fourier_transform_on_finite_groups#Fourier_transform_for_finite_abelian_groups' convolution: 'https://en.wikipedia.org/wiki/Fourier_transform_on_finite_groups#Transform_of_a_convolution' class function over a group: 'https://en.wikipedia.org/wiki/Class_function' - characters of a finite dimensional representation: 'https://en.wikipedia.org/wiki/Character_theory' + characters of a finite dimensional representation: 'fdRep.character' orthonormal basis of irreducible characters: 'https://en.wikipedia.org/wiki/Character_theory#Orthogonality_relations' examples of groups with small cardinality: '' @@ -664,12 +664,4 @@ Numerical Analysis: Fourier transform: discrete Fourier transform on a finite abelian group: '' fast Fourier transform: '' - - -# 14. -Representation theory: - Group representations: - representation : 'representation' - category of finite dimensional representations : 'fdRep' - character : 'fdRep.character' - orthogonality of characters : 'fdRep.char_orthonormal' +