Mathematics. an algebraic program that is definitely shut beneath an associative operation, as multiplication or addition, and by which There's an identity element that, on working on One more factor, leaves the next ingredient unchanged, and in which Just about every ingredient has similar to it a novel component that, on operating on the first, b