Differences

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

ortholattices [2010/07/29 18:30]
127.0.0.1 external edit
ortholattices [2010/12/15 21:58] (current)
jipsen
Line 13: Line 13:
==Morphisms== ==Morphisms==
-Let $\mathbf{L}$ and $\mathbf{M}$ be ortholattices. A morphism from $\mathbf{L}$ to $\mathbf{M}$ is a function $h:Larrow M$ that is a+Let $\mathbf{L}$ and $\mathbf{M}$ be ortholattices. A morphism from $\mathbf{L}$ to $\mathbf{M}$ is a function $h:L\to M$ that is a
homomorphism: homomorphism:
Line 42: Line 42:
^[[Definable principal congruences]]  |no | ^[[Definable principal congruences]]  |no |
^[[Equationally def. pr. cong.]]  |no | ^[[Equationally def. pr. cong.]]  |no |
-^[[Amalgamation property]]  | | +^[[Amalgamation property]]  | Yes
-^[[Strong amalgamation property]]  | |+^[[Strong amalgamation property]]  | Yes [(BrunsHarding1997)] |
^[[Epimorphisms are surjective]]  | | ^[[Epimorphisms are surjective]]  | |
-====Finite members==== 
-$\begin{array}{lr} +====Finite members====
-f(1)= &1\\ +
-f(2)= &1\\ +
-f(3)= &\\ +
-f(4)= &1\\ +
-f(5)= &\\ +
-f(6)= &\\ +
-f(7)= &\\ +
-\end{array}$+
 +^$n$       | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 |
 +^# of algs | 1 | 1 | 0 | 1 | 0 | 2 | 0 | 5 | 0 | 15 |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |
 +^# of si's | 0 | 1 | 0 | 0 | 0 | 2 | 0 | 3 | 0 | 11 |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |
====Subclasses==== ====Subclasses====
Line 68: Line 62:
====References==== ====References====
-[(Ln19xx+[(BrunsHarding1997
-)]+G. Bruns and J. Harding, \emph{Amalgamation of ortholattices}, Order 14 (1997/98), no. 3, 193–209 
 +[[http://www.ams.org/mathscinet-getitem?mr=99f:06014|MRreview]])]