Deje R ser un unital asociativa anillo y
R=A\oplus B,
donde A es un dos caras ideal de R B es un derecho ideal de R. De lo anterior se sigue que el B es un dos caras ideal de R?
Me siento como la respuesta debe ser sí. Decir que me tome un arbitrario (r,s)\in R, necesito mostrar que (r,s)b\in B todos los b\in B. Pero un elemento de B sólo puede ser escrito como (0,b) algunos b\in R, por lo que
(r,s), (0,b)=(0,sb)\en B.
Me siento como que me falta algo y que no es tan sencillo, ya que no estoy usando el hecho de que R es unital a todos. Lo que me estoy perdiendo aquí?