A closure operator respecting the modular -function
arXiv:2010.00102 · doi:10.1007/s11856-022-2362-y
Abstract
We prove some unconditional cases of the Existential Closedness problem for the modular -function. For this, we show that for any finitely generated field we can find a "convenient" set of generators. This is done by showing that in any field equipped with functions replicating the algebraic behaviour of the modular -function and its derivatives, one can define a natural closure operator in three equivalent different ways.
28 pages. Minor corrections