We revisit, clarify, and generalise classical results of Dickson (much later) Wagner on minimal Sym(n)- Alt(n)-modules. present a new, natural notion ‘modules with an additive dimension’ covering at once the classical, finitary case as well modules definable in o-minimal or finite Morley rank setting; this context, we fully identify faithful Alt(n)-modules least dimension.