SlideShare a Scribd company logo
1 of 4
Download to read offline
Representation Theory of Finite Groups Sample
Spencer Leonardis
Math 194 Spring 2016
University of California, Santa Cruz
August 19, 2016
Definition 3.9. Two representations Γ(1)
: G → AutF (V ) and Γ(2)
: G → AutF (V ) are
called equivalent (Γ(1)
∼ Γ(2)
) if there is an F-linear isomorphism T : V → W such that
Γ(2)
g = T ◦ Γ(1)
g ◦ T−1
for every g ∈ G.
This means that T commutes with ∆(1)
and ∆(2)
. The scenario can be expressed visually by
the following commutative diagram:
V V
W W
T
Γ
(1)
g
T
Γ
(2)
g
Notice that we can start from the upper left-hand corner and follow the arrows in two
separate directions to arrive at the bottom right corner. This is what we mean when we say
a diagram commutes.
Remark 3.10. For representations ∆(1)
: G → GLn(F) and ∆(2)
: G → GLm(F), we say
that ∆(1)
∼ ∆(2)
if there is an invertible matrix A (which corresponds to T by props 2.19
and 3.4) such that ∆
(2)
g = A∆
(1)
g A−1
for every g ∈ G.
Definition 3.11. Let Γ(1)
and Γ(2)
by the representations in definition 3.9 (but not neces-
sarily equivalent). Then the direct sum of two representations is defined
Γ(1)
⊕ Γ(2)
g (v1, v2) = (Γ(1)
g (v1), Γ(2)
g (v2)).
If ∆(1)
and ∆(2)
are the representations in remark 3.10, then the direct sum is defined by the
map
∆(1)
⊕ ∆(2)
: G → Gn+m(F), g →
∆(1)
0
0 ∆(2) .
1
Definition 3.12. Let ∆ : G → GLn(F) be a representation. Then a subspace U ⊆ Fn
is
called ∆–invariant (or G-invariant) if ∆gu ∈ U for every g ∈ G and u ∈ U.
Definition 3.13. Let ∆ : G → GLn(F)
∼
−→ AutF (V ) be a representation.
(i). We call ∆ decomposable if ∆ ∼ ∆(1)
⊕ ∆(2)
for some representations ∆(1)
and ∆(1)
.
Equivalently, ∆ is decomposable if V splits into a direct sum U ⊕W of two non-trivial
∆–invariant subspaces. Otherwise ∆ is termed indecomposable.
(ii). We call Γ reducible if ∆ is equivalent to a representation of the form g →
A(g) B(g)
0 C(g)
A(g) ∈ Matn(F), B(g) ∈ Matn×m(F), C(g) ∈ Matn(F). Equivalently, a representa-
tion ∆ is reducible if there exists a non-trivial ∆–invariant subspace U ⊂ V . Otherwise
∆ is called irreducible.
Remark 3.14. Alternatively, one could say that a representation ∆ of a group G is irre-
ducible if no subrepresentation Γ ⊂ ∆ is closed under the action {∆(g) : g ∈ G}. One
special type of representation decomposes into a direct sum of irreducible representations–
it’s called a unitary representation. If a group G has a unitary representation ∆, then G can
be completely examined by looking at each of the individual representations in the direct
sum.
Example 3.15. Define a representation φ : D4 → GL2(C) of the dihedral group D4 =
r, s|ord(r) = 4, ord(s) = 2, srs = r−1
by
rk
→
ik
0
0 (−i)k and srk
→
0 (−i)k
ik
0
.
Observe that φt
rk = φsrk . Then φ is an irreducible representation.
Theorem 3.16. Assume |G| is invertible in F. Let ∆ : G → GLn(F) be a representation
and U ⊆ Fn
a ∆–invariant F–subspace. Then there is a ∆–invariant F-subspace such that
Fn
= U ⊕ V .
proof. Let B = (u1, . . . , ur) be an F-basis of U. Since B is linearly independent, it can be
extended to a basis B = (u1, . . . , un) of Fn
by 2.9.i. Now let A ∈ Matn(F) be defined by
Aui :=
ui : ui ∈ B,
0 : ui ∈ B  B.
Now set
A := ∆g−1 A∆g =
1
|G|
|G| ∆g−1 A∆g =
1
|G| g∈G
∆g−1 A∆g.
Next we prove four individual statements (a)–(d):
2
(a). A u = u for every u ∈ U:
Observe that
A u =
1
|G| g∈G
∆g−1 A ∆gu
∈U
=
1
|G| g∈G
∆g−1 ∆gu =
1
|G| g∈G
(∆g)−1
∆gu
=
1
|G| g∈G
u = u.
(b). A x ∈ U for every x ∈ Fn
:
There are two cases, either ∆gx ∈ U or ∆gx ∈ Fn
:
(i). A ∆gx
∈U
= ∆gx ∈ U,
(ii). A ∆gx
∈Fn
= 0 ∈ U.
In either case A∆gx ∈ U, so it follows that A x = 1
|G|
g∈G
∆g−1 A∆gx ∈ U since by
∆–invariance, ∆g−1 u ∈ U for every u ∈ U.
(c). A A = A x for every x ∈ Fn
:
This is clear from parts (a) and (b).
(d). A ∆h = ∆hA for every h ∈ G:
We have
A ∆h =
1
|G| g∈G
∆g−1 A∆gh = A ∆h =
1
|G| g∈G
∆hk−1 A∆k
=
1
|G| g∈G
∆h∆k−1 A∆k = ∆hA .
by substituting k = gh.
Now set V := ker(A ) = {x ∈ Fn
: A x = 0}. For every v ∈ V and g ∈ G, it follows from
(d) that A ∆gv = ∆gA v = 0, so ∆gv ∈ V , implying V is ∆–invariant. Let x ∈ Fn
. Then
by part (b), A x ∈ U and by (c), A (x − A x) = A x − A x = 0, so x − A x ∈ V . Thus
x = A x + (x − A x) ∈ U + V . Hence Fn
= U + V . Now if x ∈ U ∩ V =⇒ x = A x = 0 =⇒
U ∩ V = {0}. Therefore Fn
= U ⊕ V , completing the proof.
References
[1] Cooperstein, Bruce N. Advanced Linear Algebra. CRC press. University of Cal-
ifornia, Santa Cruz. (2015), no. 2, 52–54, 69–70, 72, 73, 75, 81–84.
3
[2] Boltje, Robert. Algebra I (Math 111A). University of California, Santa Cruz.
(2014), 12–17, 58–59.
[3] Boltje, Robert, Representations of Finite Groups I (Math 240A). University of
California, Santa Cruz. (2016), 1–23.
[4] Steinberg, Benjamin. Representation Theory of Finite Groups. Carleton Univer-
sity. (2009), 1–35.
[5] Lent, C. T. Representation Theory. Berlin: Springer, University of California,
Berkeley. (1986), 1–10.
4

More Related Content

What's hot

Gradient divergence curl
Gradient divergence curlGradient divergence curl
Gradient divergence curlVikas Vikram
 
Slides: The dual Voronoi diagrams with respect to representational Bregman di...
Slides: The dual Voronoi diagrams with respect to representational Bregman di...Slides: The dual Voronoi diagrams with respect to representational Bregman di...
Slides: The dual Voronoi diagrams with respect to representational Bregman di...Frank Nielsen
 
E field energy
E field energyE field energy
E field energyFFMdeMul
 
Application of definite integrals
Application of definite integralsApplication of definite integrals
Application of definite integralsVaibhav Tandel
 
Directional Derivatives - vector differenciation
Directional Derivatives - vector differenciationDirectional Derivatives - vector differenciation
Directional Derivatives - vector differenciationLikhithaGunturi
 
Dynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded TreewidthDynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded TreewidthASPAK2014
 
Graph Algorithms: Breadth-First Search (BFS)
Graph Algorithms: Breadth-First Search (BFS)Graph Algorithms: Breadth-First Search (BFS)
Graph Algorithms: Breadth-First Search (BFS)Md. Shafiuzzaman Hira
 
Alg1 ch0407example4
Alg1 ch0407example4Alg1 ch0407example4
Alg1 ch0407example4amymallory
 
Analytic construction of points on modular elliptic curves
Analytic construction of points on modular elliptic curvesAnalytic construction of points on modular elliptic curves
Analytic construction of points on modular elliptic curvesmmasdeu
 
Numerical integration;Gaussian integration one point, two point and three poi...
Numerical integration;Gaussian integration one point, two point and three poi...Numerical integration;Gaussian integration one point, two point and three poi...
Numerical integration;Gaussian integration one point, two point and three poi...vaibhav tailor
 
Algorithm Design and Complexity - Course 12
Algorithm Design and Complexity - Course 12Algorithm Design and Complexity - Course 12
Algorithm Design and Complexity - Course 12Traian Rebedea
 
Breadth first search (Bfs)
Breadth first search (Bfs)Breadth first search (Bfs)
Breadth first search (Bfs)Ishucs
 
On the equality of the grundy numbers of a graph
On the equality of the grundy numbers of a graphOn the equality of the grundy numbers of a graph
On the equality of the grundy numbers of a graphijngnjournal
 
Basics of functions continued
Basics of functions continuedBasics of functions continued
Basics of functions continuedcpirie0607
 
1.3 transposition of formulae
1.3 transposition of formulae1.3 transposition of formulae
1.3 transposition of formulaeMARA
 
ppt on application of integrals
ppt on application of integralsppt on application of integrals
ppt on application of integralsharshid panchal
 
Algebra 1 Revision: brackets, indices
Algebra 1 Revision: brackets, indicesAlgebra 1 Revision: brackets, indices
Algebra 1 Revision: brackets, indicesestelav
 

What's hot (20)

Gradient divergence curl
Gradient divergence curlGradient divergence curl
Gradient divergence curl
 
Slides: The dual Voronoi diagrams with respect to representational Bregman di...
Slides: The dual Voronoi diagrams with respect to representational Bregman di...Slides: The dual Voronoi diagrams with respect to representational Bregman di...
Slides: The dual Voronoi diagrams with respect to representational Bregman di...
 
E field energy
E field energyE field energy
E field energy
 
Application of definite integrals
Application of definite integralsApplication of definite integrals
Application of definite integrals
 
Directional Derivatives - vector differenciation
Directional Derivatives - vector differenciationDirectional Derivatives - vector differenciation
Directional Derivatives - vector differenciation
 
Dynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded TreewidthDynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded Treewidth
 
Graph Algorithms: Breadth-First Search (BFS)
Graph Algorithms: Breadth-First Search (BFS)Graph Algorithms: Breadth-First Search (BFS)
Graph Algorithms: Breadth-First Search (BFS)
 
Alg1 ch0407example4
Alg1 ch0407example4Alg1 ch0407example4
Alg1 ch0407example4
 
Analytic construction of points on modular elliptic curves
Analytic construction of points on modular elliptic curvesAnalytic construction of points on modular elliptic curves
Analytic construction of points on modular elliptic curves
 
Kruskal Algorithm
Kruskal AlgorithmKruskal Algorithm
Kruskal Algorithm
 
Numerical integration;Gaussian integration one point, two point and three poi...
Numerical integration;Gaussian integration one point, two point and three poi...Numerical integration;Gaussian integration one point, two point and three poi...
Numerical integration;Gaussian integration one point, two point and three poi...
 
Vectors
VectorsVectors
Vectors
 
Algorithm Design and Complexity - Course 12
Algorithm Design and Complexity - Course 12Algorithm Design and Complexity - Course 12
Algorithm Design and Complexity - Course 12
 
Breadth first search (Bfs)
Breadth first search (Bfs)Breadth first search (Bfs)
Breadth first search (Bfs)
 
On the equality of the grundy numbers of a graph
On the equality of the grundy numbers of a graphOn the equality of the grundy numbers of a graph
On the equality of the grundy numbers of a graph
 
Basics of functions continued
Basics of functions continuedBasics of functions continued
Basics of functions continued
 
10.1.1.226.4381
10.1.1.226.438110.1.1.226.4381
10.1.1.226.4381
 
1.3 transposition of formulae
1.3 transposition of formulae1.3 transposition of formulae
1.3 transposition of formulae
 
ppt on application of integrals
ppt on application of integralsppt on application of integrals
ppt on application of integrals
 
Algebra 1 Revision: brackets, indices
Algebra 1 Revision: brackets, indicesAlgebra 1 Revision: brackets, indices
Algebra 1 Revision: brackets, indices
 

Viewers also liked

Quantum presentation FINAL
Quantum presentation FINAL Quantum presentation FINAL
Quantum presentation FINAL Jo Henry
 
Iran: Fatal Writ - an account of murders and cover upsd
Iran: Fatal Writ - an account of murders and cover upsdIran: Fatal Writ - an account of murders and cover upsd
Iran: Fatal Writ - an account of murders and cover upsdJohn Lubbock
 
2016 April 4 Business Meeting
2016 April 4 Business Meeting2016 April 4 Business Meeting
2016 April 4 Business MeetingRuss Nolting
 
TestingAR Meetup 4to Encuentro - ConTest - Mónica Wodzislawski
TestingAR Meetup 4to Encuentro  - ConTest - Mónica WodzislawskiTestingAR Meetup 4to Encuentro  - ConTest - Mónica Wodzislawski
TestingAR Meetup 4to Encuentro - ConTest - Mónica WodzislawskiTestingAR Meetup
 
TestingAR Meetup 3er Encuentro - Marcelo Corpucci - Software Test Automatio...
TestingAR Meetup   3er Encuentro - Marcelo Corpucci - Software Test Automatio...TestingAR Meetup   3er Encuentro - Marcelo Corpucci - Software Test Automatio...
TestingAR Meetup 3er Encuentro - Marcelo Corpucci - Software Test Automatio...TestingAR Meetup
 

Viewers also liked (6)

Quantum presentation FINAL
Quantum presentation FINAL Quantum presentation FINAL
Quantum presentation FINAL
 
Iran: Fatal Writ - an account of murders and cover upsd
Iran: Fatal Writ - an account of murders and cover upsdIran: Fatal Writ - an account of murders and cover upsd
Iran: Fatal Writ - an account of murders and cover upsd
 
2016 April 4 Business Meeting
2016 April 4 Business Meeting2016 April 4 Business Meeting
2016 April 4 Business Meeting
 
The brain ring
The brain ringThe brain ring
The brain ring
 
TestingAR Meetup 4to Encuentro - ConTest - Mónica Wodzislawski
TestingAR Meetup 4to Encuentro  - ConTest - Mónica WodzislawskiTestingAR Meetup 4to Encuentro  - ConTest - Mónica Wodzislawski
TestingAR Meetup 4to Encuentro - ConTest - Mónica Wodzislawski
 
TestingAR Meetup 3er Encuentro - Marcelo Corpucci - Software Test Automatio...
TestingAR Meetup   3er Encuentro - Marcelo Corpucci - Software Test Automatio...TestingAR Meetup   3er Encuentro - Marcelo Corpucci - Software Test Automatio...
TestingAR Meetup 3er Encuentro - Marcelo Corpucci - Software Test Automatio...
 

Similar to Seminar Sample

Darmon Points: an Overview
Darmon Points: an OverviewDarmon Points: an Overview
Darmon Points: an Overviewmmasdeu
 
ICAMS033-G.NITHYA.pptx
ICAMS033-G.NITHYA.pptxICAMS033-G.NITHYA.pptx
ICAMS033-G.NITHYA.pptxmathematicssac
 
Note on Character Theory-summer 2013
Note on Character Theory-summer 2013Note on Character Theory-summer 2013
Note on Character Theory-summer 2013Fan Huang (Wright)
 
Group theory notes
Group theory notesGroup theory notes
Group theory notesmkumaresan
 
Complex analysis notes
Complex analysis notesComplex analysis notes
Complex analysis notesPrakash Dabhi
 
On the Equality of the Grundy Numbers of a Graph
On the Equality of the Grundy Numbers of a GraphOn the Equality of the Grundy Numbers of a Graph
On the Equality of the Grundy Numbers of a Graphjosephjonse
 
Complexity Classes and the Graph Isomorphism Problem
Complexity Classes and the Graph Isomorphism ProblemComplexity Classes and the Graph Isomorphism Problem
Complexity Classes and the Graph Isomorphism Problemcseiitgn
 
Pullbacks and Pushouts in the Category of Graphs
Pullbacks and Pushouts in the Category of GraphsPullbacks and Pushouts in the Category of Graphs
Pullbacks and Pushouts in the Category of Graphsiosrjce
 
boundary layer good 2.ppt
boundary layer good 2.pptboundary layer good 2.ppt
boundary layer good 2.pptrabeamatouk
 
Bregman divergences from comparative convexity
Bregman divergences from comparative convexityBregman divergences from comparative convexity
Bregman divergences from comparative convexityFrank Nielsen
 
Solution of ps02 cmth03apr13
Solution of ps02 cmth03apr13Solution of ps02 cmth03apr13
Solution of ps02 cmth03apr13Prakash Dabhi
 
13.1 Calculus_ch14_Partial_Directional_Derivatives.pptx
13.1 Calculus_ch14_Partial_Directional_Derivatives.pptx13.1 Calculus_ch14_Partial_Directional_Derivatives.pptx
13.1 Calculus_ch14_Partial_Directional_Derivatives.pptxTabrijiIslam
 
Rainone - Groups St. Andrew 2013
Rainone - Groups St. Andrew 2013Rainone - Groups St. Andrew 2013
Rainone - Groups St. Andrew 2013Raffaele Rainone
 
International journal of applied sciences and innovation vol 2015 - no 2 - ...
International journal of applied sciences and innovation   vol 2015 - no 2 - ...International journal of applied sciences and innovation   vol 2015 - no 2 - ...
International journal of applied sciences and innovation vol 2015 - no 2 - ...sophiabelthome
 

Similar to Seminar Sample (20)

Darmon Points: an Overview
Darmon Points: an OverviewDarmon Points: an Overview
Darmon Points: an Overview
 
ICAMS033-G.NITHYA.pptx
ICAMS033-G.NITHYA.pptxICAMS033-G.NITHYA.pptx
ICAMS033-G.NITHYA.pptx
 
Note on Character Theory-summer 2013
Note on Character Theory-summer 2013Note on Character Theory-summer 2013
Note on Character Theory-summer 2013
 
Group theory notes
Group theory notesGroup theory notes
Group theory notes
 
Complex analysis notes
Complex analysis notesComplex analysis notes
Complex analysis notes
 
H0412071074
H0412071074H0412071074
H0412071074
 
Digital text
Digital  textDigital  text
Digital text
 
On the Equality of the Grundy Numbers of a Graph
On the Equality of the Grundy Numbers of a GraphOn the Equality of the Grundy Numbers of a Graph
On the Equality of the Grundy Numbers of a Graph
 
Complexity Classes and the Graph Isomorphism Problem
Complexity Classes and the Graph Isomorphism ProblemComplexity Classes and the Graph Isomorphism Problem
Complexity Classes and the Graph Isomorphism Problem
 
445 colouring0
445 colouring0445 colouring0
445 colouring0
 
Pullbacks and Pushouts in the Category of Graphs
Pullbacks and Pushouts in the Category of GraphsPullbacks and Pushouts in the Category of Graphs
Pullbacks and Pushouts in the Category of Graphs
 
boundary layer good 2.ppt
boundary layer good 2.pptboundary layer good 2.ppt
boundary layer good 2.ppt
 
Fuzzy graph
Fuzzy graphFuzzy graph
Fuzzy graph
 
Bregman divergences from comparative convexity
Bregman divergences from comparative convexityBregman divergences from comparative convexity
Bregman divergences from comparative convexity
 
Solution of ps02 cmth03apr13
Solution of ps02 cmth03apr13Solution of ps02 cmth03apr13
Solution of ps02 cmth03apr13
 
13.1 Calculus_ch14_Partial_Directional_Derivatives.pptx
13.1 Calculus_ch14_Partial_Directional_Derivatives.pptx13.1 Calculus_ch14_Partial_Directional_Derivatives.pptx
13.1 Calculus_ch14_Partial_Directional_Derivatives.pptx
 
Rainone - Groups St. Andrew 2013
Rainone - Groups St. Andrew 2013Rainone - Groups St. Andrew 2013
Rainone - Groups St. Andrew 2013
 
International journal of applied sciences and innovation vol 2015 - no 2 - ...
International journal of applied sciences and innovation   vol 2015 - no 2 - ...International journal of applied sciences and innovation   vol 2015 - no 2 - ...
International journal of applied sciences and innovation vol 2015 - no 2 - ...
 
Derivatives in Multi
Derivatives in MultiDerivatives in Multi
Derivatives in Multi
 
Directional derivative and gradient
Directional derivative and gradientDirectional derivative and gradient
Directional derivative and gradient
 

Seminar Sample

  • 1. Representation Theory of Finite Groups Sample Spencer Leonardis Math 194 Spring 2016 University of California, Santa Cruz August 19, 2016 Definition 3.9. Two representations Γ(1) : G → AutF (V ) and Γ(2) : G → AutF (V ) are called equivalent (Γ(1) ∼ Γ(2) ) if there is an F-linear isomorphism T : V → W such that Γ(2) g = T ◦ Γ(1) g ◦ T−1 for every g ∈ G. This means that T commutes with ∆(1) and ∆(2) . The scenario can be expressed visually by the following commutative diagram: V V W W T Γ (1) g T Γ (2) g Notice that we can start from the upper left-hand corner and follow the arrows in two separate directions to arrive at the bottom right corner. This is what we mean when we say a diagram commutes. Remark 3.10. For representations ∆(1) : G → GLn(F) and ∆(2) : G → GLm(F), we say that ∆(1) ∼ ∆(2) if there is an invertible matrix A (which corresponds to T by props 2.19 and 3.4) such that ∆ (2) g = A∆ (1) g A−1 for every g ∈ G. Definition 3.11. Let Γ(1) and Γ(2) by the representations in definition 3.9 (but not neces- sarily equivalent). Then the direct sum of two representations is defined Γ(1) ⊕ Γ(2) g (v1, v2) = (Γ(1) g (v1), Γ(2) g (v2)). If ∆(1) and ∆(2) are the representations in remark 3.10, then the direct sum is defined by the map ∆(1) ⊕ ∆(2) : G → Gn+m(F), g → ∆(1) 0 0 ∆(2) . 1
  • 2. Definition 3.12. Let ∆ : G → GLn(F) be a representation. Then a subspace U ⊆ Fn is called ∆–invariant (or G-invariant) if ∆gu ∈ U for every g ∈ G and u ∈ U. Definition 3.13. Let ∆ : G → GLn(F) ∼ −→ AutF (V ) be a representation. (i). We call ∆ decomposable if ∆ ∼ ∆(1) ⊕ ∆(2) for some representations ∆(1) and ∆(1) . Equivalently, ∆ is decomposable if V splits into a direct sum U ⊕W of two non-trivial ∆–invariant subspaces. Otherwise ∆ is termed indecomposable. (ii). We call Γ reducible if ∆ is equivalent to a representation of the form g → A(g) B(g) 0 C(g) A(g) ∈ Matn(F), B(g) ∈ Matn×m(F), C(g) ∈ Matn(F). Equivalently, a representa- tion ∆ is reducible if there exists a non-trivial ∆–invariant subspace U ⊂ V . Otherwise ∆ is called irreducible. Remark 3.14. Alternatively, one could say that a representation ∆ of a group G is irre- ducible if no subrepresentation Γ ⊂ ∆ is closed under the action {∆(g) : g ∈ G}. One special type of representation decomposes into a direct sum of irreducible representations– it’s called a unitary representation. If a group G has a unitary representation ∆, then G can be completely examined by looking at each of the individual representations in the direct sum. Example 3.15. Define a representation φ : D4 → GL2(C) of the dihedral group D4 = r, s|ord(r) = 4, ord(s) = 2, srs = r−1 by rk → ik 0 0 (−i)k and srk → 0 (−i)k ik 0 . Observe that φt rk = φsrk . Then φ is an irreducible representation. Theorem 3.16. Assume |G| is invertible in F. Let ∆ : G → GLn(F) be a representation and U ⊆ Fn a ∆–invariant F–subspace. Then there is a ∆–invariant F-subspace such that Fn = U ⊕ V . proof. Let B = (u1, . . . , ur) be an F-basis of U. Since B is linearly independent, it can be extended to a basis B = (u1, . . . , un) of Fn by 2.9.i. Now let A ∈ Matn(F) be defined by Aui := ui : ui ∈ B, 0 : ui ∈ B B. Now set A := ∆g−1 A∆g = 1 |G| |G| ∆g−1 A∆g = 1 |G| g∈G ∆g−1 A∆g. Next we prove four individual statements (a)–(d): 2
  • 3. (a). A u = u for every u ∈ U: Observe that A u = 1 |G| g∈G ∆g−1 A ∆gu ∈U = 1 |G| g∈G ∆g−1 ∆gu = 1 |G| g∈G (∆g)−1 ∆gu = 1 |G| g∈G u = u. (b). A x ∈ U for every x ∈ Fn : There are two cases, either ∆gx ∈ U or ∆gx ∈ Fn : (i). A ∆gx ∈U = ∆gx ∈ U, (ii). A ∆gx ∈Fn = 0 ∈ U. In either case A∆gx ∈ U, so it follows that A x = 1 |G| g∈G ∆g−1 A∆gx ∈ U since by ∆–invariance, ∆g−1 u ∈ U for every u ∈ U. (c). A A = A x for every x ∈ Fn : This is clear from parts (a) and (b). (d). A ∆h = ∆hA for every h ∈ G: We have A ∆h = 1 |G| g∈G ∆g−1 A∆gh = A ∆h = 1 |G| g∈G ∆hk−1 A∆k = 1 |G| g∈G ∆h∆k−1 A∆k = ∆hA . by substituting k = gh. Now set V := ker(A ) = {x ∈ Fn : A x = 0}. For every v ∈ V and g ∈ G, it follows from (d) that A ∆gv = ∆gA v = 0, so ∆gv ∈ V , implying V is ∆–invariant. Let x ∈ Fn . Then by part (b), A x ∈ U and by (c), A (x − A x) = A x − A x = 0, so x − A x ∈ V . Thus x = A x + (x − A x) ∈ U + V . Hence Fn = U + V . Now if x ∈ U ∩ V =⇒ x = A x = 0 =⇒ U ∩ V = {0}. Therefore Fn = U ⊕ V , completing the proof. References [1] Cooperstein, Bruce N. Advanced Linear Algebra. CRC press. University of Cal- ifornia, Santa Cruz. (2015), no. 2, 52–54, 69–70, 72, 73, 75, 81–84. 3
  • 4. [2] Boltje, Robert. Algebra I (Math 111A). University of California, Santa Cruz. (2014), 12–17, 58–59. [3] Boltje, Robert, Representations of Finite Groups I (Math 240A). University of California, Santa Cruz. (2016), 1–23. [4] Steinberg, Benjamin. Representation Theory of Finite Groups. Carleton Univer- sity. (2009), 1–35. [5] Lent, C. T. Representation Theory. Berlin: Springer, University of California, Berkeley. (1986), 1–10. 4