associativa

Associativa is the feminine form of the adjective used in several Romance languages to describe the associative property. The related English term is associativity, and the corresponding adjective in English is associative. In mathematics, an operation is associative if the grouping of operands does not affect the result.

Formally, a binary operation on a set S is associative if, for all a, b, c in S, (a b) c = a (b c). This property allows expressions to be regrouped without changing outcomes, enabling simplification and the definition of algebraic structures such as semigroups, monoids, and groups. In addition, associativity underpins the compositional nature of many mathematical processes.

Common examples include addition and multiplication of numbers, which satisfy associativity; string concatenation, which is also associative; and function composition, where (f ∘ g) ∘ h = f ∘ (g ∘ h). Non-examples include subtraction, division, and, in general, exponentiation, where (a - b) - c ≠ a - (b - c), (a / b) / c ≠ a / (b / c), and a^(b^c) ≠ (a^b)^c in general.

Beyond arithmetic, associativity appears in logic (for example, conjunction and disjunction are associative) and in category theory, where the composition of morphisms is strictly associative, reflecting a fundamental coherence condition. The term associativa is used in Spanish, Portuguese, and Italian to describe this property, with the English counterpart being associativity.