Coxeter groups: Generators, Relations, and Word Length

Related lectures (30)

Page 3 of 3

Explores the construction of irreducible Coxeter groups and their geometric properties, focusing on classical and simply laced groups.

Explores Lagrange multipliers, minimax theorems, and convex subsets in optimal transport theory.

Explores optimal transport theory, transport maps, entropy, and their practical implications in mathematical optimization.

Explores the composition of applications in mathematics and the importance of understanding their properties.

Explores the properties of simple roots and reflections in Coxeter groups, emphasizing uniqueness and linear independence.

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Covers the basic properties of holomorphic maps and Taylor series expansions in complex analysis.

Covers the integration of differential forms on smooth manifolds, including the concepts of closed and exact forms.

Explores elementary algebra concepts related to numeric sets and prime numbers, including unique factorization and properties.

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.