Universal Algebra

Jump to: navigation, search

See: General Algebra, Order Theory.



For instance, rather than take particular groups as the object of study, in universal algebra one takes "the theory of groups" as an object of study.

    • From the point of view of universal algebra, an algebra (or algebraic structure) is a set [math]A[/math] together with a collection of operations on A. An n-ary operation on [math]A[/math] is a function that takes [math]n[/math] elements of [math]A[/math] and returns a single element of A. Thus, a 0-ary operation (or nullary operation) can be represented simply as an element of [math]A[/math], or a constant, often denoted by a letter like a. A 1-ary operation (or unary operation) is simply a function from [math]A[/math] to [math]A[/math], often denoted by a symbol placed in front of its argument, like ~x. A 2-ary operation (or binary operation) is often denoted by a symbol placed between its arguments, like x * y. Operations of higher or unspecified arity are usually denoted by function symbols, with the arguments placed in parentheses and separated by commas, like [math]f[/math](x,y,z) or [math]f[/math](x1,...,xn). Some researchers allow infinitary operations, such as [math]\textstyle\bigwedge_{\alpha\in J} x_\alpha[/math] where $J$ is an infinite index set, thus leading into the algebraic theory of complete lattices. One way of talking about an algebra, then, is by referring to it as an algebra of a certain type [math]\Omega[/math], where [math]\Omega[/math] is an ordered sequence of natural numbers representing the arity of the operations of the algebra.