intersection of subgroups
I have a group and I'd like to compute the intersection of 2 certain subgroups. How can I compute the intersection in Sage?
I have a group and I'd like to compute the intersection of 2 certain subgroups. How can I compute the intersection in Sage?
I don't think there is an automatic way to do this. If your groups are finite, something like the following might be enough:
sage: G = SymmetricGroup(4)
sage: H = G.subgroup([G([(1,2),(3,4)]),G((1,2))])
sage: K = G.subgroup([G((1,3,2,4))])
sage: for k in K:
if k in H:
print k
()
(1,2)(3,4)
Using a list comprehension does the same thing as the for loop above; you can feed this directly to the subgroup function to get the corresponding subgroup:
sage: G.subgroup([k for k in K if k in H])
Subgroup of SymmetricGroup(4) generated by [(), (1,2)(3,4)]
If your subgroups are countably infinite and the intersection is finite, then maybe some modified version of this will work. Otherwise you may have to be more clever.
Please start posting anonymously - your entry will be published after you log in or create a new account.
Asked: 2010-12-12 11:11:21 +0100
Seen: 907 times
Last updated: Dec 15 '10
Iterator for conjugacy classes of Sn
Is it possible to run over the isomorphism classes of groups?
specific representation for groups inheriting from Sage's Group class
Working with multiplicative groups
Permutation Representations and the Modular Group