ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sat, 16 Feb 2013 18:47:54 -0600Locally-Dihedral 2-grouphttp://ask.sagemath.org/question/9409/locally-dihedral-2-group/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?Thu, 14 Feb 2013 08:09:54 -0600http://ask.sagemath.org/question/9409/locally-dihedral-2-group/Answer by benjaminfjones for <p>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?</p>
http://ask.sagemath.org/question/9409/locally-dihedral-2-group/?answer=14549#post-id-14549If 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.Fri, 15 Feb 2013 09:59:43 -0600http://ask.sagemath.org/question/9409/locally-dihedral-2-group/?answer=14549#post-id-14549Comment by Babgen for <p>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.</p>
http://ask.sagemath.org/question/9409/locally-dihedral-2-group/?comment=18220#post-id-18220I check but I can't find any thing.Sat, 16 Feb 2013 18:47:54 -0600http://ask.sagemath.org/question/9409/locally-dihedral-2-group/?comment=18220#post-id-18220