Showing math.RAShow all
2 papers · 1 filter
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.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…