乗法の単位元は "a" 上の恒等写像である。