MATEMATICAS.NET

Más sobre anillos de conjuntos

Anuncios

Me surgió un problema relativo al carácter del producto cartesiano de anillos de conjuntos. Como no daba con la clave consulté en el estupendo foro del rincón matemático y Tanius fue muy amable al darme un contraejemplo.  Esta es la argumentación que he podido pergeñar:

Sean y anillos sobre e , respectivamente. La clase , ¿es un anillo sobre ?
Todo anillo es semianillo por lo que es claro que es un semianillo y contendrá al vacío y será cerrado para la intersección finita. Sin embargo, no siempre es un anillo como podemos ver mediante un contraejemplo. Sean
,
.
Ambas clases son anillos sobre los naturales. La clase contiene a los conjuntos y . Pero su unión es

Veamos que tal unión no pertenece al producto cartesiano de las clases. Los elementos de son


Pero el conjunto no es ninguno de ellos como el lector puede comprobar. Así pues, el producto cartesiano de anillos (o de álgebras) no es siempre un anillo (o álgebra).

Anuncios