We recall that an ideal
is a subalgebra such that
. A simple algebra has no non-trivial ideals.