Multiplicative Group Concept. More...
Classes | |
| struct | tag |
| Multiplicative Group Concept tag. More... | |
| struct | interface |
| Interface of the Multiplicative Group Concept. More... | |
| struct | requirements |
| Requirements of the Multiplicative Group concept. More... | |
Multiplicative Group Concept.
This is a "non-intrusive" interface of the Multiplicative group conception.In mathematics, a finite or infinite set of elements that can be combined by an operation; formally, a group must satisfy certain conditions. For example, the set of all integers (positive or negative whole numbers) forms a group with regard to multiplication because: (1) multiplication is associative, that is, the multiplication of two or more integers is the same regardless of the order in which the integers are multiplied; (2) multiplying two integers gives another integer; (3) the set includes an identity element 1, which has no effect on any integer to which it is multiplied (for example, 1 * 3 = 3); and (4) each integer has an inverse (for instance, 7 has the inverse 1/7), such that the multiplication of an integer and its inverse is 1. The multiplicative_group conception is a refinement of assignable conception with multiply method.