ApCoCoA-1:NCo.KernelOfHomomorphism

From ApCoCoAWiki
Revision as of 16:26, 2 October 2020 by AndraschkoBot (talk | contribs) (Bot: Category moved)

NCo.KernelOfHomomorphism

The kernel of an algebra homomorphism.

Syntax

Description

Proposition (Kernel of an Algebra Homomorphism): Let I be a two-sided ideal in the free monoid ring K<x_1,...,x_n>, and let J be a two-sided ideal in the free monoid ring K<y_1,...,y_m>. Moreover, let g_1,...,g_m be polynomials in K<x_1,...,x_n>, and let phi: K<y_1,...,y_m>/J-->K<x_1,...,x_n>/I be a homomorphism of K-algebras defined by phi(y_i+J)=g_i+I for i=1,...,m. We form the free monoid ring K<x_1,...,x_n,y_1,...,y_m>, and let D be the diagonal ideal generated by the set {y_1-g_1,...,y_m-g_m}. Then we have ker(phi)=((D+J) intersets K<y_1,...,y_m>)+I.

Example

-- Group ring Q&lt;a,b&gt;/&lt;F11,F12,F13&gt; with the triangle group of order 576
F11:=[[1,<quotes>aa</quotes>], [-1,<quotes></quotes>]];
F12:=[[1,<quotes>bbb</quotes>], [-1,<quotes></quotes>]];
F13:=[[1,<quotes>abababbabbabababbabb</quotes>], [-1,<quotes></quotes>]];
-- Group ring Q&lt;x,y,X,Y&gt;/&lt;F21,F22,F23,F24,F25,F26&gt; with the fundamental group of 3-manifold of order 72
F21:=[[1,<quotes>xxx</quotes>],[1,<quotes>yyy</quotes>]]; --x^3=y^3
F22:=[[1,<quotes>xxx</quotes>],[-1,<quotes>yXyX</quotes>]]; --x^3p=(yx^-1)^2
F23:=[[1,<quotes>Xx</quotes>],[-1,<quotes></quotes>]];
F24:=[[1,<quotes>xX</quotes>],[-1,<quotes>Xx</quotes>]];
F25:=[[1,<quotes>Yy</quotes>],[-1,<quotes></quotes>]];
F26:=[[1,<quotes>yY</quotes>],[-1,<quotes>Yy</quotes>]];
-- Q-group algebra homomorphism phi: Q&lt;a,b&gt;/&lt;F11,F12,F13&gt; --&gt;Q&lt;x,y,X,Y&gt;/&lt;F21,F22,F23,F24,F25,F26&gt; 
-- defined by mapping a to x2+1 and b to 0
D1:=[[1,<quotes>a</quotes>],[-1,<quotes>x</quotes>]]; -- map a to x
D2:=[[1,<quotes>b</quotes>]]; -- map b to 0
G:=[D1,D2,F21,F22,F23,F24,F25,F26];
NCo.SetX(<quotes>xyXYab</quotes>);
NCo.SetOrdering(<quotes>ELIM</quotes>); -- we want to eliminate x,y,X and Y
Gb:=NCo.ReducedGB(G);
KGb:=NCo.FindPolynomials(<quotes>ab</quotes>,Gb);
Concat(KGb,[F11,F12,F13]); -- a generating system of the ker(phi)

[[[1, <quotes>b</quotes>]], [[1, <quotes>aaaaaaaaaaaaaaaaaa</quotes>], [-1, <quotes></quotes>]], [[1, <quotes>aa</quotes>], [-1, <quotes></quotes>]], [[1, <quotes>bbb</quotes>], [-1, <quotes></quotes>]], 
[[1, <quotes>abababbabbabababbabb</quotes>], [-1, <quotes></quotes>]]]
-------------------------------

Corollary (Minimal Polynomial): Let phi: K[y]-->K<X>/I be a K-algebra homomorphism given by phi(y)=g+I. Then g+I is algebraic over K if and only if ker(phi) is not zero. Moreover, if g+I is algebraic over K, then the unique monic generating polynomial of the ideal ker(phi) is the minimal polynomial of g+I over K.

Example

-- The following example shows that a is transcendental over Q in the algebra Q&lt;a,b&gt;/&lt;b^2-1,(ab)^2-1&gt;,
-- hence the group &lt;a,b: b^2=(ab)^2=1&gt; is infinite.
F1:=[[1,"bb"],[-1,""]]; -- b^2-1
F2:=[[1,"abab"],[-1,""]]; -- (ab)^2-1
-- Construct a Q-algebra homomorphism phi: Q[y]--&gt; Q&lt;a,b&gt;/&lt;b^2-1,(ab)^2-1&gt;
-- defined by mapping y to a
D:=[[1,"y"],[-1,"a"]]; -- y-a
G:=[D,F1,F2];
NCo.SetX("aby");
NCo.SetOrdering("ELIM"); -- we want to eliminate a and b
Gb:=NCo.GB(G);
Gb;
NCo.FindPolynomials("y",Gb);

[[[1, "a"], [-1, "y"]], [[1, "bb"], [-1, ""]], [[1, "yby"], [-1, "b"]]]
-------------------------------
[ ]
-------------------------------
-- The following example computes the order of bab in the group &lt;a,b: a^3=b^2=(ab)^2=1&gt;.
G1:=[[1,"aaa"],[-1,""]]; -- a^3-1
G2:=[[1,"bb"],[-1,""]]; -- b^2-1
G3:=[[1,"abab"],[-1,""]]; -- (ab)^2-1
-- Construct a Q-algebra homomorphism phi: Q[y]--&gt; Q&lt;a,b&gt;/&lt;a^3-1,b^2-1,(ab)^2-1&gt;
-- defined by mapping y to bab
D:=[[1,"y"],[-1,"bab"]]; -- y-bab
G:=[D,G1,G2,G3];
NCo.SetX("aby");
NCo.SetOrdering("ELIM"); -- we want to eliminate a and b
Gb:=NCo.GB(G);
NCo.FindPolynomials("y",Gb);

[[[1, "yyy"], [-1, ""]]] -- thus the order of bab is 3
-------------------------------


See also

NCo.FindPolynomials

NCo.GB

NCo.SetOrdering

NCo.SetX

Introduction to CoCoAServer