[marinavzqz]

Hola tengo, esta afirmación
 Cualquier conjunto algebraico $X$ tiene una (única) expresión
\(
X=X_{1} \cup \cdots \cup X_{r} \hspace{1cm}(*)
\)
con \(X_{i}\) irreducibles i \(X_{i} \not \subset X_{j}\) para $\(i \neq j\).
ya he probado la existencia, falta probar la unicidad
Gracias

[Fernando Revilla]

Hola tengo, esta afirmación
 Cualquier conjunto algebraico $X$ tiene una (única) expresión
\(
X=X_{1} \cup \cdots \cup X_{r} \hspace{1cm}(*)
\)
con \(X_{i}\) irreducibles i \(X_{i} \not \subset X_{j}\) para $\(i \neq j\).
ya he probado la existencia, falta probar la unicidad
Gracias

Mira aquí: https://fernandorevilla.es/2018/08/22/descomposicion-un-conjunto-algebraico-en-union-de-irreducibles/ (teorema 7).