Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

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

563574 views
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