[Home]Normal bands

HomePage | RecentChanges | Preferences

No diff available--this is the first major revision. (no other diffs)

Abbreviation: NBand

Definition

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

Morphisms

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

Some results

Examples

Properties

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

Finite members

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

Subclasses

Rectangular bands

Superclasses

Bands


HomePage | RecentChanges | Preferences
This page is read-only | View other revisions
Last edited April 19, 2003 6:12 pm (diff)
Search: