Mathieu subspaces of univariate polynomial algebras (Q2376576): Difference between revisions

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.