单位元与理想限制问题：中心幂等元是否为幺代数单位元？

答案是肯定的——$a$必然是$A$的单位元。咱们一步步来推导验证：

• 首先，已知$A$的单位元$1_A$属于双边理想$B = A \cdot a$。这里有个核心关键点：因为$a$是$B$的单位元，而$1_A$是$B$中的元素，根据单位元的定义，对$B$内任意元素$b$都有$a \cdot b = b$，把$b = 1_A$代入可得：
  $$a \cdot 1_A = 1_A$$
• 但另一方面，$1_A$是$A$的单位元，根据幺代数单位元的基本性质，对$A$内任意元素$c$都有$c \cdot 1_A = c$，把$c = a$代入就有：
  $$a \cdot 1_A = a$$
• 把这两个等式联立，直接就能得到$a = 1_A$——这正是$A$的单位元。

额外补充：题目里提到的“单位元具有唯一性”是幺代数的固有属性（本身就成立），而$a$是中心幂等元的条件，主要是保证$B = A \cdot a$确实是双边理想（中心元素的左乘、右乘都能让理想封闭），但核心推导其实只用到了$1_A \in B$和$a$是$B$的单位元这两个关键条件。

内容的提问来源于stack exchange，提问作者user372565