| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Secondary Sylow Theorems
| Title: | Secondary Sylow Theorems |
| Author: | Jakob von Raumer (psxjv4 /at/ nottingham /dot/ ac /dot/ uk) |
| Submission date: | 2014-01-28 |
| Abstract: | 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. |
| BibTeX: |
@article{Secondary_Sylow-AFP,
author = {Jakob von Raumer},
title = {Secondary Sylow Theorems},
journal = {Archive of Formal Proofs},
month = jan,
year = 2014,
note = {\url{http://isa-afp.org/entries/Secondary_Sylow.shtml},
Formal proof development},
ISSN = {2150-914x},
}
|
| License: | BSD License |
| Used by: | Jordan_Hoelder |
| Status: [skipped] | This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations. |
|
Proof outline Proof document |
| Browse theories |
| Download this entry |
Older releases:
|