Characteristic subgroups

DOI10.2478/FORMA-2022-0007MaRDI QIDQ6489403zbMATH OpenFDO

Authors Alexander M. Nelson

Publication date 22 April 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

zbMATH Keywords

group theorycharacteristic subgroupsinner automorphisms

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Chains and lattices of subgroups, subnormal subgroups (20E15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• On the subcentral automorphisms of finite groups
• scientific article; zbMATH DE number 822145
• Subcentral automorphisms.
• On the coset preserving subcentral automorphisms of finite groups
• CHARACTERISTIC FUZZY GROUPS

Cites work

• scientific article; zbMATH DE number 3724683 (Why is no real title available?)
• scientific article; zbMATH DE number 1970438 (Why is no real title available?)
• Finite group theory.
• Mizar: state-of-the-art and beyond
• The role of the Mizar mathematical library for interactive proof development in Mizar

This page was built for publication: Characteristic subgroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489403)