これはイデアルである、なぜなら任意の2つの冪零元の和は(二項定理により)冪零であり、任意の元と冪零元の積は(可換性により)冪零だからである。