Commutativity in the context of "Semilattice"

In mathematics, physics, and engineering, a Euclidean vector or simply a vector (sometimes called a geometric vector or spatial vector) is a geometric object that has magnitude (or length) and direction. Euclidean vectors can be added and scaled to form a vector space. A vector quantity is a vector-valued physical quantity, including units of measurement and possibly a support, formulated as a directed line segment. A vector is frequently depicted graphically as an arrow connecting an initial point A with a terminal point B, and denoted by ${\textstyle {\stackrel {\longrightarrow }{AB}}.}$

A vector is what is needed to "carry" the point A to the point B; the Latin word vector means 'carrier'. It was first used by 18th century astronomers investigating planetary revolution around the Sun. The magnitude of the vector is the distance between the two points, and the direction refers to the direction of displacement from A to B. Many algebraic operations on real numbers such as addition, subtraction, multiplication, and negation have close analogues for vectors, operations which obey the familiar algebraic laws of commutativity, associativity, and distributivity. These operations and associated laws qualify Euclidean vectors as an example of the more generalized concept of vectors defined simply as elements of a vector space.

In mathematics, a product is the result of multiplication, or an expression that identifies objects (numbers or variables) to be multiplied, called factors. For example, 21 is the product of 3 and 7 (the result of multiplication), and ${\displaystyle x\cdot (2+x)}$ is the product of ${\displaystyle x}$ and ${\displaystyle (2+x)}$ (indicating that the two factors should be multiplied together).When one factor is an integer, the product is called a multiple.

The order in which real or complex numbers are multiplied has no bearing on the product; this is known as the commutative law of multiplication. When matrices or members of various other associative algebras are multiplied, the product usually depends on the order of the factors. Matrix multiplication, for example, is non-commutative, and so is multiplication in other algebras in general as well.

In mathematics, especially group theory, the centralizer (also called commutant) of a subset S in a group G is the set ${\displaystyle \operatorname {C} _{G}(S)}$ of elements of G that commute with every element of S, or equivalently, the set of elements ${\displaystyle g\in G}$ such that conjugation by ${\displaystyle g}$ leaves each element of S fixed. The normalizer of S in G is the set of elements ${\displaystyle \mathrm {N} _{G}(S)}$ of G that satisfy the weaker condition of leaving the set ${\displaystyle S\subseteq G}$ fixed under conjugation. The centralizer and normalizer of S are subgroups of G. Many techniques in group theory are based on studying the centralizers and normalizers of suitable subsets S.

Suitably formulated, the definitions also apply to semigroups.