
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>doi: 10.7151/dmgaa.1029
Let \(\tau\) be a type of algebras. By a hypersubstitution of type \(\tau\) there is either meant a mapping assigning to every fundamental operation symbol of type \(\tau\) a term of type \(\tau\) of the same arity or there is meant the obvious extension of this mapping to the set of all terms of type \(\tau\). The main result of this paper is the following: Up to equivalence there is only one non-trivial hypersubstitution of type \((2,2,1,0,0)\) which is proper with respect to the variety of orthomodular lattices, namely the one which interchanges the binary as well as the nullary operations and leaves the unary operation fixed.
Complemented lattices, orthocomplemented lattices and posets, Operations and polynomials in algebraic structures, primal algebras, variety of orthomodular lattices, hypersubstitution, absorption algebra
Complemented lattices, orthocomplemented lattices and posets, Operations and polynomials in algebraic structures, primal algebras, variety of orthomodular lattices, hypersubstitution, absorption algebra
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
