Theorems about algebras

Lie's theorem

In mathematics, specifically the theory of Lie algebras, Lie's theorem states that, over an algebraically closed field of characteristic zero, if is a finite-dimensional representation of a solvable Lie algebra, then there's a flag of invariant subspaces of with , meaning that for each and i. Put in another way, the theorem says there is a basis for V such that all linear transformations in are represented by upper triangular matrices. This is a generalization of the result of Frobenius that commuting matrices are simultaneously upper triangularizable, as commuting matrices generate an abelian Lie algebra, which is a fortiori solvable. A consequence of Lie's theorem is that any finite dimensional solvable Lie algebra over a field of characteristic 0 has a nilpotent derived algebra (see ). Also, to each flag in a finite-dimensional vector space V, there correspond a Borel subalgebra (that consist of linear transformations stabilizing the flag); thus, the theorem says that is contained in some Borel subalgebra of . (Wikipedia).

Video thumbnail

Axioms of Lie algebra theory

In this video I write down the axioms of Lie algebras and then discuss the defining anti-symmetric bilinear map (the Lie bracket) which is zero on the diagonal and fulfills the Jacobi identity. I'm following the compact book "Introduction to Lie Algebras" by Erdmann and Wildon. https://gi

From playlist Algebra

Video thumbnail

Lie groups: Poincare-Birkhoff-Witt theorem

This lecture is part of an online graduate course on Lie groups. We state the Poincare-Birkhoff Witt theorem, which shows that the universal enveloping algebra (UEA) of a Lie algebra is the same size as a polynomial algebra. We prove it for Lie algebras of Lie groups and sketch a proof of

From playlist Lie groups

Video thumbnail

Lie groups: Lie's theorem

This lecture is part of an online graduate course on Lie groups. This lecture is about Lie's theorem, which implies that a complex solvable Lie algebra is isomorphic to a subalgebra of the upper triangular matrices. . For the other lectures in the course see https://www.youtube.com/playl

From playlist Lie groups

Video thumbnail

Lie groups: Lie algebras

This lecture is part of an online graduate course on Lie groups. We define the Lie algebra of a Lie group in two ways, and show that it satisfied the Jacobi identity. The we calculate the Lie algebras of a few Lie groups. For the other lectures in the course see https://www.youtube.co

From playlist Lie groups

Video thumbnail

Lie derivatives of differential forms

Introduces the lie derivative, and its action on differential forms. This is applied to symplectic geometry, with proof that the lie derivative of the symplectic form along a Hamiltonian vector field is zero. This is really an application of the wonderfully named "Cartan's magic formula"

From playlist Symplectic geometry and mechanics

Video thumbnail

Calculus - The Fundamental Theorem, Part 1

The Fundamental Theorem of Calculus. First video in a short series on the topic. The theorem is stated and two simple examples are worked.

From playlist Calculus - The Fundamental Theorem of Calculus

Video thumbnail

Lie groups: Introduction

This lecture is part of an online graduate course on Lie groups. We give an introductory survey of Lie groups theory by describing some examples of Lie groups in low dimensions. Some recommended books: Lie algebras and Lie groups by Serre (anything by Serre is well worth reading) Repre

From playlist Lie groups

Video thumbnail

Lie groups: Lie groups and Lie algebras

This lecture is part of an online graduate course on Lie groups. We discuss the relation between Lie groups and Lie algebras, and give several examples showing how they behave differently. Lie algebras turn out to correspond more closely to the simply connected Lie groups. We then explain

From playlist Lie groups

Video thumbnail

The Fundamental Theorem of Calculus | Algebraic Calculus One | Wild Egg

In this video we lay out the Fundamental Theorem of Calculus --from the point of view of the Algebraic Calculus. This key result, presented here for the very first time (!), shows how to generalize the Fundamental Formula of the Calculus which we presented a few videos ago, incorporating t

From playlist Algebraic Calculus One

Video thumbnail

Excel & Statistics 46: Chebyshev's Theorem

Download Excel Start File 1: https://people.highline.edu/mgirvin/AllClasses/210M/Content/ch03/Busn210ch03.xls Download Excel Finished File 1: https://people.highline.edu/mgirvin/AllClasses/210M/Content/ch03/Busn210ch03Finished.xls Download Excel Start File 2: https://people.highline.edu/mg

From playlist Excel 2007 Statistics: Charts, Functions, Formulas

Video thumbnail

algebraic geometry 16 Desargues's theorem

This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It covers Desargues's theorem and duality of projective space.

From playlist Algebraic geometry I: Varieties

Video thumbnail

Excel 2010 Statistics #31: z-Scores, Chebyshev's Theorem and Empirical Rule

Download Excel File #1: https://people.highline.edu/mgirvin/AllClasses/210Excel2010/Content/Ch03/Excel2010StatisticsCh03correct.xlsm Download Excel File #2: https://people.highline.edu/mgirvin/AllClasses/210Excel2010/Content/Ch03/Excel2010StatisticsCh03SecondFile.xlsm Download Excel File #

From playlist Excel 2010 Statistics Formulas Functions Charts PivotTables

Video thumbnail

Roger Heath-Brown: The Determinant Method, Lecture II

Lecture 1 will set the background for the course, describing the problem of counting rational points on algebraic varieties, the phenomena that can arise, and some of the results which have been proved. Lecture 2 will prove the basic theorem of the p-adic Determinant Method. Lecture 3 will

From playlist Harmonic Analysis and Analytic Number Theory

Video thumbnail

Proof: An Edge is a Bridge iff it Lies on No Cycles | Graph Theory

An edge of a graph is a bridge if and only if it lies on no cycles. We prove this characterization of graph bridges in today's graph theory lesson! My lesson on bridges: https://www.youtube.com/watch?v=zj_aFVuUATM Proof that a walk implies a path: https://www.youtube.com/watch?v=728bZWwT

From playlist Graph Theory

Video thumbnail

Recovering elliptic curves from their p-torsion - Benjamin Bakker

Benjamin Bakker New York University May 2, 2014 Given an elliptic curve EE over a field kk, its p-torsion EpEp gives a 2-dimensional representation of the Galois group GkGk over đť”˝pFp. The Frey-Mazur conjecture asserts that for k=â„šk=Q and p13p13, EE is in fact determined up to isogeny by th

From playlist Mathematics

Video thumbnail

The Polynomial Method and Applications From Finite Field Kakeya to Distinct Distances - Larry Guth

Larry Guth University of Toronto; Member, School of Mathematics April 22, 2011 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Duality: magic in simple geometry #SoME2

Two inaccuracies: 2:33 explains the first property (2:16), not the second one (2:24) Narration at 5:52 should be "intersections of GREEN and orange lines" Time stamps: 0:00 — Intro 0:47 — Polar transform 4:46 — Desargues's Theorem 6:29 — Pappus's Theorem 7:18 — Sylvester-Gallai Theorem 8

From playlist Summer of Math Exposition 2 videos

Video thumbnail

Lie groups: Baker Campbell Hausdorff formula

This lecture is part of an online graduate course on Lie groups. We state the Baker Campbell Hausdorff formula for exp(A)exp(B). As applications we show that a Lie group is determined up to local isomorphism by its Lie algebra, and homomorphisms from a simply connected Lie group are deter

From playlist Lie groups

Video thumbnail

Perspectives in Math and Art by Supurna Sinha

KAAPI WITH KURIOSITY PERSPECTIVES IN MATH AND ART SPEAKER: Supurna Sinha (Raman Research Institute, Bengaluru) WHEN: 4:00 pm to 5:30 pm Sunday, 24 April 2022 WHERE: Jawaharlal Nehru Planetarium, Bengaluru Abstract: The European renaissance saw the merging of mathematics and art in th

From playlist Kaapi With Kuriosity (A Monthly Public Lecture Series)

Related pages

Abelian Lie algebra | Nilpotent Lie algebra | Solvable Lie algebra | Engel's theorem | Lie–Kolchin theorem | Radical of a Lie algebra | Tensor product of representations | Flag (linear algebra) | Borel subalgebra | Lie algebra | Invariant subspace | Commuting matrices