IsRingGeneralMapping( mapp ) P
IsRingHomomorphism( mapp ) P
IsRingWithOneGeneralMapping( mapp ) P
IsRingWithOneHomomorphism( mapp ) P
IsAlgebraGeneralMapping( mapp ) P
IsAlgebraHomomorphism( mapp ) P
IsAlgebraWithOneGeneralMapping( mapp ) P
IsAlgebraWithOneHomomorphism( mapp ) P
IsFieldHomomorphism( mapp ) P
A general mapping is a field homomorphism if and only if it is a ring homomorphism with source a field.
[Top] [Previous] [Up] [Next] [Index]
GAP 4 manual