Module Presentations
Functors a functor The argument is a homalg ring R. The output is a functor which takes a left presentation as input and computes its standard presentation. a functor The argument is a homalg ring R. The output is a functor which takes a right presentation as input and computes its standard presentation. a functor The argument is a homalg ring R. The output is a functor which takes a left presentation as input and gets rid of the zero generators. a functor The argument is a homalg ring R. The output is a functor which takes a right presentation as input and gets rid of the zero generators. a functor The argument is a homalg ring R. The output is functor which takes a left presentation as input and computes a presentation having less generators. a functor The argument is a homalg ring R. The output is functor which takes a right presentation as input and computes a presentation having less generators. a functor The argument is a homalg ring R that has an involution function. The output is functor which takes a left presentation M as input and computes its Hom(M, R) as a left presentation. a functor The argument is a homalg ring R that has an involution function. The output is functor which takes a right presentation M as input and computes its Hom(M, R) as a right presentation. a functor The argument is a homalg ring R that has an involution function. The output is functor which takes a left presentation M as input and computes its Hom( Hom(M, R), R ) as a left presentation. a functor The argument is a homalg ring R that has an involution function. The output is functor which takes a right presentation M as input and computes its Hom( Hom(M, R), R ) as a right presentation.
GAP Categories true or false The GAP category of morphisms in the category of left or right presentations. true or false The GAP category of morphisms in the category of left presentations. true or false The GAP category of morphisms in the category of right presentations. true or false The GAP category of objects in the category of left presentations or right presentations. true or false The GAP category of objects in the category of left presentations. true or false The GAP category of objects in the category of right presentations.
Constructors a morphism in \mathrm{Hom}(A,B) The arguments are an object A, a homalg matrix M, and another object B. A and B shall either both be objects in the category of left presentations or both be objects in the category of right presentations. The output is a morphism A \rightarrow B in the the category of left or right presentations whose underlying matrix is given by M. a morphism in \mathrm{Hom}(F^r,F^c) The argument is a homalg matrix m. The output is a morphism F^r \rightarrow F^c in the the category of left presentations whose underlying matrix is given by m, where F^r and F^c are free left presentations of ranks given by the number of rows and columns of m. a morphism in \mathrm{Hom}(F^c,F^r) The argument is a homalg matrix m. The output is a morphism F^c \rightarrow F^r in the the category of right presentations whose underlying matrix is given by m, where F^r and F^c are free right presentations of ranks given by the number of rows and columns of m. an object The argument is a homalg matrix M over a ring R. The output is an object in the category of left presentations over R. This object has M as its underlying matrix. an object The argument is a homalg matrix M over a ring R. The output is an object in the category of right presentations over R. This object has M as its underlying matrix. an object The arguments are a homalg matrix M and a boolean l. If l is true, the output is an object in the category of left presentations. If l is false, the output is an object in the category of right presentations. In both cases, the underlying matrix of the result is M. an object The arguments are a non-negative integer r and a homalg ring R. The output is an object in the category of left presentations over R. It is represented by the 0 \times r matrix and thus it is free of rank r. an object The arguments are a non-negative integer r and a homalg ring R. The output is an object in the category of right presentations over R. It is represented by the r \times 0 matrix and thus it is free of rank r. a homalg matrix The argument is an object A in the category of left or right presentations over a homalg ring R. The output is the underlying matrix which presents A. a homalg ring The argument is an object A in the category of left or right presentations over a homalg ring R. The output is R. a morphism in \mathrm{Hom}(I, F) The argument is an object A in the category of left or right presentations. The output is the embedding of the annihilator I of A into the free module F of rank 1. In particular, the annihilator itself is seen as a left or right presentation. a category The argument is a homalg ring R. The output is the category of left presentations over R, constructed internally as the `FreydCategory` of the `CategoryOfRows` of R. Only available if the package `FreydCategoriesForCAP` is available. a category The argument is a homalg ring R. The output is the category of right presentations over R, constructed internally as the `FreydCategory` of the `CategoryOfColumns` of R. Only available if the package `FreydCategoriesForCAP` is available. a category The argument is a homalg ring R. The output is the category of left presentations over R. a category The argument is a homalg ring R. The output is the category of right presentations over R.
Attributes a homalg ring The argument is a morphism \alpha in the category of left or right presentations over a homalg ring R. The output is R. a homalg matrix The argument is a morphism \alpha in the category of left or right presentations. The output is its underlying homalg matrix.
Non-Categorical Operations a morphism in \mathrm{Hom}(F, A) The argument is an object A in the category of left or right presentations over a homalg ring R with underlying matrix M and an integer i. The output is a morphism F \rightarrow A given by the i-th row or column of M, where F is a free left or right presentation of rank 1. a morphism in \mathrm{Hom}(F,A) The argument is an object A in the category of left or right presentations. The output is a morphism from a free module F to A, which maps the standard generators of the free module to the generators of A.
Natural Transformations a natural transformation \mathrm{Id} \rightarrow \mathrm{StandardModuleLeft} The argument is a homalg ring R. The output is the natural isomorphism from the identity functor to the left standard module functor. a natural transformation \mathrm{Id} \rightarrow \mathrm{StandardModuleRight} The argument is a homalg ring R. The output is the natural isomorphism from the identity functor to the right standard module functor. a natural transformation \mathrm{Id} \rightarrow \mathrm{GetRidOfZeroGeneratorsLeft} The argument is a homalg ring R. The output is the natural isomorphism from the identity functor to the functor that gets rid of zero generators of left modules. a natural transformation \mathrm{Id} \rightarrow \mathrm{GetRidOfZeroGeneratorsRight} The argument is a homalg ring R. The output is the natural isomorphism from the identity functor to the functor that gets rid of zero generators of right modules. a natural transformation \mathrm{Id} \rightarrow \mathrm{LessGeneratorsLeft} The argument is a homalg ring R. The output is the natural morphism from the identity functor to the left less generators functor. a natural transformation \mathrm{Id} \rightarrow \mathrm{LessGeneratorsRight} The argument is a homalg ring R. The output is the natural morphism from the identity functor to the right less generator functor. a natural transformation \mathrm{Id} \rightarrow \mathrm{FunctorDoubleDualLeft} The argument is a homalg ring R. The output is the natural morphism from the identity functor to the double dual functor in left Presentations category. a natural transformation \mathrm{Id} \rightarrow \mathrm{FunctorDoubleDualRight} The argument is a homalg ring R. The output is the natural morphism from the identity functor to the double dual functor in right Presentations category.