Published online by Cambridge University Press: 20 January 2009
If G is a group and N a ring, the elements of the group ring NG can be thought of either as formal sums or as functions Φ:G→Nwith finite support. If N is a nearring, problems arise in trying to construct a group near-ring either way. In the first case, Meldrum [7] was abl to exploit properties of distributively generated near-rings (N, S) to build free (N,S)-products and hence a near-ring analogue of a group ring. For the latter case, Heatherly and Ligh [3] observed that the set of functions could be made into a near-ring under multiplication given by provided N satisfies
for all ai,bin∈N and k∈Z+. Such near-rings are called pseudo-distributive. In fact these are precisely the conditions under which the set Nk of k x k matrices over N is also a near-ring and then both NG and Nk are pseudo-distributive.