Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP Entry: Secondary Sylow Theorems


view this post on Zulip Email Gateway (Aug 19 2022 at 13:24):

From: Lawrence Paulson <lp15@cam.ac.uk>
Title: Secondary Sylow Theorems
Authors: Jakob von Raumer

These theories extend the existing proof of the first Sylow theorem (written by Florian Kammueller and L. C. Paulson) by what are often called the second, third and fourth Sylow theorems. These theorems state propositions about the number of Sylow p-subgroups of a group and the fact that they are conjugate to each other. The proofs make use of an implementation of group actions and their properties.

Larry Paulson


Last updated: Nov 21 2024 at 12:39 UTC