GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

1
  
2
  4 Ring Maps
3
  
4
  
5
  4.1 Ring Maps: Attributes
6
  
7
  4.1-1 KernelSubobject
8
  
9
  KernelSubobject( phi )  attribute
10
  Returns:  a homalg submodule
11
  
12
  The kernel ideal of the ring map phi.
13
  
14
  4.1-2 KernelEmb
15
  
16
  KernelEmb( phi )  attribute
17
  Returns:  a homalg map
18
  
19
  The  embedding  of  the  kernel ideal Kernel(phi) into the Source(phi), both
20
  viewed as modules over the ring R :=Source(phi) (cf. Kernel (4.2-1)).
21
  
22
  
23
  4.2 Ring Maps: Operations and Functions
24
  
25
  4.2-1 Kernel
26
  
27
  Kernel( phi )  method
28
  Returns:  a homalg module
29
  
30
  The kernel ideal of the ring map phi as an abstract module.
31
  
32

33