Mathieu subspaces of univariate polynomial algebras (Q2376576): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: A. R. P. van den Essen / rank | |||
Property / reviewed by | |||
Property / reviewed by: Tadeusz Krasiński / rank | |||
Revision as of 18:44, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Mathieu subspaces of univariate polynomial algebras |
scientific article |
Statements
Mathieu subspaces of univariate polynomial algebras (English)
0 references
24 June 2013
0 references
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.
0 references
Jacobian conjecture
0 references
Mathieu subspace
0 references
ideal
0 references
radical
0 references