I want to check whether a given group G has a subgroup isomorphic to Q8. 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?
I want to check whether a given group G has a subgroup isomorphic to Q8. 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?
I want to check whether a given group G has a subgroup isomorphic to Q8. 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?