Mathieu subspaces of univariate polynomial algebras

From MaRDI portal
Publication:2376576



Abstract: 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 true. We also prove two special cases of the one-dimensional Image Conjecture for univariate polynomial algebras A[t] over commutative BbbQ-algebras A.


Let \(k\) be a commutative ring with unity and \(A\) a commutative \(k\)-algebra. For any subset \(V\subset A\) the authors introduce several notions of radicals of \(V,\) generalizing the ordinary notion of the radical of an ideal: 1. radical \(r(V):=\{a\in A:\exists _{N}\forall _{n>N}\;a^{n}\in V\},\) 2. strong radical \(sr(V):=\{a\in A:\forall _{b\in A}\exists _{N}\forall _{n>N}\;ba^{n}\in V\},\) 3. idealistic radical \(ir(V):=\{a\in A:\exists _{N}\;Aa^{N}\subset V\}.\) A subset \(V\subset A\) is called a Mathieu subspace of \(A\) if \(r(V)=sr(V).\) It generalizes the ordinary notion of an ideal because any ideal of \(A\) is a Mathieu subspace of \(A\). The authors characterize the Mathieu subspace of \( A=k[t],\) where \(k\) is a field and \(V\) is a \(k\)-subspace of \(A.\) They prove in this case: 1. \(sr(V)=ir(V)=r(I_{V}),\) where \(I_{V}\) is the largest ideal of \(A\) contained in \(V,\) 2. \(V\) is a Mathieu subspace of \(A\) if and only if \(r(V)=r(I_{V}).\) They use this to obtain some new results concerning several conjectures posed by the second author and related to the notion of Mathieu subspaces: the Integral Conjecture, the Image Conjecture and others.











This page was built for publication: Mathieu subspaces of univariate polynomial algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376576)