Given a set A and an abelian group B with operators in A, in the sense of Krull and Noether, we introduce the Ore group extension B[x; σB, δB] as the additive group B[x], with A[x] as a set of operators. Here, the action of A[x] on B[x] is defined by mimicking the multiplication used in the classical case where A and B are the same ring. We derive generalizations of Vandermonde’s and Leibniz’s identities for this construction, and they are then used to establish associativity criteria.

Additionally, we prove a version of Hilbert’s basis the oremfor this structure, under the assumption that the action of A on B is what we call weakly s-unital. Finally, we apply these results to the case where B is a left module over a ring A, and specifically to the case where A and B coincide with a non-associative ring which is left distributive but not necessarily right distributive.