这是一个关于计算机代数系统Magma的问题。我一直在寻找在 SE 网络上提出此类问题的地方，并且向我建议了scicomp.SE ；希望它在这里找到归宿。

假设已经构造了一个多项式代数$A$在戒指上$R$在岩浆。如何构建子$R$- 代数$A$由给定的元素列表生成$A$?

在我看来，这似乎是一个非常基本的操作，所以我不敢相信没有办法做到这一点，但到目前为止我还没有在手册中找到它。（我看到了构造矩阵代数和自同态环的子代数的功能，但不是多项式环。）

编辑 11/3/15：

1) 由于 Magma 的功能可能因戒指而异$R$， 拿$R=\mathbb{Z}$.

2）hardmath 在评论中建议将所需的子环构造为另一个多项式环的商。我认为他的意思是另一个多项式环的地图图像。我尝试在测试用例中实现这一点，如下所示：

A := PolynomialRing(IntegerRing(), 3);
s1 := ElementarySymmetricPolynomial(A,1);
s2 := ElementarySymmetricPolynomial(A,2);
s3 := ElementarySymmetricPolynomial(A,3);
B := PolynomialRing(IntegerRing(),3);
f := hom< B ->A | s1,s2,s3>;
S := Image(f);

Runtime error: No constructor provided for this type of object当 Magma 尝试实施时，我收到一条消息Image(f)。