I want to check whether a given group $G$ has a subgroup isomorphic to $Q_8$. What should be the SAGE command for this? I am aware of the command "H.is_subgroup(G)". Does it check whether $H$ is contained in $G$ or $H$ is isomorphic to a subgroup in $G$?
Revision history [back]
 | 1 | initial version |
How to check whether a given group contains a subgroup isomorphic to Quaternion group
| | 2 | retagged |
How to check whether a given group contains a subgroup isomorphic to Quaternion group
I want to check whether a given group $G$ has a subgroup isomorphic to $Q_8$. What should be the SAGE command for this? I am aware of the command "H.is_subgroup(G)". Does it check whether $H$ is contained in $G$ or $H$ is isomorphic to a subgroup in $G$?
