证明了域上有限维半单代数的每一个非零理想由唯一的中心幂等元生成。

• It is proved that every nonzero ideal in a finite-dimensional semi-simple algebra over a field is generated by an unique central idempotent.