Ask Your Question
0

Locally-Dihedral 2-group

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

Babgen gravatar image

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

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 16:59:43 +0100

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-17 01:47:54 +0100 )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 15:09:54 +0100

Seen: 655 times

Last updated: Feb 15 '13