习题 1, § 3

令 $\Delta$ 为可交换幺半群，用 0 表示单位元素相加，所有元素都是*可消去*。令 E 为型 $\Delta$ 的分级 A-代数，并假设 E 承认单位元 $e = \sum_{\alpha \in \Delta} e_\alpha$，其中 $e_\alpha \in E_\alpha$。证明必然$e = e_0 \in E_0$。