上で以下の演算 加法： 乗法： を定義する（ただし，は自然に0と定義する）と，とが上の体を形成することをはけーん．加法の単位元（零）は，乗法の単位元(1)は0． この代数系って研究されてるのかしら？っていうかただの対数に関する代数ってだけかにゃ？ …