On the Finite Axiomatizability of Equational Theories of Automatic Algebras

<p>An algebra is a set of elements equipped with some finitary operations represented by a selected set of operation symbols. Using the operation symbols, we can form equations that describe identities in the algebra. We can investigate to see if the set of equations that hold in an algebra is axiomatizable by a finite set of equations, for which we call the algebra finitely based. If not, we can further ask if the algebra satisfies a stronger condition we call inherently nonfinitely based. For instance all finite groups and rings were shown in 1964 and 1973, respectively, to be finitely based.</p><p>A finite automaton can be represented in an algebraic way to give us a type of groupoid, which we call an automatic algebra. Automatic algebras are of interest because, unlike groups and rings, among finite automatic algebras there are examples, already in the literature, of finitely based algebras, inherently nonfinitely based algebras, and those that are neither.</p><p>In this dissertation we will begin to classify the finite automatic algebras into the three categories, as well as developing tools and methods useful for dealing with automatic algebras. We will see that there are plenty of examples of all three classifications. Each automatic algebra consists of a number of vertices and edge labels. For two vertex automatic algebras, we first reduce the infinitely many algebras down to 256 cases, of which only a fraction warrant special attention. With the three vertex automatic algebras the first step down from infinite gives us $2⁶³ cases, of which we have barely scratched the surface.</p>

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Campus Access Dissertation

Discipline thesis:degree_discipline

Mathematics

Year

2010

Author dc:creator

• Boozer, John

Contributors dc:contributor

• George F. McNulty

• Mathematics
• Physical Sciences and Mathematics

Statement dc:rights

• © 2010, John Boozer

Repository record dc:identifier

https://scholarcommons.sc.edu/etd/315

OAI identifier oai:identifier

oai:scholarcommons.sc.edu:etd-1316