The Morphism Game

Find a morphism between two groups. This script can only work with groups of order 24 or less. If the group you select has a larger order, a smaller group will be selected for you. We use the term morphoid for functions that potentially could be morphisms. When you submit your morphoid, scroll down to your results by clicking here.

First, select the groups you want to work with.
Domain Family of groups: Additive group of integers mod m Mult. group of integer units mod m m'th dihedral group m'th symmetric group Direct Product: Z[m]xZ[m] Direct Product: Z[m]xZ[m+1] Index: _	Codomain Family of groups: Additive group of integers mod m Mult. group of integer units mod m m'th dihedral group m'th symmetric group Direct Product: Z[m]xZ[m] Direct Product: Z[m]xZ[m+1] Direct Product: Z[m]xZ[m+2] Index: _

Second, click on this button to set up the input form:

• Domain:
  
• Codomain:

Third, define your "morphoid" here.

Important: All of the images below have to be in . Otherwise, this script will not evaluate properly.

f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) =

f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) = f( _ ) =

Fourth, click on this button to check your morphoid.

_
If[OK, Here's your morphoid:, Try again] Make sure all of the images are in the codomain	_ _

Ken Levasseur
Mathematical Sciences
UMass Lowell
Kenneth_Levasseur@uml.edu
Ken's WebMathematica Scripts