Emil W. Kiss资料.pdfVIP

A Geometric Consequence of Residual Smallness  Keith A Kearnes y Emil W Kiss z Matthew A Valeriote x Abstract We describ e a new way to construct large sub directly irreducibles within an equational class of algebras We use this construction to show that there are forbidden geometries of multitraces for nite al gebras in residually small equational classes The construction is rst applied to show that minimal equational classes generated by simple algebras of typ es or are residually small if and only if they are congruence mo dular As a second application of the construction we characterize residually small lo cally nite ab elian equational classes Intro duction The Cartesian plane considered as a geometry is a system of p oints and lines related by incidence Or one may dene it without lines as a set of p oints with a given b etweenness relation This same ob ject may b e viewed from an algebraic standp oint by taking the set of p oints as the universe and equipping this set with all op erations which preserve b etweenness The resulting algebra can b e identied with R considered as an M R mo dule expanded by the constant op erations Mathematical Subject Classication Primary A Secondary C y Research supp orted by a fellowship from the Alexander von Humb oldt Stiftung z Research supp orted by the Hungarian National Foundation for Scientic Research grant nos and x Research supp orted by the NSERC of Canada Having b oth geometric and algebraic standp oints provides multiple ways to view basic geometric concepts such as the concept of para