# 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?

intersection of subgroups

add a comment

0

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.

Asked: **
2010-12-12 04:11:21 -0500
**

Seen: **462 times**

Last updated: **Dec 15 '10**

get multiplicative subgroup of Z/nZ

Orbits on group actions acting on sets

How to iterate through finite groups

Group actions (e.g. on simplicial complexes, sets of tuples etc.)

Generating all elements of $SL_2(\mathbb{F}_q)$

How to treat a vector space as a group?

Multivariable equation in multiplicative group Z_p

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.