Derivative algebra (abstract algebra)

In abstract algebra, a derivative algebra is an algebraic structure of the signature

<A, ·, +, ', 0, 1, ^D>

where

<A, ·, +, ', 0, 1>

is a Boolean algebra and ^D is a unary operator, the derivative operator, satisfying the identities:

1. 0^D = 0
2. x^DD ≤ x + x^D
3. (x + y)^D = x^D + y^D.

x^D is called the derivative of x. Derivative algebras provide an algebraic abstraction of the derived set operator in topology. They also play the same role for the modal logic wK4 = K + p∧□p → □□p that Boolean algebras play for ordinary propositional logic.

References

• Esakia, L., Intuitionistic logic and modality via topology, Annals of Pure and Applied Logic, 127 (2004) 155-170
• McKinsey, J.C.C. and Tarski, A., The Algebra of Topology, Annals of Mathematics, 45 (1944) 141-191

This algebra-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Abstract algebra Boolean algebra Topology Algebra stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем сделать НИР Mari, Syria Feminist theory Look at other dictionaries: Derivative algebra — In mathematics: In abstract algebra and mathematical logic a derivative algebra is an algebraic structure that provides an abstraction of the derivative operator in topology and which provides algebraic semantics for the modal logic wK3. In… …   Wikipedia Derivative (generalizations) — Derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, and geometry. Derivatives in analysis In real, complex, and functional… …   Wikipedia algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… …   Universalium Derivative — This article is an overview of the term as used in calculus. For a less technical overview of the subject, see Differential calculus. For other uses, see Derivative (disambiguation) …   Wikipedia Abstract Wiener space — An abstract Wiener space is a mathematical object in measure theory, used to construct a decent (strictly positive and locally finite) measure on an infinite dimensional vector space. It is named after the American mathematician Norbert Wiener.… …   Wikipedia Interior algebra — In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and… …   Wikipedia List of Boolean algebra topics — This is a list of topics around Boolean algebra and propositional logic. Contents 1 Articles with a wide scope and introductions 2 Boolean functions and connectives 3 Examples of Boolean algebras …   Wikipedia Generalizations of the derivative — The derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, and geometry. Contents 1 Derivatives in analysis 1.1 Multivariable… …   Wikipedia Derivation (abstract algebra) — In abstract algebra, a derivation is a function on an algebra which generalizes certain features of the derivative operator. Specifically, given an algebra A over a ring or a field K, a K derivation is a K linear map D: A → A that… …   Wikipedia History of algebra — Elementary algebra is the branch of mathematics that deals with solving for the operands of arithmetic equations. Modern or abstract algebra has its origins as an abstraction of elementary algebra. Historians know that the earliest mathematical… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”