Formalisation of the Finite Simple Conway Groups in Lean

dc.rights.license	CC-BY-NC-ND
dc.contributor.advisor	Commelin, J.M.
dc.contributor.author	Plas, Erik van der
dc.date.accessioned	2024-07-18T10:01:45Z
dc.date.available	2024-07-18T10:01:45Z
dc.date.issued	2024
dc.identifier.uri	https://studenttheses.uu.nl/handle/20.500.12932/46756
dc.description.abstract	Study of the Conway groups, a family of sporadic simple groups closely related to the Leech lattice. We will demonstrate a construction of the Leech lattice, show how it can be used to construct the Conway groups and provide a proof of the simplicity of one of them, Co1. Furthermore, we formalise part of this proof in the Lean theorem prover.
dc.description.sponsorship	Utrecht University
dc.language.iso	EN
dc.subject	Study of the Conway groups, a family of sporadic simple groups closely related to the Leech lattice. We will demonstrate a construction of the Leech lattice, show how it can be used to construct the Conway groups and provide a proof of the simplicity of one of them, Co1. Furthermore, we formalise part of this proof in the Lean theorem prover.
dc.title	Formalisation of the Finite Simple Conway Groups in Lean
dc.type.content	Bachelor Thesis
dc.rights.accessrights	Open Access
dc.subject.courseuu	Wiskunde
dc.thesis.id	34147