𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Essential arities of term operations in finite algebras

✍ Scribed by Ross Willard

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
984 KB
Volume
149
Category
Article
ISSN
0012-365X

No coin nor oath required. For personal study only.

✦ Synopsis

Given an algebra A, p.(A) denotes the number of distinct n-ary term operations t :A" ~ A of A which depend on all n variables. We solve some problems of Berman, Gr~itzer and Kisielewicz concerning the sequence (po(A),pl(A) ..... p.(A) .... ) in case [A I is finite. Our methods yield new results about totally symmetric functions on a finite set.

πŸ“œ SIMILAR VOLUMES

Intersection of finitely generated congr
Intersection of finitely generated congruences over term algebra
✍ SΓ‘ndor VΓ‘gvΓΆlgyi πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 350 KB

We show that it is decidable for any given ground term rewrite systems R and S if there is a ground term rewrite system U such that If the answer is yes, then we can e ectively construct such a ground term rewrite system U . In other words, for any given ΓΏnitely generated congruences and over the t

Some Finiteness Properties of Regular Ve
Some Finiteness Properties of Regular Vertex Operator Algebras
✍ Haisheng Li πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 134 KB

We give a natural extension of the notion of the contragredient module for a vertex operator algebra. By using this extension we prove that for regular vertex Ε½ operator algebras, Zhu's C -finiteness condition holds, fusion rules for any three 2 . irreducible modules are finite and the vertex operat