Dear Forum, Dear Igor Korepanov,

> suppose  a  is an indeterminate over rationals and I want to create a group 
> consisting of this  a  raised to all integer powers:
> 
> 
> gap> a := Indeterminate( Rationals,"a" );
> a
> gap> g := Group( a );
> #I  default `IsGeneratorsOfMagmaWithInverses' method returns `true' for [ a ]
> <group with 1 generators>
> gap> 
> 
> 
> Now the question: does this mean that I should better do it another way? Or 
> proceed bravely?

The warning here is harmless -- it just means that GAP has not been told that 
this set will fulfill the group axioms and is cautious.
However you will find very little (if any) functionality for the resulting 
group and will probably find it easier to work in the isomorphic
FreeGroup(1)

> 
> Also, is there a way to define the group of all nonzero rationals other than  
> GL(1,Rationals)  ?
This will not work, nor am I aware of any other method. A fundamental issue 
with it is that this is not a finitely generated group.

Best,

   Alexander Hulpke




-- Colorado State University, Department of Mathematics,
Weber Building, 1874 Campus Delivery, Fort Collins, CO 80523-1874, USA
email: hul...@math.colostate.edu, Phone: ++1-970-4914288
http://www.math.colostate.edu/~hulpke




_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum

Reply via email to