Normal bands

A normal band is a band B = (B,·) such that · is normal: x·y·z·x = x·z·y·x.

Let B and C be normal bands. A morphism from B to C is a function h : B→C that is a homomorphism: h(xy) = h(x)h(y).

Classtype	variety
Equational theory	decidable in polynomial time
Quasiequational theory
First-order theory
Locally finite	yes
Residual size
Congruence distributive
Congruence modular
Congruence n-permutable
Congruence regular
Congruence uniform
Congruence extension property
Definable principal congruences
Equationally definable principal congruences
Amalgamation property
Strong amalgamation property
Epimorphisms are surjective

[Size 1]?: 1
[Size 2]?:
[Size 3]?:
[Size 4]?:
[Size 5]?:
[Size 6]?:
[Size 7]?: