3f7cae1877b0cc2c.tex
1: \begin{abstract}
2:   In this paper we initiate the study of racks from the combined perspective of
3:   combinatorics and finite group theory. A rack $R$ is a set with a self-distributive
4:   binary operation. 
5:   We study the combinatorics of the partially ordered set $\srl(R)$ 
6:   of all subracks of $R$ with inclusion as the order relation. 
7:   Groups $G$ with the conjugation operation provide an important class
8:   of racks. For the case $R = G$ we show that  
9:   \begin{itemize}
10:      \item the order complex of $\srl(R)$ has the homotopy type of a sphere,
11:      \item the isomorphism type of $\srl(R)$ determines if $G$ is abelian,
12:            nilpotent, supersolvable, solvable or simple,
13:      \item $\srl(R)$ is graded if and only if $G$ is abelian, $G = S_3$, $G = D_8$ or $G = Q_8$.
14:   \end{itemize}
15:   In addition, we provide some examples of subracks $R$ of a group $G$
16:   for which $\srl(R)$ relates to well studied combinatorial structures.
17:   In particular, the examples show that the order complex of $\srl(R)$ for 
18:   general $R$ is more complicated than in the case $R = G$.
19: \end{abstract}
20: