Quasiidentity

Quasiidentity

In universal algebra, a quasiidentity is an implication of the form

:"s"1 = "t"1 ∧ … ∧ "s""n" = "t""n" → "s" = "t"

where "s1, ..., sn, s" and "t1, ..., tn,t" are terms built up from variables using the operation symbols of the specified signature.

Quasiidentities amount to conditional equations for which the conditions themselves are equations. A quasiidentity for which "n" = 0 is an ordinary identity or equation, whence quasiidentities are a generalization of identities.

See also

Quasivariety

References

* [http://www.thoralf.uwaterloo.ca/htdocs/ualg.html Free online edition] .


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • List of mathematics articles (Q) — NOTOC Q Q analog Q analysis Q derivative Q difference polynomial Q exponential Q factor Q Pochhammer symbol Q Q plot Q statistic Q systems Q test Q theta function Q Vandermonde identity Q.E.D. QED project QR algorithm QR decomposition Quadratic… …   Wikipedia

  • Quasivariety — A quasivariety is a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class. TOC DefinitionIn mathematics, a quasivariety is a class K of algebras with a specified… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”