1: \begin{abstract}

2: An important and long-standing open problem in universal algebra asks whether

3: every finite lattice is isomorphic to the congruence lattice of a finite

4: algebra. Until this problem is resolved, our understanding of finite algebras is 

5: incomplete, since, given an arbitrary finite algebra, we cannot say whether

6: there are any restrictions on the shape of its congruence lattice. If we find a

7: finite lattice that does not occur as the congruence lattice of a finite algebra

8: (as many suspect we will), then we can finally declare that such restrictions do

9: exist.   

10: 

11: By a well known result of \Palfy\ and \Pudlak, the problem would be solved if we

12: could prove the existence of a finite lattice that is not the congruence lattice

13: of a transitive group action or, equivalently, is not an interval in the lattice

14: of subgroups of a finite group.  Thus the problem of characterizing

15: congruence lattices of finite algebras is closely related to the problem of

16: characterizing intervals in subgroup lattices.

17: 

18: In this work, we review a number of methods for finding a finite algebra with a

19: given congruence lattice, including searching for intervals in

20: subgroup lattices.  We also consider methods for proving that algebras with a given

21: congruence lattice exist without actually constructing them. By combining these

22: well known methods with a new method we have developed, and with much help from

23: computer software like the \uacalc\ and \GAP, we prove that with one possible

24: exception every lattice with at most seven elements is isomorphic to the

25: congruence lattice of a finite algebra.  As such, we have identified the unique

26: smallest lattice for which there is no known representation. 

27: We examine this exceptional lattice in detail, and prove results that

28: characterize the class of algebras that could possibly represent this lattice.

29: 

30: We conclude with what we feel are the most interesting open questions

31: surrounding this problem and discuss possibilities for future work. 

32: 

33: \end{abstract}

34: