I'm currently studying commutative algebra/algebraic geometry out of Cox Little and O'Shea's Ideal Varieties and Algorithms, and linear algebra out of Steven Roman's Advanced Linear Algebra. In Roman, I'm learning about modules, and I have a question about the relationship between these two fields.(adsbygoogle = window.adsbygoogle || []).push({});

An ideal is exactly a submodule of F[x_{1}, ..., x_{n}] as a module over itself. We know that an ideal over this set exactly determines a subset of the affine space F^{n}. On the other hand, affine subsets of F^{n}defineradicalideals of F[x,y] which are in turn submodules.

Now outwardly, the property of being radical depends on the multiplicative structure of the ideal, which the corresponding submodule doesn't have. My question is whether the property of being radical dependsinnatelyon that multiplicative structure. Do submodules corresponding to radical ideals have any identifiable properties even without recognizing their multiplicative structure?

(Wikipedia tells me that there is such a thing as a radical submodule, but I don't think it's what I'm looking for.)

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Radical ideals and submodules

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

**Physics Forums | Science Articles, Homework Help, Discussion**