nonzero, non-unit element p in a commutative ring R such that, whenever p divides ab for some a and b in R, then p divides a or p divides b (or both)
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).