Re: Universal Algebra Question


Arturo Magidin wrote:
In article <1161370602.184339.216560@xxxxxxxxxxxxxxxxxxxxxxxxxxx>,
Snis Pilbor <snispilbor@xxxxxxxxx> wrote:
Hello :)

Burris and Sankappanavar define an "equational class" to be a class A
of algebras such that A is precisely the class of algebras of some type
F satisfying a set Sigma of identities of type F.

My question is, is there a special name for an equational class which
is precisely the class of algebras of some type F satisfying a _finite_
set Sigma of identities of type F? Or in English, the algebras that
can be axiomatized by finitely many identities?

Thank you very much =)

Such equational classes are said to be "finitely based".

--
======================================================================
"It's not denial. I'm just very selective about
what I accept as reality."
--- Calvin ("Calvin and Hobbes" by Bill Watterson)
======================================================================

Arturo Magidin
magidin-at-member-ams-org

Thank you very much Arturo Magidin =) As always, you are the
unchallenged master of UA :)

One more question. If we have a variety, by Birkhoff, it is an
equational class. If it happily turns out to be a finitely based
equational class, is it proper to refer to it as a "finitely based
variety"??

Thank you very much =)

.

Relevant Pages

  • Re: Universal Algebra Question
    ... Burris and Sankappanavar define an "equational class" to be a class A ... of algebras such that A is precisely the class of algebras of some type ... F satisfying a set Sigma of identities of type F. ...
    (sci.math)
  • Re: Universal Algebra Question
    ... Burris and Sankappanavar define an "equational class" to be a class A ... of algebras such that A is precisely the class of algebras of some type ... F satisfying a set Sigma of identities of type F. ... variety of groups was finitely based; the study of varieties of groups ...
    (sci.math)
  • Universal Algebra Question
    ... Burris and Sankappanavar define an "equational class" to be a class A ... of algebras such that A is precisely the class of algebras of some type ... F satisfying a set Sigma of identities of type F. ...
    (sci.math)