Metamath Proof Explorer


Table of Contents - 10.3.2. Non-unital rings ("rngs")

According to Wikipedia, "... in abstract algebra, a rng (or non-unital ring or pseudo-ring) is an algebraic structure satisfying the same properties as a [unital] ring, without assuming the existence of a multiplicative identity. The term "rng" (pronounced rung) is meant to suggest that it is a "ring" without "i", i.e. without the requirement for an "identity element"." (see https://en.wikipedia.org/wiki/Rng_(algebra), 28-Mar-2025).

  1. crng
  2. df-rng
  3. isrng
  4. rngabl
  5. rngmgp
  6. rngmgpf
  7. rnggrp
  8. rngass
  9. rngdi
  10. rngdir
  11. rngacl
  12. rng0cl
  13. rngcl
  14. rnglz
  15. rngrz
  16. rngmneg1
  17. rngmneg2
  18. rngm2neg
  19. rngansg
  20. rngsubdi
  21. rngsubdir
  22. isrngd
  23. rngpropd
  24. prdsmulrngcl
  25. prdsrngd
  26. imasrng
  27. imasrngf1
  28. xpsrngd
  29. qusrng