Augmentation Ideal

The augmentation ideal of an Augmented Algebra $\varepsilon:A\to R$ over a Semiring $R$ is the Two-Sided Ideal formed by the Kernel of the augmentation map $\varepsilon$.