En álgebra , un anillo seminormal es un anillo conmutativo reducido en el que, siempre que x , y satisfacen , existe s con y . Esta definición fue dada por Swan (1980) como una simplificación de la definición original de Traverso (1970). 
Un ejemplo básico es un dominio integralmente cerrado , es decir, un anillo normal. Para un ejemplo que no es normal, se puede considerar el anillo no integral o el anillo de una curva nodal .
En general, se puede decir que un esquema reducido es seminormal si cada morfismo que induce un homeomorfismo de espacios topológicos , y un isomorfismo en todos los campos de residuos , es un isomorfismo de esquemas.
Se dice que un semigrupo es seminormal si su álgebra de semigrupo es seminormal.
Referencias
- Swan, Richard G. (1980), "Sobre la seminormalidad", Journal of Algebra , 67 (1): 210–229, doi : 10.1016/0021-8693(80)90318-X , ISSN 0021-8693, MR 0595029
- Traverso, Carlo (1970), "Seminormalidad y grupo Picard", Ann. Norma de la escuela. Sorber. Pisa (3) , 24 : 585–595, SEÑOR 0277542
- Vitulli, Marie A. (2011), "Normalidad débil y seminormalidad" (PDF) , Álgebra conmutativa: perspectivas noetherianas y no noetherianas , Berlín, Nueva York: Springer-Verlag , págs. 441–480, arXiv : 0906.3334 , doi :10.1007/978-1-4419-6990-3_17, ISBN 978-1-4419-6989-7, Sr. 2762521
- Charles Weibel , El libro K: Una introducción a la teoría K algebraica
![{\displaystyle \mathbb {Z}[x,y]/xy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2234f6c055e705d1642f63944f62e6b8b9aefa7a)
