Locally-Dihedral 2-group
Let Z2∞ be 2-prufer group. I want to define G=Z2∞semi-direct b =<a,b|b2=1,b−1ab=a−1, for a ∈A> in sage. I think this is possible in GAP but I don't know how to define?
Let Z2∞ be 2-prufer group. I want to define G=Z2∞semi-direct b =<a,b|b2=1,b−1ab=a−1, for a ∈A> in sage. I think this is possible in GAP but I don't know how to define?
If you can construct your "2-prufer" group somehow (as a permutation group, as a finitely presented group, etc..) there are functions for forming semi-direct products. Check out the group theory part of the Sage manual.
I check but I can't find any thing.
Asked: 12 years ago
Seen: 819 times
Last updated: Feb 15 '13