3 papers
math.RA2025
A quantitative Hilbert's basis theorem and the constructive Krull dimension
Ryota Kuroki
In classical mathematics, Gulliksen has introduced the length of Noetherian modules, and Brookfield has determined the length of Noetherian polynomial rings. Brookfield's result ca…
math.AC2025
A quantitative general Nullstellensatz for Jacobson rings
Ryota Kuroki
The general Nullstellensatz states that if is a Jacobson ring, is Jacobson. We introduce the notion of an -Jacobson ring for an ordinal and prove a quantitative v…
math.RA2024
A constructive counterpart of the subdirect representation theorem for reduced rings
Ryota Kuroki
We give a constructive counterpart of the theorem of Andrunakievič and Rjabuhin, which states that every reduced ring is a subdirect product of domains. As an application, we extra…