This is a rough overview of my thoughts on a thing I've been thinking about, and as such is incomplete and may contain errors. Proofs have been omitted when writing them out would be at all tedious.
Edit: It has been pointed out to me that near-ring modules have already been defined, and the objects I describe in this post are just near-ring modules where the near-ring happens to be a ring.
As you all know (those of you who have the background for this post, anyway), an -module is an abelian group (written additively) together with a multiplication map such that for all and , , , , and .
What if we don't want to restrict attention to abelian groups? One could attempt to define a nonabelian module using the same axioms, but without the restriction that the group be abelian. As it is customary to write groups multiplicatively if they are not assumed to be abelian, we will do that, and the map will be written as exponentiation (since exponents are written on the right, I'll follow the definition of right-modules, rather than left-modules). The axioms become: for all and , , , , and .
What has changed? Absolutely nothing, as it turns out. The first axiom says again that is abelian, because . We'll have to get rid of that axiom. Our new definition, which it seems to me captures the essence of a module except for abelianness:
A nonabelian -module is a group (written multiplicatively) together with a scalar exponentiation map such that for all and , , , and .
These imply that , , and is the inverse of , because , , and .
Just like a -module is just an abelian group, a nonabelian -module is just a group. Just like a -module is an abelian group whose exponent divides , a nonabelian -module is a group whose exponent divides .
Exponentiation-like families of operations
Perhaps a bit more revealing is what nonabelian modules over free rings look like, since then the generators are completely generic ring elements. Where is the generating set, a -module is an abelian group together with endomorphisms , which tells us that modules are about endomorphisms of an abelian group indexed by the elements of a ring. Nonabelian modules are certainly not about endomorphisms. After all, in a nonabelian group, the map is not an endomorphism. I will call the things that nonabelian modules are about "exponentiation-like families of operations'', and give four equivalent definitions, in roughly increasing order of concreteness and decreasing order of elegance. Definition 2 uses basic model theory, so skip it if that scares you. Definition 3 is the "for dummies'' version of definition 2.
Definition 0: Let be a group, and let be a family of functions from to (not necessarily endomorphisms). If can be made into a nonabelian -module such that for and , then is called an exponentiation-like family of operations on . If so, the nonabelian -module structure on with that property is unique, so define to be its value according to that structure, for and .
Definition 1: is an exponentiation-like family of operations on if for all , the smallest subgroup containing which is closed under actions by elements of (which I will call ) is abelian, and the elements of restrict to endomorphisms of it. Using the universal property of , this induces a homomorphism . Let denote the action of on under that map, for . By , I mean the endomorphism ring of with composition running in the opposite direction (i.e., the multiplication operation given by ). This is because of the convention that nonabelian modules are written as nonabelian right-modules by default.
Definition 2: Let consider the language , where is the language of rings, and each element of is used as a constant symbol. Closed terms in act as functions from to , with the action of written as , defined inductively as: , , for , , , and for closed -terms and . is called an exponentiation-like family of operations on if whenever , where is the theory of rings. If is an exponentiation-like family of operations on and is a noncommutative polynomial with variables in , then for , is defined to be where is any term representing .
Definition 3: Pick a total order on the free monoid on (e.g. by ordering and then using the lexicographic order). The order you use won't matter. Given and in the free monoid on , let . Where is a noncommutative polynomial, for some and decreasing sequence of noncommutative monomials (elements of the free monoid on ). Let . is called an exponentiation-like family of operations on if for every and , and .
These four definitions of exponentiation-like family are equivalent, and for exponentiation-like families, their definitions of exponentiation by a noncommutative polynomial are equivalent.
Facts: is an exponentiation-like family of operations on . If is an exponentiation-like family of operations on and , then so is . If is abelian, then is exponentiation-like. Given a nonabelian -module structure on , the actions of the elements of on form an exponentiation-like family. In particular, if is an exponentiation-like family of operations on , then so is , with the actions being defined as above.
[The following paragraph has been edited since this comment.]
For an abelian group , the endomorphisms of form a ring , and an -module structure on is simply a homomorphism . Can we say a similar thing about exponentiation-like families of operations of ? Let be the set of all functions (as sets). Given , let multiplication be given by composition: , addition be given by , negation be given by , and and be given by and . This makes into a near-ring. A nonabelian -module structure on is a homomorphism , and a set of operations on is an exponentiation-like family of operations on if and only if it is contained in a ring which is contained in .
Some aimless rambling
What are some interesting examples of nonabelian modules that are not abelian? (That might sound redundant, but "nonabelian module'' means that the requirement of abelianness has been removed, not that a requirement of nonabelianness has been imposed. Perhaps I should come up with better terminology. To make matters worse, since the requirement that got removed is actually stronger than abelianness, there are nonabelian modules that are abelian and not modules. For instance, consider the nonabelian -module whose underlying set is the Klein four group (generated by two elements ) such that , , and .)
In particular, what do free nonabelian modules look like? The free nonabelian -modules are, of course, free groups. The free nonabelian -modules have been studied in combinatorial group theory; they're called Burnside groups. (Fun but tangential fact: not all Burnside groups are finite (the Burnside problem), but despite this, the category of finite nonabelian -modules has free objects on any finite generating set, called Restricted Burnside groups.)
The free nonabelian -modules are monstrosities. They can be constructed in the usual way of constructing free objects in a variety of algebraic structures, but that construction seems not to be very enlightening about their structure. So I'll give a somewhat more direct construction of the free nonabelian -module on generators, which may also not be that enlightening, and which is only suspected to be correct. Define an increasing sequence of groups , and functions , as follows: is the free group on generators. Given , and given a subgroup , let the top-degree portion of be for the largest such that this is nontrivial. Let be the free product of the top-degree portions of maximal abelian subgroups of . Let be the free product of with modulo commutativity of the maximal abelian subgroups of with the images of their top-degree portions in . Given a maximal abelian subgroup , let be the homomorphism extending which sends the top-degree portion identically onto its image in . Since every non-identity element of is in a unique maximal abelian subgroup, this defines . with is the free nonabelian -module on generators. If is a set, the free nonabelian -modules can be constructed similarly, with copies of at each step. Are these constructions even correct? Are there nicer ones?
A nonabelian -module would be a group with a formal square root operation. As an example, any group of odd exponent can be made into a -module in a canonical way by letting . More generally, any group of finite exponent can be made into a -module in a similar fashion. Are there any more nice examples of nonabelian modules over localizations of ?
In particular, a nonabelian -module would be a group with formal th root operations for all . What are some nonabelian examples of these? Note that nonabelian -modules cannot have any torsion, for suppose for some . Then . More generally, nonabelian modules cannot have any -torsion (meaning ) for any which is invertible in the scalar ring.
The free nonabelian -modules can be constructed similarly to the construction of free nonabelian -modules above, except that when constructing from and , we also mod out by elements of being equal to the th powers of their images in . Using the fact that , this lets us modify the construction of free nonabelian -modules to give us a construction of free nonabelian -modules. Again, is there a nicer way to do it?
Topological nonabelian modules
It is also interesting to consider topological nonabelian modules over topological rings; that is, nonabelian modules endowed with a topology such that the group operation and scalar exponentiation are continuous. A module over a topological ring has a canonical finest topology on it, and the same remains true for nonabelian modules. For finite-dimensional real vector spaces, this is the only topology. Does the same remain true for finitely-generated nonabelian -modules? Finite-dimensional real vector spaces are complete, and topological nonabelian modules are, in particular, topological groups, and can thus be made into uniform spaces, so the notion of completeness still makes sense, but I think some finitely-generated nonabelian -modules are not complete.
A topological nonabelian -module is a sort of Lie group-like object. One might try constructing a Lie algebra for a complete nonabelian -module by letting the underlying set be , and defining and . One might try putting a differential structure on such that this is the Lie algebra of left-invariant derivations. Does this or something like it work?
A Lie group is a nonabelian -module if and only if its exponential map is a bijection between it and its Lie algebra. In this case, scalar exponentiation is closely related to the exponential map by a compelling formula: . As an example, the continuous Heisenberg group is a nonabelian -module which is not abelian. This observation actually suggests a nice class of examples of nonabelian modules without a topology: given a commutative ring , the Heisenberg group over is a nonabelian -module.
The Heisenberg group of dimension over a commutative ring has underlying set , with the group operation given by . The continuous Heisenberg group means the Heisenberg group over . Scalar exponentiation on a Heisenberg group is just given by scalar multiplication: .