Monoids and Groups
Binary Operation: - Let S be a non-empty set, and * said to be a binary operation on S if a * b is defined for all a, b ∊ S. In other words, * is a rule for any two elements in the set S. Closure Property: - Let S be a non-empty set, A binary operation * on S is said to be a closed binary operation on S, if a * b ∊ S, for all a, b ∊ S. Associative Property: - Let S be a subset of Z. A binary operation * on S is said to be associative, if (a * b) * c = a * (b * c) for all a, b, c ∊ S Commutative Property: - Let S be a non-empty set. A binary operation * on S is said to be Commutative, if a * b = b * a for all a, b ∊ S. Identity Property: - A non-empty set S with binary operation *, is said to have an identity e ∊ S, if e * a = a * e = a, for all a ∊ S Distributive Property: - Let S be a non-empty set. Let * 1 and * 2 be two different binary operations on S. Then...