> < ^ Date: Thu, 18 Mar 1993 18:21:25 +0100
> < ^ From: Martin Schoenert <martin.schoenert@math.rwth-aachen.de >
< ^ Subject: Re: ? Bug in ElementProperty ?
Ansgar Kaup asks in his e-mail message of 1993/03/18:
    I gave the following GAP-Commands :
gap> a:=(1,2)(3,5)(4,6)(7,10);;
gap> b:=(2,3,4)(5,7,8)(6,9,10);;
gap> G:=Group(a,b);;
gap> PermGroupOps.ElementProperty(G,g->a^g=a);
()

I think that the command PermGroupOps.ElementProperty should have returned
one of the two generators of C [the centralizer of a]
or at least a product of them.
Is there an Error or do I make anything wrong ?

You get what you ask for. You want an element that centralizes 'a', you
get one. Not only that. In fact you even get the *smallest* such
element (but this is not guaranteed). Maybe you want to rewrite your
test as 'g->a^g=a and g <> ()'?.

Martin.

-- .- .-. - .. -.  .-.. --- ...- . ...  .- -. -. .. -.- .-
Martin Sch"onert,   Martin.Schoenert@Math.RWTH-Aachen.DE,  +49 241 804551
Lehrstuhl D f"ur Mathematik, Templergraben 64, RWTH, D 51 Aachen, Germany

> < [top]