Let $k\subseteq k^{\text{'}}$ be a field extension. We give relations between the kernels of higher derivations on $k\left[X\right]$ and $k^{\text{'}}\left[X\right]$, where $k\left[X\right]:=k[x_1,\cdots ,x_n]$ denotes the polynomial ring in $n$ variables over the field $k$. More precisely, let $D={\left\{D_n\right\}}_{n=0}^{\infty }$ a higher $k$-derivation on $k\left[X\right]$ and $D^{\text{'}}={\left\{D_n^{\text{'}}\right\}}_{n=0}^{\infty }$ a higher $k^{\text{'}}$-derivation on $k^{\text{'}}\left[X\right]$ such that $D_m^{\text{'}}\left(x_i\right)=D_m\left(x_i\right)$ for all $m\ge 0$ and $i=1,2,\cdots ,n$. Then (1) $k{\left[X\right]}^D=k$ if and only if $k^{\text{'}}{\left[X\right]}^{D^{\text{'}}}=k^{\text{'}}$; (2) $k{\left[X\right]}^D$ is a finitely generated $k$-algebra if and only if $k^{\text{'}}{\left[X\right]}^{D^{\text{'}}}$ is a finitely generated $k^{\text{'}}$-algebra. Furthermore, we also show that the kernel $k{\left[X\right]}^D$ of a higher derivation $D$ of $k\left[X\right]$ can be generated by a set...

On this paper we compute the numerical function $\beta$ of the approximation theorem of M. Artin for the one-dimensional systems of formal equations.

Given a set $X$ of “indeterminates” and a field $F$, an ideal in the polynomial ring $R=F\left[X\right]$ is called conservative if it contains with any polynomial all of its monomials. The map $S\mapsto RS$ yields an isomorphism between the power set $\text{P}\left(X\right)$ and the complete lattice of all conservative prime ideals of $R$. Moreover, the members of any system $\text{S}\subseteq \text{P}\left(X\right)$ of finite character are in one-to-one correspondence with the conservative prime ideals contained in $P_{\text{S}}=\bigcup \{RS:S\in \text{S}\}$, and the maximal members of $\text{S}$ correspond to the maximal ideals contained in...

Let K be a field, S = K[x 1, … x n] be a polynomial ring in n variables over K and I ⊂ S be an ideal. We give a procedure to compute a prime filtration of S/I. We proceed as in the classical case by constructing an ascending chain of ideals of S starting from I and ending at S. The procedure of this paper is developed and has been implemented in the computer algebra system Singular.