Small Latin squares and quasigroups
Latin squares and quasigroups are equivalent mathematical objects, although the former has a combinatorial nature while the latter is more algebraic. The listing below will consider the examples of some very small orders, which is the side length of the square, or the number of elements in the equivalent quasigroup. The equivalence
Given a quasigroup  with  elements, its Cayley table (almost universally called its multiplication table) is an  table that includes borders; a top row of column headers and a left column of row headers. Removing the borders leaves an  array that is a Latin square. This process can be reversed, starting with a Latin square, introduce a bordering row and column to obtain the multiplication table of a quasigroup. While there is complete arbitrariness in how this bordering is done, the quasigroups obtained by different choices are sometimes equivalent in the sense given below. Isotopy and isomorphism
Two Latin squares, 1 and 2 of size  are isotopic if there are three bijections from the rows, columns and symbols of 1 onto the rows, columns and symbols of 2, respectively, that map 1 to 2. Isotopy is an equivalence relation and the equivalence classes are called isotopy classes. A stronger form of equivalence exists. Two Latin squares, 1 and 2 of side  with common symbol set  that is also the index set for the rows and columns of each square, are isomorphic if there is a bijection  such that  for all ,  in . An alternate way to define isomorphic Latin squares is to say that a pair of isotopic Latin squares are isomorphic if the three bijections used to show that they are isotopic are, in fact, equal. Isomorphism is also an equivalence relation and its equivalence classes are called isomorphism classes. An alternate representation of a Latin square is given by an orthogonal array. For a Latin square of order  this is an 2 × 3 matrix with columns labeled ,  and  and whose rows correspond to a single position of the Latin square, namely, the row of the position, the column of the position and the symbol in the position. Thus for the order three Latin square,

the orthogonal array is given by:

The condition for an appropriately sized matrix to represent a Latin square is that for any two columns the  ordered pairs determined by the rows in those columns are all the pairs () with   1 ≤ , once each. This property is not lost by permuting the three columns (but not the labels), so another orthogonal array (and thus, another Latin square) is obtained. For example, by permuting the first two columns, which corresponds to transposing the square (reflecting about its main diagonal) gives another Latin square, which may or may not be isotopic to the original. In this case, if the quasigroup corresponding to this Latin square satisfies the commutative law, the new Latin square is the same as the original one. Altogether there are six possibilities including "do nothing", giving at most six Latin squares called the conjugates (also parastrophes) of the original square. Two Latin squares are said to be paratopic, also main class isotopic, if one of them is isotopic to a conjugate of the other. This is also an equivalence relation, with the equivalence classes called main classes, species, or paratopy classes. Each main class contains up to six isotopy classes. A main class is a disjoint union of isotopy classes and an isotopy class is a disjoint union of isomorphism classes. Isotopic quasigroups
Let  and  be two quasigroups. An ordered triple  of bijections from  onto  is called an isotopism of  onto  if  for all  in . Such quasigroups are said to be isotopic. If in the above definition  then the quasigroups are said to be isomorphic. Unlike the situation with Latin squares, when two isotopic quasigroups are represented by Cayley tables (bordered Latin squares), the permutations  and  operate only on the border headings and do not move columns and rows, while  operates on the body of the table. Permuting the rows and columns of a Cayley table (including the headings) does not change the quasigroup it defines, however, the Latin square associated with this table will be permuted to an isotopic Latin square. Thus, normalizing a Cayley table (putting the border headings in some fixed predetermined order by permuting rows and columns including the headings) preserves the isotopy class of the associated Latin square. Furthermore, if two normalized Cayley tables represent isomorphic quasigroups then their associated Latin squares are also isomorphic. Hence, the number of distinct quasigroups of a given order is the number of isomorphism classes of Latin squares of that order. Notation
The set of symbols used in a Latin square (or quasigroup) is arbitrary and individual symbols carry no meaning, even if they may have a meaning in other contexts. Thus, since it is most common to see the symbol sets } or } used, one must remember that these symbols carry no numerical meaning. To stress this point, small Latin squares sometimes use letters of the alphabet as a symbol set. Counting Latin squares
As a Latin square is a combinatorial object, the symbol set used to write the square is immaterial. Thus, as Latin squares, these should be considered the same:
    and     
Similarly, and for the same reason,
    and     
should be thought of as the same. Thus, 
    and     
can not be thought of as different Latin squares. This intuitive argument can be made more precise. The Latin squares
    and     
are isotopic, in several ways. Let () be the involutorial permutation on the set }, sending  to  and  to . Then the isotopy } will interchange the two rows of the first square to give the second square ( is the identity permutation). But, } which interchanges the two columns is also an isotopy, as is } which interchanges the two symbols. However, } is also an isotopy between the two squares, and so, this pair of squares are isomorphic. Reduced squares
Finding a given Latin square's isomorphism class can be a difficult computational problem for squares of large order. To reduce the problem somewhat, a Latin square can always be put into a standard form known as a reduced square. A reduced square has its top row elements written in some natural order for the symbol set (for example, integers in increasing order or letters in alphabetical order). The left column entries are put in the same order. As this can be done by row and column permutations, every Latin square is isotopic to a reduced square. Thus, every isotopy class must contain a reduced Latin square, however, a Latin square may have more than one reduced square that is isotopic to it. In fact, there may be more than one reduced square in a given isomorphism class. For example, the reduced Latin squares of order four,
    and     
are both in the isomorphism class that also contains the reduced square

This can be shown by the isomorphisms {(3,4), (3,4), (3,4)} and {(2,3), (2,3), (2,3)} respectively. Since isotopy classes are disjoint, the number of reduced Latin squares gives an upper bound on the number of isotopy classes. Also, the total number of Latin squares is  times the number of reduced squares. One can normalize a Cayley table of a quasigroup in the same manner as a reduced Latin square. Then the quasigroup associated to a reduced Latin square has a (two sided) identity element (namely, the first element among the row headers). A quasigroup with a two sided identity is called a loop. Some, but not all, loops are groups. To be a group, the associative law must also hold. Isotopy invariants
The counts of various substructures in a Latin square can be useful in distinguishing them from one another. Some of these counts are the same for every isotope of a Latin square and are referred to as isotopy invariants. One such invariant is the number of 2 × 2 subsquares, called intercalates. Another is the total number of transversals, a set of  positions in a Latin square of order , one in each row and one in each column, that contain no element twice. Latin squares with different values for these counts must lie in different isotopy classes. The number of intercalates is also a main class invariant. Order 1
For order one there is only one Latin square with symbol 1 and one quasigroup with underlying set {1}; it is a group, the trivial group. Order 2

There is only one reduced Latin square of order two (and only two in total), namely

Since there is only one reduced square of this order, there is only one isotopy class. In fact, this isotopy class is also an isomorphism class (shown above). As there is only one isomorphism class of Latin squares, there is only one quasigroup of order two (up to isomorphism) and it is the group usually denoted by ℤ/2ℤ, the cyclic group of order two. Order 3
There is also only one reduced Latin square of order three (out of 12), 

Thus, there is only one isotopy class. However, this isotopy class is the union of five isomorphism classes. Three of the five isomorphism classes contain three Latin squares each, one contains two and one contains just one. The reduced square is in an isomorphism class with three elements and so the corresponding quasigroup is a loop, in fact it is a group, ℤ/3ℤ, the cyclic group of order three. A Latin square representative of each of these isomorphism classes is given by (the number below each is the number of squares in the corresponding isomorphism class):

Order 4
There are four reduced Latin squares of order four (out of 576 squares). These are:

The last three of these are isomorphic (see above). There are two main classes, two isotopy classes and 35 isomorphism classes. Among the 35 quasigroups, only two are loops, and they are in fact groups. Corresponding to the first square above is the Klein four group, while corresponding to any of other three squares is the cyclic group ℤ/4ℤ. The first square has eight transversals and 12 intercalates, while each of the others have no transversals and four intercalates. The isomorphism class of the Klein four group has four members, while the isomorphism class of the cyclic group has 12 members. Of the 576 Latin squares, 288 are solutions of the 4×4 version of Sudoku, sometimes called Shi Doku . Order 5
Of the 161,280 Latin squares of order five, there are 56 reduced squares. There are two main classes and only two isotopy classes, but 1,411 isomorphism classes. There are six isomorphism classes that contain reduced squares, that is, there are six loops, only one of which is a group, the cyclic group of order five. Below are two reduced Latin squares of order five, one from each isotopy class. The first square has 15 transversals, no intercalates and is the unbordered Cayley table of the cyclic group ℤ/5ℤ. The second square has three transversals and four intercalates. It represents a loop that is not a group, since, for instance, 2 + (3 + 4) = 2 + 0 = 2, while (2 + 3) + 4 = 0 + 4 = 4, so the associative law does not hold. Orders 6 to 10
The number of Latin squares, as the order increases, exhibits the phenomenon known as combinatorial explosion; for even small increases in size there correspond huge increases in varieties. The basic counts are given in the next two tables, and not much beyond what is presented here is known with exactness. History
This account follows . The counting of Latin squares has a long history, but the published accounts contain many errors. Euler in 1782, and Cayley in 1890, both knew the number of reduced Latin squares up to order five. In 1915, MacMahon approached the problem in a different way, but initially obtained the wrong value for order five. M.Frolov in 1890, and Tarry in 1901, found the number of reduced squares of order six. M. Frolov gave an incorrect count of reduced squares of order seven. R.A. Fisher and F. Yates, unaware of earlier work of E. Schönhardt, gave the number of isotopy classes of orders up to six. In 1939, H. W. Norton found 562 isotopy classes of order seven, but acknowledged that his method was incomplete. A. Sade, in 1951, but privately published earlier in 1948, and P. N. Saxena found more classes and, in 1966, D. A. Preece noted that this corrected Norton's result to 564 isotopy classes. However, in 1968, J. W. Brown announced an incorrect value of 563, which has often been repeated. He also gave the wrong number of isotopy classes of order eight. The correct number of reduced squares of order eight had already been found by M. B. Wells in 1967, and the numbers of isotopy classes, in 1990, by G. Kolesova, C.W.H. Lam and L. Thiel. The number of reduced squares for order nine was obtained by S. E. Bammel and J. Rothstein, for order 10 by B. D. McKay and E. Rogoyski, and for order 11 by B. D. McKay and I. M. Wanless. See also
List of small groups

Notes

References
 
 
 

Non-associative algebra
Latin squares