Ask Your Question

Locally-Dihedral 2-group

asked 2013-02-14 15:09:54 +0200

Babgen gravatar image

updated 2013-02-14 15:20:39 +0200

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?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2013-02-15 16:59:43 +0200

benjaminfjones gravatar image

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.

edit flag offensive delete link more


I check but I can't find any thing.

Babgen gravatar imageBabgen ( 2013-02-17 01:47:54 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2013-02-14 15:09:54 +0200

Seen: 308 times

Last updated: Feb 15 '13