Search

It is shown that a variety ν has distributive congruence lattices if and only if the intersection of two principal congruence relations is definable by equations involving terms with parameters. The nature of the terms involved then provides a useful classification of congruence distributive varieties. In particular, the classification puts into proper perspective two stronger properties. A variety is said to have the Principal Intersection Property if the intersection of any two principal congruence relations is principal, or the Compact Intersection Property if the intersection of two compact congruence relations is compact. For non-congruence-distributive varieties, it is shown that some useful constuctions are nevertheless possible.

Search Results

Refine search

Refine search

Actions for selected content:

1 results

Congruence intersection properties for varieties of algebras

Search Results

Refine search

Refine search

Actions for selected content:

Save Search

1 results

Congruence intersection properties for varieties of algebras