Let $Z_{2^{\infty}}$ be 2-prufer group. I want to define $G=Z_{2^{\infty}}$semi-direct $ b$ =$<$$a$$,b|b^2=1,b^{-1}ab=a^{-1} $, for $a$ $\in 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.
Asked: 2013-02-14 15:09:54 +0100
Seen: 685 times
Last updated: Feb 15 '13
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.
