International Journal of Mathematics and Mathematical Sciences

VolumeÂ 2009Â (2009), Article IDÂ 678987, 16 pages

http://dx.doi.org/10.1155/2009/678987

## Classification of All Associative Mono--ary Algebras with 2 Elements

Department of Mathematics and Computer Science, Fern UniversitĂ¤t in Hagen, LĂĽtzowstraĂźe 125, 58084 Hagen, Germany

Received 9 July 2009; Accepted 22 December 2009

Academic Editor: RobertÂ Redfield

Copyright Â© 2009 Stephan Dominique Andres. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We consider algebras with a single -ary operation and a certain type of associativity. We prove that (up to isomorphism) there are exactly 5 of these associative mono--ary algebras with 2 elements for even and 6 for odd . These algebras are described explicitly. It is shown that a similar result is impossible for algebras with at least 4 elements. An application concerning the assignment of a control bit to a string is given.

#### 1. Introduction

One of the most demanding tasks of combinatorics consists in counting finite algebraic structures with certain properties or even in classifying them up to isomorphism. Various types of structures can be enumerated by the number of their elements using the methods of PĂłlya [1, 2]. However, there are some very difficult combinatorial problems that have not been solved until now. One of these problems is to determine the number of semigroups with elements, where is a positive integer. An asymptotic formula for the number of labelled semigroups with elements was found in [3]. But a different problem consists in counting up to isomorphism. Let us reformulate this problem into the language of universal algebra. An *-ary operation * on a set is a function . In this article the ground set will always be finite. is called *mono- **-ary algebra (with ** elements)*. Two mono--ary algebras and are *isomorphic* if there is a bijection from to , so that for all

This is the standard notion of isomorphism for algebras, (cf. [4])

Hence we have asked how many associative mono-2-ary algebras with elements exist up to isomorphism. We may consider the more general problem of determining the number of associative mono--ary algebras with elements, where and are positive integers. But what does it mean for an algebra with a single operation to be associative?

In fact, there are many different ways to generalize associativity from binary to -ary operations. A well-known example is superassociativity, introduced by Menger [5]. Another example is the associativity of diagonal algebras [6]. This paper will treat only a natural kind of associativity which could be called *left-right-pushing*. Let be a mono--ary algebra. It is called *associative* (in the left-right sense) if for all and

Note that a list of the type denotes an empty list.

This type of associativity implies a general associativity law that will be explained in Section 2.

Left-right-pushing was introduced by DĂ¶rnte [7] who generalized the notion of groups to -groups where the binary operation is replaced by an -ary. These -groups (or polyadic groups) were investigated further by Post [8]. Later the concept was widened to *polyadic semigroups* by Zupnik [9] or *associatives* as Gluskin and Shvarts [10] called them. These are other names for the associative mono--ary algebras we study here. Whilst Zupnik, Gluskin, and Shvarts investigated the representation of certain polyadic semigroups by (associative) binary and unary operations, we are interested in counting polyadic semigroups with no restrictions on their structure, only depending on their order and arity.

We would like to complete Table 1 which lists the numbers of associative mono--ary algebras with elements (up to isomorphism) for some small values of and . The entries of the table were computed by the author using brute force algorithms

Since it seems to be very difficult to find general formulas for the rows even for small values of , one might try to find formulas for the columns for small values of . Surprisingly we will find a simple formula for the case . Moreover, we explicitly classify all associative mono--ary algebras with 2 elements using purely elementary methods. Note that we even need not make use of the methods of Zupnik [9] to prove our result. The occurring algebras will be introduced in Section 3.1. In Section 3.2 we prove that every associative mono--ary algebra with 2 elements is isomorphic to one of these algebras which will be the main subject of this article. Similar results for the columns with could not be found, but in Section 4 we will see that the entries of the columns with are at least exponentially increasing.

These results might be interesting for some aspects of nonlinear coding theory. An example of an application is given in Section 5.

#### 2. The General Associativity Law

When denoting a (multi)product of several elements of a semigroup it is not necessary to write brackets in order to indicate the order of calculation since the value of the product only depends on the elements and their total order. This is called â€śgeneral associativity law,â€ť and it may be generalized for multiproducts in associative mono--ary algebras.

Let us fix some terms. If is a mono--ary algebra, then a *product* is a formal expression with some *entries *. A *term* is defined recursively by the following:

*subterms*) is a term.

Furthermore, a *right-tower-term* is a term where for each occurring product all entries are single elements of the algebra except for the last entry.

We can formulate now a basic result that was remarked by DĂ¶rnte [7]. Because of its importance for this article the idea of a formal proof is added.

Theorem 2.1. *In an associative mono--ary algebra the value of any term does not depend on the structure of the subterms, only on the total order of the entries.*

*Proof. *By induction on the number of subterms of a given term we prove that every term can be transformed into a right-tower-term. By induction we may assume that the left-most subterm that is not a single element is a right-tower-term; thus we have
where are single elements and are terms. Applying associativity times we may shift the left-most inner product to the right and obtain
By using the induction hypothesis again the right subterm can be transformed into a right-tower-term, and we are done.

#### 3. The 2-Element-Column

Here we consider associative mono--ary algebras with 2 elements. This main section is organized as follows: In Section 3.1 the main result is presented whereas Section 3.2 is devoted to its proof.

##### 3.1. The Occurring Algebras

We define the following types of algebras on the set with single -ary operation :

type **0**:

type **A**:

type **L**:

type **R**:

type **G0**:

type **G1**:

It is easy to see that these algebras are associative. (For type **G0** and type **G1** distinguish cases according to the parity of the number of zeros in the inner and outer brackets when verifying the associativity laws.)

In case of odd these types are pairwise nonisomorphic. The same holds in case of even except for type **G0** and type **G1** which are then isomorphic. In the latter case we also call type **G0** and type **G1** simply type **G**. In the trivial case type **L**, type **R** and type **G0** are isomorphic to type **A**.

The types ** G0** and ** G1** are the only polyadic groups with 2 elements which can be seen easily [7]. However, the analogue classification of polyadic semigroups is more complicated because of the lack of invertibility.

The main result of this article will be as follows.

Theorem 3.1. *Let be an associative mono--ary algebra with and . Then is isomorphic to one of the types defined above.*

##### 3.2. Proof of Theorem 3.1

Let be an associative mono--ary algebra, . In order to simplify the notation we denote the products only with brackets, that is,

The general idea of the proof is to distinguish cases according to the values of certain products. In each case will be determined only by these values.

There are four possibilities for the values of the products and . The case 1, 0 is treated in Lemma 3.3, and the case 0, 0 in Lemmas 3.4 and 3.5. Obviously, by exchanging 0 and 1, the case 1, 1 leads to isomorphic algebras as in the case 0, 0.

The case and is more complicated. Here we need to consider the products , , , and , too. The subcases 1, 0 and 0, 1, respectively, 0, 0 for and the subcases 0, 1 and 1, 0, respectively, 1, 1 for are examined by Lemma 3.6, respectively, Lemma 3.7. Note that these cases are not excluding each other and may be contradictory which has no effect on our proof. The remaining case is Lemma 3.8.

Lemma 3.2. *If in , then the value of a product depends only on the number of zeros in the product and not on the order of the elements.*

*Proof. *Indeed, whenever two products have the same number of zero entries, each zero can be replaced by the product and the new expressions contain both the same number of ones and thus have the same value because of the general associativity law.

Lemma 3.3. *If and , then is odd and is isomorphic to type G1.*

*Proof. *Using the assumptions and the associativity of we obtain
Thus (in order to avoid the contradiction ) we conclude
Assume that is even. Then, using (3.9) we have the contradiction
So is odd. We will now establish the following claim.*Claim 1. * and for .We prove the claim by induction. The first assertion is clear for . Assume that the first assertion has been proved for all and that the second assertion has been proved for all and that . Then by assumption
Let us fist consider the case
Then in (3.11) we obtain the contradiction . Thus we have
Now assume that the first and the second assertions have been proved for all and that . Then by (3.13) we conclude
Let us first consider the case
Then we obtain the contradiction
Therefore we have
This proves the claim.

By Lemma 3.2 it follows immediately from Claim 1 that a product is 0 if and only if the number of its zero entries is even. Thus is of type **G1**.

Lemma 3.4. *If and and
**
then is isomorphic to type 0.*

*Proof. *Prove by induction that
The induction step is
Use Lemma 3.2 again and conclude that every product is 0.

Lemma 3.5. *If and and
**
then is even and is isomorphic to type G.*

*Proof. *
In order to avoid the contradiction we have
*Claim 1. * for .

For this is (3.23). Assume the claim has been proved for . Then

that is, the claim is true for .*Claim 2. * for .

For this is (3.24). Assume that the claim has been proved for . Then

that is, the claim is true for .

If is odd, then the two claims contradict each other. So is even and according to Lemma 3.2, the premises, and Claims 1 and 2 a product is 0 if and only if it contains an even number of zeros; that is, is of type **G**.

Lemma 3.6. *If and and
**
then is isomorphic to type R.*

*Proof. *For all we have
For example, the product (0111011) can be transformed in three steps into the normal form:
The next claims determine the values of these normal forms.*Claim 4. * for odd and for even.*Claim 5. * for odd and for even. By symmetry arguments it is sufficient to prove Claim 4. We use the same kind of double-step-induction as in the proof of Claim 1.

Suppose that

Then we obtain the contradiction
Thus
Now let be even and, the assertion be true for all . Then
Finally let be odd and, the assertion be true for all . Then
This completes the proof of Claim 4. Now the value of every product is determined. Observe that these values are 0 if and only if the number of zero entries is odd; so is isomorphic to type **G0**.

This completes the proof of the lemma.

Now we continue with the proof of the main theorem. As described in the beginning of this subsection and by the notice between Lemma 3.6 and Lemma 3.7 the case distinctions are complete, which proves Theorem 3.1.

#### 4. The Columns with Several Elements

We have seen that, for any fixed , the number of nonisomorphic associative mono--ary algebras with 2 elements is bounded by the global constant 6, which does not depend on . A classification of the associative mono--ary algebras with 3 elements has not been completed successfully until now. It would be an interesting question whether the number of these algebras, for fixed , is bounded by a global constant independent from .

If we consider the case of 4 or more elements, the numbers in the column of Table 1 are not bounded but at least exponentially growing. Indeed every mono--ary algebra with at least four elements 0, 1, 2, 3 of the following type is associative.

(i)If there is a 0 or an 1 entry, then the product is 0.(ii)Otherwise the product is 0 or 1.There are at least such algebras, and at least pairwise nonisomorphic among them.

The question arises whether or not a classification of the associative mono--ary algebras with more than 3 elements in finitely many series of algebras exists.

#### 5. An Application: Control Bits

As an application of Theorem 3.1 we study *recursive allocation of control bits* for a given word of length over the alphabet * taking into consideration equal inner structures* of length .

To be precise we want to assign a single control bit to a very long string , . Regarding our available memory space we do not want to use a map , but only a map

which we apply recursively on substrings, replacing these substrings by the value of the mapping. For reasons of efficiency it might be advantageous not to choose the substrings in canonical order, rather in a randomlike order. This may be the case if it is cheaper to find and calculate two identical substrings than to calculate two different substrings. In order to have for each possible word a well-defined control bit (i.e., independent of the choice of the substrings) we must claim that is associative (in the left-right sense). So only associative mono--ary algebras are a solution to this (very special) control bit allocation problem.

From Theorem 3.1 we know that there are only 8 of these algebras. (Note that type **A** and type **0** appear twice since their automorphism group is trivial.) The control bits resulting from type **0**, type **A**, type **L**, and type **R** are somewhat pathological, for example, for type **L** it is simply the repetition of the first bit of the string. In this context the commonly used control bits are those depending on the parity of the stringsum and stringlength produced by the polyadic groups **G0** and **G1**, and by Theorem 3.1 there is no sensible alternative.

The situation changes for an alphabet with letters. In this case we should speak rather of control characters than of control bits. Even there the majority of associative mono--ary algebras which are not polyadic groups will lead to pathological control characters, see the algebras in Section 4. But there exist associative mono--ary algebras that are not polyadic groups with interesting associated control characters, for example, for and consider the addition of a neutral element to the group :

Although the control character produced by this semigroup contains hardly any information about the number of the letters 2 and 0 in the string it provides a lot of information about letter 1, namely the parity of its occurrence.

#### Acknowledgments

The author would like to thank A. Romanowska, P. Burmeister, U. Faigle, B. Fuchs, and B. Peis for some hints and comments.

#### References

- G. Pólya, â€śKombinatorische Anzahlbestimmungen für Gruppen, Graphen und chemische Verbindungen,â€ť
*Acta Mathematica*, vol. 68, no. 1, pp. 145â€“254, 1937 (German). View at Publisher Â· View at Google Scholar Â· View at Zentralblatt MATH - G. Pólya and R. C. Read,
*Combinatorial Enumeration of Groups, Graphs, and Chemical Compounds*, Springer, New York, NY, USA, 1987, Pólya's contribution translated from the German by Dorothee Aeppl. View at MathSciNet - D. J. Kleitman, B. R. Rothschild, and J. H. Spencer, â€śThe number of semigroups of order $n$,â€ť
*Proceedings of the American Mathematical Society*, vol. 55, no. 1, pp. 227â€“232, 1976. View at Publisher Â· View at Google Scholar Â· View at Zentralblatt MATH Â· View at MathSciNet - G. Grätzer,
*Universal Algebra*, Springer, New York, NY, USA, 2nd edition, 1979. View at MathSciNet - K. Menger, â€śSuperassociative systems and logical functors,â€ť
*Mathematische Annalen*, vol. 157, pp. 278â€“295, 1964. View at Publisher Â· View at Google Scholar Â· View at Zentralblatt MATH Â· View at MathSciNet - J. Plonka, â€śRemarks on diagonal and generalized diagonal algebras,â€ť
*Colloquium Mathematicum*, vol. 15, pp. 19â€“23, 1966. View at Google Scholar Â· View at Zentralblatt MATH Â· View at MathSciNet - W. Dörnte, â€śUntersuchungen über einen verallgemeinerten Gruppenbegriff,â€ť
*Mathematische Zeitschrift*, vol. 29, pp. 1â€“19, 1928 (German). View at Google Scholar - E. L. Post, â€śPolyadic groups,â€ť
*Transactions of the American Mathematical Society*, vol. 48, pp. 208â€“350, 1940. View at Publisher Â· View at Google Scholar Â· View at Zentralblatt MATH Â· View at MathSciNet - D. Zupnik, â€śPolyadic semigroups,â€ť
*Publicationes Mathematicae Debrecen*, vol. 14, pp. 273â€“279, 1967. View at Google Scholar Â· View at Zentralblatt MATH Â· View at MathSciNet - L. M. Gluskin and V. Ya. Shvarts, â€śTowards a theory of associatives,â€ť
*Mathematical Notes of the Academy of Sciences of the USSR*, vol. 11, no. 5, pp. 332â€“337, 1972. View at Publisher Â· View at Google Scholar Â· View at Zentralblatt MATH