Differences

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

ortholattices [2010/12/15 21:18]
jipsen
ortholattices [2010/12/15 21:58] (current)
jipsen
Line 42: Line 42:
^[[Definable principal congruences]]  |no | ^[[Definable principal congruences]]  |no |
^[[Equationally def. pr. cong.]]  |no | ^[[Equationally def. pr. cong.]]  |no |
-^[[Amalgamation property]] Yes | +^[[Amalgamation property]] | Yes | 
-^[[Strong amalgamation property]] Yes (Bruns and Harding 1997) | |+^[[Strong amalgamation property]] | Yes [(BrunsHarding1997)] |
^[[Epimorphisms are surjective]]  | | ^[[Epimorphisms are surjective]]  | |
====Finite members==== ====Finite members====
-$\begin{array}{lr} +^$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 | 
-f(1)= &1\\ +^# of algs | 1 | 1 | 0 | 1 | 0 | 2 | 0 | 5 | 0 | 15 |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 | 
-f(2)= &1\\ +^# of si's | 0 | 1 | 0 | 0 | 0 | 2 | 0 | 3 | 0 | 11 |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |    |  0 |
-f(3)= &\\ +
-f(4)= &1\\ +
-f(5)= &\\ +
-f(6)= &\\ +
-f(7)= &\\ +
-\end{array}$ +
====Subclasses==== ====Subclasses====
Line 69: 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]])]