Structure (mathematical logic)

From Citizendium
Jump to: navigation, search
This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In mathematical logic, the notion of a structure generalizes mathematical objects such as groups, rings, fields, lattices or ordered sets. A structure is a set equipped with any number of named constants, operations and relations. For example the ordered group of integers can be regarded as a structure consisting of the set of integers together with the constant 0, the binary operation (addition), the unary function (which maps each integer to its inverse), and the binary relation . This structure is often denoted by .

Like most mathematical objects, structures are typically not studied individually in isolation. Given two structures and , a homomorphism from to is a map from the underlying set of to the underlying set of which respects the additional information given by the constants, operations and relations. For example the map which multiplies every integer by 2 is a homomorphism from the structure to itself, because , , , and because implies . One only speaks of homomorphisms when and have the same signature, i.e. when they both have the same number of constants and these have the same names, and the number, names and arities of functions and relations agree likewise.

Structures are studied in model theory, where the term model is often used as a synonym. Structures without relations are studied in universal algebra, and a structure with only constants and operations is often referred to as an algebra or, to avoid confusion with algebras over a field, as a universal algebra.