バナッハ環
なお、"A" が実数体を係数体とする実バナッハ環の場合には、"A" は実数体、複素数体、または四元数体と同型になる。