# Differences

This shows you the differences between two versions of the page.

kleene_lattices [2010/07/29 18:30]
127.0.0.1 external edit
kleene_lattices [2010/09/04 17:04] (current)
jipsen
Line 2: Line 2:
Abbreviation: **KLat** Abbreviation: **KLat**
+
+
====Definition==== ====Definition====
A \emph{Kleene lattice} is a structure $\mathbf{A}=\langle A,\vee A \emph{Kleene lattice} is a structure$\mathbf{A}=\langle A,\vee
Line 12: Line 14:
$\langle A,\vee ,\wedge \rangle$ is a lattice $\langle A,\vee ,\wedge \rangle$ is a lattice
+
==Morphisms== ==Morphisms==
-Let $\mathbf{A}$ and $\mathbf{B}$ be Kleene lattices. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:Aarrow B$ that is a+Let $\mathbf{A}$ and $\mathbf{B}$ be Kleene lattices.
+A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\to B$ that is a
homomorphism: homomorphism:
Line 20: Line 24:
\mbox{and}  h(x\cdot y)=h(x)\cdot h(y)$,$h(x^{\ast \mbox{and}  h(x\cdot y)=h(x)\cdot h(y)$,$h(x^{\ast
})=h(x)^{\ast }$,$h(0)=0$,$h(1)=1$})=h(x)^{\ast }$, $h(0)=0$, $h(1)=1$
+
====Examples==== ====Examples====
Example 1: Example 1:
+
====Basic results==== ====Basic results====
+
====Properties==== ====Properties====
Line 44: Line 51:
^[[Strong amalgamation property]]  | | ^[[Strong amalgamation property]]  | |
^[[Epimorphisms are surjective]]  | | ^[[Epimorphisms are surjective]]  | |
+
+
====Finite members==== ====Finite members====
Line 54: Line 63:
f(6)= &1488\\ f(6)= &1488\\
\end{array}$\end{array}$
+
====Subclasses==== ====Subclasses====
[[Action lattices]] [[Action lattices]]
+
====Superclasses==== ====Superclasses====
Line 66: Line 77:
====References==== ====References====
-[(Ln19xx>
-)]