The invariance of the ideal \(\text{core}(a_1,\dots,a_n)\) of a set of homogeneous polynomials (Q1387729)

Let \(R\) be a commutative ring with unity, \(R[x_1,\dots,x_m]\) be the ring of polynomials over \(R\) and \(a_1,\dots,a_n\) be a system of homogeneous polynomials from \(R[x_1,\dots,x_m]\). It is proved that \(\text{core}(a_1,\dots,a_n)\) [for a definition see \textit{D. Kirby}, Math. Proc. Camb. Philos. Soc. 124, No. 1, 81-96 (1998; Zbl 0909.18007)] is invariant with respect to an invertible linear change of variables \(x_1,\dots,x_m\). Besides, it is shown that if the ideal \(I(a_1,\dots,a_n)\) contains an ideal \(I(b_1,\dots,b_p)\), then \(\text{core}(a_1,\dots,a_n)\supseteq\text{core}(b_1,\dots,b_p)\); here \(I(a_1,\dots,a_n)\) and \(I(b_1,\dots,b_p)\) are ideals generated by \(a_1,\dots,a_n\) and \(b_1,\dots,b_p\), respectively.