A non-capped tensor product of lattices

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

— For the purposes of this section, say that an artinian functor has a type one filtration if it has a finite filtration of which the filtration quotients are non-finite simple

Keywords: Biderivation - Crossed module - Leibniz algebra - Milnor-type Hochschild homology — Non-abelian Leibniz (co)homology — Non-abelian tensor

It originates in the observation that the construction of the Boolean algebra of the proof of Theorem A does not rely on the Axiom of Choice (but it has size the continuum), while

Every finite, atomistic, join-semidistributive (resp., lower bounded) lattice L admits a h∨, ∧, 0, 1, at i-embedding with the congruence extension property into some finite,

The Strong Independence Theorem for automorphism groups and congruence lattices of arbitrary lattices.. George Grätzer,

Most known partial neg- ative solutions to CLP are obtained via certain infinitary sentences of the theory of semilattices that hold in all semilattices of the form Con c L, for L

The notion of tensor product of h∨, 0i-semilattices becomes interesting for lat- tices, and the tensor product of two lattices is not always a lattice.. This phenome- non