Related papers: Mathieu-Zhao spaces of polynomial rings

Motivated by the Mathieu conjecture [Ma], the image conjecture [Z3] and the well-known Jacobian conjecture [K] (see also [BCW] and [E]), the notion of Mathieu subspaces as a natural generalization of the notion of ideals has been introduced…

Let $F$ be a field. In this note we give a construction for a family of maximal Mathieu subspaces (or Mathieu-Zhao subspaces) of the matrix algebras $M_n(F)$ $(n\ge 2)$. As an application we also give a classification of Mathieu subspaces…

A Mathieu-Zhao subspace is a generalization of an ideal of an associative algebra $\mathcal A$ over a unital ring $R$ first formalized in 2010. A vertex algebra is an algebraic structure first developed in conjunction with string theory in…

Let $K$ be a field of characteristic $p$, $\delta$ a nonzero $\mathcal{E}$-derivation and $D=f(x_1)\partial_1$. We first prove that $\operatorname{Im}D$ is not a Mathieu-Zhao space of $K[x_1]$ if and only if $f(x_1)=x_1^rf_1(x_1^p)$ and…

We classify all Mathieu subspaces of ${\rm Mat}_n(K)$ of codimension less than $n$, under the assumption that ${\rm char\,} K = 0$ or ${\rm char\,} K \ge n$. More precisely, we show that any proper Mathieu subspace of ${\rm Mat}_n(K)$ of…

We first give a characterization for Mathieu subspaces of univariate polynomial algebras over fields in terms of their radicals. We then deduce that for some classes of classical univariate orthogonal polynomials the Image Conjecture is…

In this paper we discuss a general framework in which we present a new conjecture, due to Wenhua Zhao, the Image Conjecture. This conjecture implies the Generalized Vanishing Conjecture and hence the Jacobian Conjecture. Crucial ingredient…

We introduce a notion of Mathieu-Zhao subspaces of vertex algebras. Among other things, we show that for a vertex algebra $V$ and its subspace $M$ that contains $C_2(V)$, $M$ is a Mathieu-Zhao subspace of $V$ if and only if the quotient…

Let D be a domain with quotient field K and A a D-algebra. We call a polynomial with coefficients in K that maps every element of A to an element of A "integer-valued on A". For commutative A we also consider integer-valued polynomials in…

In earlier work, it was established that for any finite field k, the free associative k-algebra on one generator x, denoted by k[x]_0, had infinitely many maximal T-spaces, but exactly two maximal $ideals (each of which is a maximal…

Let K be a field of characteristic zero. We prove that images of a linear K-derivation and a linear K-E-derivation of the ring K[x 1 ,x 2 ,x 3 ] of polynomial in three variables over K are Mathieu-Zhao subspaces, which affirms the LFED…

For a given ideal I in K[x_1,...,x_n,y_1,...,y_m] in a polynomial ring with n+m variables, we want to find all elements that can be written as f-g for some f in K[x_1,...,x_n] and some g in K[y_1,...,y_m], i.e., all elements of I that…

K be a field and let m and n be positive integers, where m does not exceed n. We say that a non-zero subspace of m x n matrices over K is a constant rank r subspace if each non-zero element of the subspace has rank r, where r is a positive…

Let $R=K[x_1,\ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I$ be a polymatroidal ideal of $R$. In this paper, we provide a comprehensive classification of all unmixed polymatroidal ideals. This work…

We consider ideals in the ring $\mathbb{Z}_2[x_1,\ldots, x_n]$ that contain the polynomials $x_i^2 - x_i$ for $i = 1, \ldots, n$ and give various results related to the one-to-one correspondence between these ideals and the subsets of…

Let $V$ be a valuation ring of a global field $K$. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $V$, that is, an element of $\text{Int}(V) = \{ f \in K[X] \mid…

Let $k$ be an infinite field and $I\subset k [x_1, \ldots ,x_n]$ be an ideal such that dim $V(I)=q$. Denote by $(f_1, \ldots, f_s)$ a set of generators of $I$. One can see that in the set $I\cap k [x_{1},...,x_{q+1}]$ there exist non-zero…

We consider complete intersection ideals in a polynomial ring over a field of characteristic zero that are stable under the action of the symmetric group permuting the variables. We determine the possible representation types for these…

We show that the class of completely m-full ideals coincides with the class of componentwise linear ideals in a polynomial ring over an infinite field.

In this paper, we study the notion of special ideals. We generalize the results on those as well as the algorithm obtained for finite dimensional power series rings by Mordechai Katzman and Wenliang Zhang to finite dimensional polynomial…