‣ FpGradedLeftModules( S ) | ( attribute ) |
Returns: a CapCategory
Given a graded ring S, one can consider the category of f.p. graded left \(S\)-modules, which is captured by this attribute.
‣ FpGradedRightModules( S ) | ( attribute ) |
Returns: a CapCategory
Given a graded ring S, one can consider the category of f.p. graded right \(S\)-modules, which is captured by this attribute.
‣ IsFpGradedLeftOrRightModulesObject( object ) | ( filter ) |
Returns: true or false
The GAP category of graded left and right module presentations.
‣ IsFpGradedLeftModulesObject( object ) | ( filter ) |
Returns: true or false
The GAP category of objects in the presentation category over the category of projective graded left modules.
‣ IsFpGradedRightModulesObject( object ) | ( filter ) |
Returns: true or false
The GAP category of objects in the presentation category over the category of projective graded right modules.
‣ IsFpGradedLeftOrRightModulesMorphism( object ) | ( filter ) |
Returns: true or false
The GAP category of left or right module presentation morphisms
‣ IsFpGradedLeftModulesMorphism( object ) | ( filter ) |
Returns: true or false
The GAP category of morphisms in the presentation category over the category of projective graded left modules.
‣ IsFpGradedRightModulesMorphism( object ) | ( filter ) |
Returns: true or false
The GAP category of morphisms in the presentation category over the category of projective graded right modules.
generated by GAPDoc2HTML