1: \begin{abstract}
2: We introduce an abstract notion of a 3D-rotation module for a group $G$ that does not require the module to carry a vector space structure, a priori nor a posteriori. Our first result shows that, under an expected irreducibility-like assumption, the only finite $G$ with such a module are those already known from the classical setting: $\Alt(4)$, $\Sym(4)$, and $\Alt(5)$. Our second result then studies the module structure when $G = \Alt(5)$ and shows that, under certain natural restrictions, it is fully determined and generalizes that of the classical icosahedral module.% when $G\le \SO_3(\R)$.
3:
4: We include an application to the recently introduced setting of modules
5: with an additive dimension, a general setting allowing for simultaneous treatment of classical representation theory of finite groups as well as representations within various well-behaved model-theoretic settings such as the $o$-minimal and finite Morley rank ones.
6: Leveraging our recognition result for icosahedral modules, we classify the faithful $\Alt(5)$-modules with additive dimension that are dim-connected of dimension $3$ and without $2$-torsion.
7: %We include an application to modules with additive dimension, which is a recently introduced setting that allows for simultaneous treatment of classical representation theory as well as representations of finite groups within various well-behaved model-theoretic settings, such as $o$-minimality and finite Morley rank. Leveraging our analysis of 3D-rotation modules for $\Alt(5)$, we classify those faithful $\Alt(5)$-modules with additive dimension that are dim-connected of dimension $3$ and without $2$-torsion.
8: \end{abstract}
9: