Semidirect products of groups

DOI10.2478/FORMA-2025-0006MaRDI QIDQ6840590zbMATH OpenFDO

Authors Alexander M. Nelson

Publication date 23 March 2026

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.2478/FORMA-2025-0006

zbMATH Keywords

dihedral groupsemidirect productsubgroup complement

Mathematics Subject Classification ID

Products of subgroups of abstract finite groups (20D40) Extensions, wreath products, and other compositions of groups (20E22) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Semidirect products of groups

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