Moreover, since the subalgebras do not share any nonzero elements, any other ideal of A must be contained in the subalgebras. We thus have

Theorem) If A is the direct sum of algebras, then each component
(or the direct sum of several components) is an ideal of A. Furthermore, any other ideal of A is contained entirely in one of the components.


직접합을 이루는 서로다른 성분들이 교집합이 영벡터란 거로부터 어떻게 임의 아이디얼이 성분들 중 하나에 속한단걸 알수있음??