# 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]])] | ||

Trace: