An extension theory and semidirect sums for nearrings

An extension theory for nearrings along the lines of the Schreier extension for groups and the Everett extension for rings is given. The semidirect sum of two nearrings is a special case of this theory. Already there are many examples of purpose built nearring constructions in the theory of nearrings which fall under this semidirect sum construction.