CMS/SMC
Canadian Mathematical Society
www.cms.math.ca
Canadian Mathematical Society
  location:  PublicationsjournalsCJM
Abstract view

Chief Factor Sizes in Finitely Generated Varieties

  Published:2002-08-01
 Printed: Aug 2002
  • K. A. Kearnes
  • E. W. Kiss
  • Á. Szendrei
  • R. D. Willard
Features coming soon:
Citations   (via CrossRef) Tools: Search Google Scholar:
Format:   HTML   LaTeX   MathJax   PDF   PostScript  

Abstract

Let $\mathbf{A}$ be a $k$-element algebra whose chief factor size is $c$. We show that if $\mathbf{B}$ is in the variety generated by $\mathbf{A}$, then any abelian chief factor of $\mathbf{B}$ that is not strongly abelian has size at most $c^{k-1}$. This solves Problem~5 of {\it The Structure of Finite Algebras}, by D.~Hobby and R.~McKenzie. We refine this bound to $c$ in the situation where the variety generated by $\mathbf{A}$ omits type $\mathbf{1}$. As a generalization, we bound the size of multitraces of types~$\mathbf{1}$, $\mathbf{2}$, and $\mathbf{3}$ by extending coordinatization theory. Finally, we exhibit some examples of bad behavior, even in varieties satisfying a congruence identity.
Keywords: tame congruence theory, chief factor, multitrace tame congruence theory, chief factor, multitrace
MSC Classifications: 08B26 show english descriptions Subdirect products and subdirect irreducibility 08B26 - Subdirect products and subdirect irreducibility
 

© Canadian Mathematical Society, 2014 : http://www.cms.math.ca/