On 2013-01-14, Pierre Guillot <pierre.guil...@gmail.com> wrote:
> partially answering my own question: for the "lame but easy method",
> one can do the following. Having a putative group H, try:
>
> for x in [g for g in G.Centre().Elements() if g.Order() == 2]:
> Q= G.FactorGroupNC( G.Subgroup([ x ]) ) # no idea why NC
NC is GAP's names suffix indicating something like "do not check the
property", potentially speeding up things quite a bit.
> if Q.IdGroup() == what you want
> return True
>
> ... or something.
>
> 2013/1/14 Pierre <pierre.guil...@gmail.com>:
>> Thanks, I thought about this, but I'm not sure how to pick central elements
>> of order 2 in a group, or more precisely in a group that is given by
>> gap("SmallGroup(n,i)"). I can try C= G.centre() and then get C.generators()
>> but i'm not sure if I can assume anything about these generators (I doubt
>> that they generate cyclic subgroups whose *direct* product is C).
>>
>> Am I missing something easy?
>>
>> Le lundi 14 janvier 2013 13:35:05 UTC+1, Volker Braun a écrit :
>>>
>>> Lame but easy method: Go though all groups with 2*G.Size() elements and
>>> pick out the ones you want.
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "sage-support" group.
>> To post to this group, send email to sage-support@googlegroups.com.
>> To unsubscribe from this group, send email to
>> sage-support+unsubscr...@googlegroups.com.
>> Visit this group at http://groups.google.com/group/sage-support?hl=en.
>>
>>
>
>
>
> --
> Pierre
> 06 06 40 72 28
>
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.
