You are here
Homesignature
Primary tabs
signature
$\Sigma:=\left(\bigcup_{{n\in\omega}}\mathcal{R}_{n}\right)\cup\left(\bigcup_{{% n\in\omega}}\mathcal{F}_{n}\right)\cup\mathcal{C}$ 
where for each natural number $n>0$,
 $\bullet$

$\mathcal{R}_{n}$ is a (usually countable) set of $n$ary relation symbols.
 $\bullet$

$\mathcal{F}_{n}$ is a (usually countable) set of $n$ary function symbols.
 $\bullet$

$\mathcal{C}$ is a (usually countable) set of constant symbols.
We require that all these sets be pairwise disjoint.
Given a signature $\Sigma$, a $\Sigma$structure is then a structure $\mathcal{A}$, whose underlying set is some set $A$, with elements $\mathcal{A}_{c}\in A$ for each constant symbol $c\in\Sigma$, $n$ary operations $\mathcal{A}_{f}$ on $A$ for each $n$ary function symbol $f\in\Sigma$, for each $n$, and $m$ary relations $\mathcal{A}_{R}$ on $A$ for each $m$ary relation symbol $R\in\Sigma$.
On the other hand, every structure is associated with a signature. For every structure, it has an underlying set, together with a collection of “designated” objects that “define” the structure. These objects may be elements of the underlying set, operations on the set, or relations on the set. For each such “designated” object, pick a symbol for it. Make sure all symbols used are distinct from one another. Then the collection of all such symbols is a signature for the structure.
For most structures that we encounter, the set $\Sigma$ is finite, but we allow it to be infinite, even uncountable, as this sometimes makes things easier, and just about everything still works when the signature is uncountable.
Examples:

A signature of sets is the empty set.

A signature of pointed sets is a singleton consisting of a constant symbol.

A signature of groups is a set $\{e,^{{1}},\cdot\}$, where
(a) $e$ (group identity symbol) is a constant symbol,
(b) ${}^{{1}}$ (group inverse symbol) is a unary function symbol, and
(c) $\cdot$ (group multiplication symbol) is a binary function symbol.

A signature of fields is a set $\{0,1,,^{{1}},+,\cdot\}$, where
(a) $0$ (additive identity symbol) and $1$ (multiplicative identity symbol) are constant symbols,
(b) $$ (the additive inverse symbol) and ${}^{{1}}$ (the multiplicative inverse symbol) are the unary function symbols, and
(c) $+$ (addition symbol) $\cdot$ (multiplication symbol) are binary function symbols.

A signature of posets is a singleton $\{\leq\}$, where $\leq$ (partial ordering symbol) is a binary relation symbol.

A signature of vector spaces over a fixed field $k$ consists of the following
(a) $0$ (additive identity symbol) is the constant symbol,
(b) $+$ (vector addition symbol) is the binary function symbol, and
(c) $\cdot_{r}$ (multiplication by scalar $r$ symbol) is the unary function symbol, for each $r\in k$.
Remark. Given a signature $\Sigma$, the set $L$ of logical symbols from first order logic, and a countably infinite set $V$ of variables, we can form a first order language, consisting of all formulas built from these symbols (in $\Sigma\cup L\cup V$). The language socreated is uniquely determined by $\Sigma$. In the literature, it is a common practice to identify $\Sigma$ both as a signature and the unique language it generates.
References
 1 W. Hodges, A Shorter Model Theory, Cambridge University Press, (1997).
 2 D. Marker, Model Theory, An Introduction, Springer, (2002).
Mathematics Subject Classification
03C07 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
Recent Activity
new question: Prove a formula is part of the Gentzen System by LadyAnne
Mar 30
new question: A problem about Euler's totient function by mbhatia
new problem: Problem: Show that phi(a^n1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia
new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz
Mar 26
new correction: Misspelled name by DavidSteinsaltz
Mar 21
new correction: underlinetypo by Filipe
Mar 19
new correction: cocycle pro cocyle by pahio
Mar 7
new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier
new image: expected waiting time by robert_dodier
new image: plot W(t) = P(waiting time <= t) by robert_dodier