// Copyright (C) 1998 The New York Group Theory Cooperative
// See magnus/doc/COPYRIGHT for the full notice.
//
// Principal Author: Alexei Myasnikov
//
// Status: in progress
//
// Revision History:
//


Check-in type:		nilpotent group

Objects highlighted:	group G 

Name in the menu:	Is G abelian ?

Problem type:		problem object

Help file:		IsAbelianProblem.help


			     Fast checks:


1. If (the number of generators - the number of relators) > 1, i.e.
   the group contains non-abelian free subgroup 
    	return no;	


			     Algorithms:


1. For the use of this problem
    
2. Compute lower central quotients for G

3. Solve using lower central quotients of G
 
4. Compute a basis of G
  
5. Solve using a basis of G

