Let $Z_{2^{\infty}}$ be 2-prufer group. I want to define $G=Z_{2^{\infty}}\ltimes 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?

1 | initial version |

Let $Z_{2^{\infty}}$ be 2-prufer group. I want to define $G=Z_{2^{\infty}}\ltimes 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?

2 | No.2 Revision |

Let ~~$Z_{2^{\infty}}$ ~~$Z_{2^\infty}$ be 2-prufer group. I want to define ~~$G=Z_{2^{\infty}}\ltimes ~~$G=Z_{2^\infty}\ltimes 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?

3 | No.3 Revision |

Let ~~$Z_{2^\infty}$ ~~$Z_{2^{\infty}}$ be 2-prufer group. I want to define ~~$G=Z_{2^\infty}\ltimes b=<a,b|b^2=1,b^{-1}ab=a^{-1}$for $a\in="" a="">$ ~~$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?

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.