−Table of Contents
Shells
Definition
A \emph{shell} is a structure S=⟨S,+,0,⋅,1⟩ of type ⟨2,0,2,0⟩ such that
0 is an identity for +: 0+x=x, x+0=x
1 is an identity for ⋅: 1⋅x=x, x⋅1=x
0 is a zero for ⋅: 0⋅x=0, x⋅0=0
Morphisms
Let S and T be shells. A morphism from S to T is a function h:S→T that is a homomorphism:
h(x+y)=h(x)+h(y), h(x⋅y)=h(x)⋅h(y), h(0)=0, h(1)=1
Examples
Example 1:
Basic results
Properties
Classtype | variety |
---|---|
Equational theory | decidable |
Quasiequational theory | |
First-order theory | undecidable |
Locally finite | no |
Residual size | unbounded |
Congruence distributive | no |
Congruence modular | no |
Congruence n-permutable | no |
Congruence regular | no |
Congruence uniform | no |
Congruence extension property | no |
Definable principal congruences | no |
Equationally def. pr. cong. | no |
Amalgamation property | yes |
Strong amalgamation property | yes |
Epimorphisms are surjective |
Finite members
f(1)=1f(2)=f(3)=f(4)=f(5)=f(6)=