what does it mean, if you say, that the class of $\prod U_i$ in $R$ is an invariant of a module, where the $U_i$ are ideals in a ring $R$. I cannot find a definition. Thanks for help
Does anyone knows this definition? (class is an ivariant)
1
$\begingroup$
abstract-algebra
ring-theory
-
1Refer to the topic in the title please. – 2012-06-14
1 Answers
0
Something being an invariant of a module $M$ usually (and from a quick look also in this article) means that this object does not change if you take a different module $N$ isomorphic to $M$.
This article concerns a category where the Krull-Remak-Schmidt property does not hold, i.e. it could be that $M\cong \sum_{i=1}^n (\overline{\theta}-\theta))^{s_i}U_iR\cong \sum_{i=1}^n (\overline{\theta}-\theta))^{s_i}V_iR$, but $U_i\ncong V_i$. However, the lemma shows that $\prod U_i\cong \prod V_i$.