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.


Contact: +91 (80) 2293 2711, +91 (80) 2293 2265
E-mail: chairman.math[at]iisc[dot]ac[dot]in