Pith. sign in

REVIEW 1 cited by

Domains whose ideals meet a universal restriction

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2006.04135 v2 pith:EPURG72A submitted 2020-06-07 math.AC

Domains whose ideals meet a universal restriction

classification math.AC
keywords vartriangleleftidealscontaineddomainsidealmeetssatisfyingabove
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

Let $S(D)$ represent a set of proper nonzero ideals $I(D)$ (resp., $t$ -ideals $I_{t}(D)$) of an integral domain $D\neq qf(D)$ and let $P$ be a valid property of ideals of $D.$ We say $S(D)$ meets $P$ (denoted $ S(D)\vartriangleleft P)$ if each $s\in S(D)$ is contained in an ideal satisfying $P$. If $S(D)$ $\vartriangleleft P,$ $\dim (D)$ can't be controlled. When $R=D[X],$ $I(D)$ $\vartriangleleft P$ does not imply $I(R)$ $\vartriangleleft P$ while $I_{t}(D)$ $\vartriangleleft P$ implies $I_{t}(R)$ $\vartriangleleft P$ usually. We say $S(D)$ meets $P$ with a twist $($ written $S(D)\vartriangleleft ^{t}P)$ if each $s\in S(D)$ is such that, for some $n\in N,$ $s^{n}$ is contained in an ideal satisfying $P$ and study $ S(D)\vartriangleleft ^{t}P,$ as its predecessor. A modification of the above approach is used to give generalizations of Almost Bezout domains.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On some open problems in commutative algebra resolved by Rethlas

    math.AC 2026-05 unverdicted novelty 6.0

    Rethlas AI produces human-verified proofs resolving open problems in commutative algebra.