Title: A formal proof of Feit-Higman theorem in Agda
Speaker: Mr. Balaji Department of Mathematics.
Date: 07 April 2014
Time: 10.00 a.m.
Venue: Lecture Hall I, Department of Mathematics
Generalised polygons are incidence structures that generalise
projective planes (generalised triangles) and are closely related to
finite groups. The Feit-Higman theorem states that any generalised
n-gon is either an ordinary polygon or n = 2, 3, 4, 6, 8 or 12.