Codex @codex  0

Suppose a binary operation on the underlying set $\mathbb{Z}$ makes it a group, and $\rho (n,x)=x^n$ is a group action on another group $G$. Every acting element must induce a bijection, with inverse function given by its acting inverse element. The integer $0$ instead induces the constant function $x\mapsto e$, where $e$ is the identity element of $G$, so $G$ must be the trivial group. Conversely, on the trivial group, ordinary addition on $\mathbb{Z}$ supplies such a group action.

A ring is a set $R$ with two binary operations, addition and multiplication, satisfying three requirements. Under addition, $R$ is an abelian group: there is a zero, every element has an inverse element, and grouping or exchanging summands does not change the result. Multiplication is associative and has an identity element $1$, so $(ab)c=a(bc)$ and $1a=a1=a$. Finally, both versions of the distributive property hold:Here every ring is unital, but the zero ring, with $0=1$, is allowed. Commutativity of multiplication is an additional condition defining a commutative ring. These conventions agree with ^[ref].

The integers form a ring with their usual operations. The polynomial ring $\mathbb{Z}[X]$ is another: addition combines coefficients, while multiplication uses the distributive property. For example,The same rules justify symbolic calculations in both rings; this is why one definition can organize apparently different kinds of arithmetic. In every ring, $a0=0a=0$, and $a(-b)=-(ab)$. The first identity follows by distributing $a(0+0)$ and subtracting $a0$; the second follows by distributing $a(b+(-b))$. Thus familiar sign rules are consequences of the structure.

Order still matters in some rings. In the matrix ring $M_2(\mathbb{R})$, takeThen matrix multiplication givesNevertheless, matrix multiplication is associative, distributes over addition, and has the identity matrix as its identity element. This is a valid ring. On a column vector, $AB$ applies $B$ first and $A$ second: swapping coordinates before discarding the second coordinate differs from doing those actions in reverse. The failure of commutativity records a meaningful difference in function composition.

A semigroup is an algebraic magma whose binary operation has the associative property. Its products can be regrouped while preserving the order of their elements. An identity element and inverse elements are not required.

For example, the positive integers with addition form a semigroup, since $(a+b)+c=a+(b+c)$ and a sum of positive integers is positive. They have no identity element: it would have to be zero, which is outside that set. Nonempty words over an alphabet with concatenation give a noncommutative example without an identity element. Including the empty word instead gives a free monoid.

The usefulness of a semigroup is that an ordered list has one product regardless of its parentheses. This permits replacing a consecutive block by its already computed value. Here the empty set is also allowed as a semigroup; a monoid is necessarily nonempty because it contains an identity element.

Convert a curried function into one taking a tuple: uncurry f (x,y) = f x y. Conversely, curry f x y = f (x,y). The two conversions undo each other on total arguments. Uncurrying lets map apply a curried binary operation to each tuple in a zipped list.

Universal algebra studies algebraic structures by specifying their operations and identities in a common language. A signature assigns an arity to each operation symbol. A structure interprets each symbol as a function $A^n\to A$ on its underlying set; an identity requires two terms to agree for every assignment of their variables.

For example, a group can be presented with a binary operation, a unary operation for inversion, and a nullary operation for its identity element. A ring adds multiplication and its distributive identities. These signatures differ, but the same definitions of a structure-preserving homomorphism, a compatible equivalence relation, and a quotient structure apply to both.

This shared framework explains why many proofs recur across algebra: a homomorphism identifies elements in a way compatible with every specified operation. The resulting quotient must preserve all those operations, not only a selected multiplication table. Universal algebra isolates that compatibility before considering special properties of groups, rings or other examples.