Androma
Knowledge Base

Theorems

Proven results, with proofs, prerequisites, and citations.

Characteristic of an Integral Domain Is Zero or Prime

#2578
Statement

Cancellation in Integral Domains

#2577
Statement

Units Are Not Zero Divisors

#2576
Statement

Negation and Multiplication in Rings

#2573
Statement

Zero Annihilation in Rings

#2572
Statement