1: \begin{abstract}

2: A finite group of order $n$ can be represented by its Cayley table. In the word-RAM model the Cayley table of a group of order $n$ can be stored using $O(n^2)$ words and can be used to answer a multiplication query in constant time. It is interesting to ask if we can design a data structure to store a group of order $n$ that uses $o(n^2)$ space but can still answer a multiplication query in constant time. 

3: 

4: We design a constant query-time data structure that can store any finite group using  $O(n)$ words where $n$ is the order of the group.

5: 

6: Farzan and Munro (ISSAC 2006) gave an information theoretic lower bound of $\Omega(n)$ on the number of words to store a group of order $n$. Since our data structure achieves this lower bound and answers queries in constant time, it is optimal in both space usage and query-time.

7: 

8: A crucial step in the process is essentially to design linear space and constant query-time data structures for nonabelian simple groups. The data structures for nonableian simple groups are designed using a lemma that we prove using the Classification Theorem for Finite Simple Groups (CFSG).

9: 

10: 

11: 

12: \keywords{Compact Data Structures \and Space Efficient Representations \and Finite Groups \and Simple Groups \and Classification Theorem for Finite Simple Groups}

13: 

14: {\bf Related Version:} A preliminary version of this article appeared in the proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022).

15: 

16: 

17: 

18: %\keywords{First keyword  \and Second keyword \and Another keyword.}

19: \end{abstract}

20: