‣ KernelSubobject( phi ) | ( attribute ) |
Returns: a homalg submodule
The kernel ideal of the ring map phi.
‣ KernelEmb( phi ) | ( attribute ) |
Returns: a homalg map
The embedding of the kernel ideal Kernel(phi) into the Source(phi), both viewed as modules over the ring R :=Source(phi) (cf. Kernel (4.2-1)).
‣ Kernel( phi ) | ( method ) |
Returns: a homalg module
The kernel ideal of the ring map phi as an abstract module.
generated by GAPDoc2HTML