up previous next
SubalgebraHom

homomorphism into a subalgebra

Syntax
SubalgebraHom(R: RING, L: LIST): RINGHOM

Description
This function returns the homomorphism from R into (a representation of) the subalgebra generated by L .

Example
/**/ use QQ[s,t];
/**/ L := [s^3, s^2*t, s*t^2, t^3];

/**/ ReprRing ::= QQ[x,y,z,w];
/**/ phi := SubalgebraHom(ReprRing, L);
/**/ phi;
RingHom(RingWithID(256, "QQ[x,y,z,w]") --> RingWithID(257, "QQ[s,t]")
  sending (x |--> s^3) & (y |--> s^2*t) & (z |--> s*t^2) & (w |--> t^3))

/**/ ker(phi);  --> implicitization
ideal(z^2 -y*w,  y*z -x*w,  y^2 -x*z)

/**/ SubalgRepr := preimage0(phi, s^6*t^6);  SubalgRepr;
x^2*w^2
/**/ phi(SubalgRepr);
s^6*t^6

See Also