Characteristic subgroups

DOI10.2478/FORMA-2022-0007MaRDI QIDQ6489403FDOQ6489403

Authors: Alexander M. Nelson 

Publication date: 22 April 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

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

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)

Cites Work

• Mizar: state-of-the-art and beyond
• Title not available (Why is that?)
• Finite group theory.
• Title not available (Why is that?)
• 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)