1: \begin{abstract}

2: We introduce the notion of an `inverse property' (IP)  quandle $\CC$ which we propose as the right notion of `Lie algebra' in the category of sets. To any IP quandle we construct an associated group $G_\CC$. For a class of IP quandles which we call `locally skew' and when $G_\CC$ is finite we show that  the noncommutative de~Rham cohomology $H^1(G_\CC)$ is trivial aside from a single generator $\theta$ that has no classical analogue. If we start with a group $G$ then any subset $\CC\subseteq G\setminus\{e\}$ which is ad-stable and inversion-stable naturally has the structure of an IP quandle. If $\CC$ also generates $G$ then we show that $G_\CC\twoheadrightarrow G$ with central kernel, in analogy with the similar result for the simply-connected covering group of a Lie group. We prove that this `covering map' $G_\CC\twoheadrightarrow G$  is an isomorphism for all finite crystallographic reflection groups $W$ with $\CC$ the set of reflections, and that $\CC$ is locally skew precisely in the simply laced case. This implies that $H^1(W)=k$ when $W$ is simply laced, proving in particular a conjecture for $S_n$ in \cite{Ma:perm}. We obtain similar results for the dihedral groups $D_{6m}$. We also consider $\CC=\Z P^1\cup\Z P^1$ as a locally skew IP-quandle `Lie algebra'  of $SL_2(\Z)$ and show that $G_\CC\cong B_3$, the braid group on 3 strands. The map $B_3\twoheadrightarrow SL_2(\Z)$ which therefore arises naturally as a covering map in our theory, coincides with the restriction of the usual universal covering map $\widetilde {SL_2(\R)}\to SL_2(\R)$ to the inverse image of $SL_2(\Z)$.  \end{abstract}

3: