S公司次要的S公司伊洛T型神灵

雅各布·冯·劳默 📧

2014年1月28日

摘要

这些理论扩展了第一Sylow定理的现有证明（由Florian Kammueller和L.C.Paulson撰写）称为第二、第三和第四Sylow定理。这些定理关于群的Sylow p-子群个数的状态命题以及它们相互共轭的事实。证据使使用组操作及其属性的实现。

许可证

许可协议

话题

会话Secondary_Sylow

使用者

引用

× 
@文章{Secondary_Sylow-AFP，author={Jakob von Raumer}，title={次要Sylow定理}，journal={正式证据存档}，月={1月}，年份={2014}，注释=｛\url{https://isa-afp.org/entries/Secondary_Sylow.html},形式证明发展}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：