Ask Your Question
0

Locally-Dihedral 2-group

asked 2013-02-14 08:09:54 -0600

Babgen gravatar image

updated 2013-02-14 08:20:39 -0600

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
0

answered 2013-02-15 09:59:43 -0600

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

Comments

I check but I can't find any thing.

Babgen gravatar imageBabgen ( 2013-02-16 18:47:54 -0600 )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

Stats

Asked: 2013-02-14 08:09:54 -0600

Seen: 59 times

Last updated: Feb 15 '13