Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Attend a lecture on simple groups delivered by Antoine Chambert Loir as part of the Simons Foundation's 2025 MPS Workshop on Lean. Explore the fundamental concepts and properties of simple groups, which are groups with no non-trivial normal subgroups and serve as the building blocks for understanding the structure of all finite groups. Learn about the classification of finite simple groups, one of the most significant achievements in modern mathematics, and discover how these mathematical objects connect to various areas of algebra and number theory. Gain insights into the role of simple groups in the broader context of group theory and their applications in mathematical formalization using the Lean theorem prover. This presentation forms part of the workshop's second week, where senior researchers share advanced mathematical concepts with participants who have completed intensive training in Lean formalization during the first week.
