// 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:		abelian group

Objects highlighted:	homomorphism h

Other objects present:  domain - abelian group A1, range - abelian group A2

Name in the menu:	Is h a monomorphism ?

Problem type:		problem object

Help file:		AbelianHomIsMono.help


			     Algorithms:


1. Compute abelian invariants of A1

   Links:

        Click here to see the generators of the canonical decomposition of A1

2. Compute abelian invariants of A2

   Links:

        Click here to see the generators of the canonical decomposition of A2

3. For the use of this problem
