Hilbert's basis theorem for non-associative and hom-associative Ore extensions

Per Bäck, Johan Richter

We prove a hom-associative version of Hilbert's basis theorem, which includes as special cases both a non-associative version and the classical associative Hilbert's basis theorem…