• Study Resource
  • Explore
    • Arts & Humanities
    • Business
    • Engineering & Technology
    • Foreign Language
    • History
    • Math
    • Science
    • Social Science

    Top subcategories

    • Advanced Math
    • Algebra
    • Basic Math
    • Calculus
    • Geometry
    • Linear Algebra
    • Pre-Algebra
    • Pre-Calculus
    • Statistics And Probability
    • Trigonometry
    • other →

    Top subcategories

    • Astronomy
    • Astrophysics
    • Biology
    • Chemistry
    • Earth Science
    • Environmental Science
    • Health Science
    • Physics
    • other →

    Top subcategories

    • Anthropology
    • Law
    • Political Science
    • Psychology
    • Sociology
    • other →

    Top subcategories

    • Accounting
    • Economics
    • Finance
    • Management
    • other →

    Top subcategories

    • Aerospace Engineering
    • Bioengineering
    • Chemical Engineering
    • Civil Engineering
    • Computer Science
    • Electrical Engineering
    • Industrial Engineering
    • Mechanical Engineering
    • Web Design
    • other →

    Top subcategories

    • Architecture
    • Communications
    • English
    • Gender Studies
    • Music
    • Performing Arts
    • Philosophy
    • Religious Studies
    • Writing
    • other →

    Top subcategories

    • Ancient History
    • European History
    • US History
    • World History
    • other →

    Top subcategories

    • Croatian
    • Czech
    • Finnish
    • Greek
    • Hindi
    • Japanese
    • Korean
    • Persian
    • Swedish
    • Turkish
    • other →
 
Profile Documents Logout
Upload
´Etale cohomology of schemes and analytic spaces
´Etale cohomology of schemes and analytic spaces

Examples - Stacks Project
Examples - Stacks Project

Gundy`s decomposition for non-commutative martingales
Gundy`s decomposition for non-commutative martingales

... An important difference between classical and non-commutative martingales is that the decomposition stated in Theorem A requires four martingales versus the three martingales of Gundy’s classical decomposition. This difference is highlighted in Section 2 and is essentially due to the row and column ...
UNIVERSAL PROPERTY OF NON
UNIVERSAL PROPERTY OF NON

Introduction to Point-Set Topology
Introduction to Point-Set Topology

... Let Fn2 be the set of all “words” of length n, where every “letter” must be either a “0” or a “1”. For instance, (0, 1, 1, 1, 0, 1) and (1, 1, 0, 0, 1, 1) are elements of F62 . Then Fn2 is a metric space under the metric d(x, y ) = the number of entries in which the words x and y differ. Proof: Let ...
A characterization of adequate semigroups by forbidden
A characterization of adequate semigroups by forbidden

... of semigroups. Many of the fundamental results in these classes have been generalized to abundant and adequate semigroups, for which there is also an extensive literature. It has been known since Fountain’s first paper [3] that the class of adequate semigroups is properly contained in the class of a ...
Basic Topology
Basic Topology

Nearly Prime Subsemigroups of βN
Nearly Prime Subsemigroups of βN

The periodic table of n-categories for low
The periodic table of n-categories for low

... structure constraints in the original n-categories — a specified k-cell structure constraint in the “old” n-category will appear as a distinguished 0-cell in the “new” (n − k)-category under the dimension-shift depicted in Figure 1. We will show that some care is thus required in the interpretion of ...
When an Extension of Nagata Rings Has Only Finitely Many
When an Extension of Nagata Rings Has Only Finitely Many

Elements of Modern Algebra
Elements of Modern Algebra

Our Number Theory Textbook
Our Number Theory Textbook

... This chapter starts off with an introduction into some basic operations on integers as well as definitions that will be used throughout the entire book. The operations used in this chapter center around the definitions of divides, greatest common divisor (gcd), and relatively prime. The chapter star ...
IOSR Journal of Mathematics (IOSR-JM)
IOSR Journal of Mathematics (IOSR-JM)

On topological centre problems and SIN quantum groups
On topological centre problems and SIN quantum groups

... harmonic analysis are typically far from being Arens regular. For example, for a locally compact group G, the group algebra L1 (G) is Arens regular if and only if G is finite (cf. Young [47]). In the study of Arens irregularity, the left and the right topological centres Zt (A∗∗ , ) and Zt (A∗∗ , ♦ ...
Class Field Theory
Class Field Theory

topology : notes and problems
topology : notes and problems

... A topological space (X, Ω) is Hausdorff if for any pair x, y ∈ X with x 6= y, there exist neighbourhoods Nx and Ny of x and y respectively such that Nx ∩ Ny = ∅. Any metric space is Hausdorff. In particular, the real line R with usual metric topology is Hausdorff. Exercise 7.1 : If X is Hausdorff th ...
HIGHER HOMOTOPY OF GROUPS DEFINABLE IN O
HIGHER HOMOTOPY OF GROUPS DEFINABLE IN O

... Definable groups in o-minimal structures have been studied by several authors. The class of such groups includes all algebraic groups over either a real closed field or an algebraically closed field, but is not limited to such groups. Any compact Lie group is isomorphic to a real algebraic subgroup ...
ETALE COHOMOLOGY AND THE WEIL CONJECTURES Sommaire 1.
ETALE COHOMOLOGY AND THE WEIL CONJECTURES Sommaire 1.

Spectra of Small Categories and Infinite Loop Space Machines
Spectra of Small Categories and Infinite Loop Space Machines

Part XV Appendix to IO54
Part XV Appendix to IO54

Conjugacy and cocycle conjugacy of automorphisms of O2 are not
Conjugacy and cocycle conjugacy of automorphisms of O2 are not

... reducibility. In particular, Theorem 1.1 rules out any classification that uses as invariant Borel measures on a Polish space (up to measure equivalence) or unitary operators on the Hilbert space (up to conjugacy). The fact that conjugacy and cocycle conjugacy of automorphisms of O2 are not Borel sh ...
Families of ordinary abelian varieties
Families of ordinary abelian varieties

... the relic of a failed attempt is that the methods developed for their original purpose may be useful for other problems. For instance the the proofs of 6.6 and 8.6 have been used by Hida to study the µ-invariant of Katz’s p-adic L-functions attached to CM-fields. It is a pleasure to acknowledge disc ...
PDF of Version 2.01-B of GIAA here.
PDF of Version 2.01-B of GIAA here.

... (The “number system” referred to is the set of 2×2 matrices whose entries are real numbers.) When you read a sentence such as this, the first thing that you should do is verify the computation yourselves. Mathematical insight comes from mathematical experience, and you cannot expect to gain mathemat ...
Advanced NUMBERTHEORY
Advanced NUMBERTHEORY

... organized background for quadratic reciprocity, which was achieved in the eighteenth Century. The present text constitutes slightly more than enough for a secondsemester course, carrying the student on to the twentieth Century by motivating some heroic nineteenth-Century developments in algebra and ...
DISTORTION MAPS FOR GENUS TWO CURVES 1. Introduction Let
DISTORTION MAPS FOR GENUS TWO CURVES 1. Introduction Let

< 1 2 3 4 5 6 7 8 9 ... 98 >

Birkhoff's representation theorem



This is about lattice theory. For other similarly named results, see Birkhoff's theorem (disambiguation).In mathematics, Birkhoff's representation theorem for distributive lattices states that the elements of any finite distributive lattice can be represented as finite sets, in such a way that the lattice operations correspond to unions and intersections of sets. The theorem can be interpreted as providing a one-to-one correspondence between distributive lattices and partial orders, between quasi-ordinal knowledge spaces and preorders, or between finite topological spaces and preorders. It is named after Garrett Birkhoff, who published a proof of it in 1937.The name “Birkhoff's representation theorem” has also been applied to two other results of Birkhoff, one from 1935 on the representation of Boolean algebras as families of sets closed under union, intersection, and complement (so-called fields of sets, closely related to the rings of sets used by Birkhoff to represent distributive lattices), and Birkhoff's HSP theorem representing algebras as products of irreducible algebras. Birkhoff's representation theorem has also been called the fundamental theorem for finite distributive lattices.
  • studyres.com © 2025
  • DMCA
  • Privacy
  • Terms
  • Report