Discusión:Semianillo
Sobre los requisitos de (A,·) para formar un semianillo[editar]
El artículo afirma que para que (A,+,·) tenga estructura de semianillo, es necesario que (A,·) sea un monoide con 1 como elemento neutro. No es necesario que sea un monoide; es suficiente con que (A,·) tenga estructura de semigrupo (cumpla la propiedad asociativa). Si, además, (A,·) es un monoide, (A,+,·) es un semianillo con elemento unidad. Y, si además, (A,·) verifica la propiedad conmutativa, entonces (A,+,·) es un semianillo conmutativo unitario.--A.Zabala (discusión) 07:45 17 ene 2021 (UTC)