Processing math: 100%

Property: (right/left) hereditary

Definition: (right hereditary) All right ideals are projective

Reference(s):

  • T. Lam. Lectures on modules and rings. (2012) @ Sections 2E, 2G, 4H, 7E

Metaproperties:

This property has the following metaproperties
  • Morita invariant
  • passes to matrix rings
  • passes to eRe for any full idempotent e
This property does not have the following metaproperties
Rings
left Name right
AQ: the ring of adeles of Q
Qx,y
Qx,y/(xy1): the Toeplitz-Jacobson algebra
Zx0,x1,x2,
i=0Q
i=1Q[[X,Y]]
limT2n(Q)
ˆZ: the profinite completion of the integers
k[x,x1;σ]
RCFMω(Q)
Tω(Q)
10-adic numbers
Base ring for R187
Berberian's incompressible Baer ring
Bergman's example showing that "compressible" is not Morita invariant
Bergman's exchange ring that isn't clean
Bergman's non-unit-regular subring
Bergman's right-not-left primitive ring
Bergman's ring with IBN
Bergman's ring without IBN
Bergman's unit-regular ring
Camillo and Nielsen's McCoy ring
Cohn's non-IBN domain
Cozzens simple, left principal, right non-Noetherian domain
Eventually constant sequences in Z
Faith-Menal counterexample
Leavitt path algebra of an infinite bouquet of circles
Left-not-right Noetherian domain
Left-not-right uniserial domain
Lipschitz quaternions
Magnus algebra on two generators over Q
Malcev's nonembeddable domain
McCoy ring that is not Abelian
McGovern's commutative Zorn ring that isn't clean
Michler & Villamayor's right-not-left V ring
Nagata's normal ring that is not analytically normal
Nielsen's semicommutative ring that isn't McCoy
Non lift/rad matrix ring over a lift/rad base ring
non-h-local domain
Non-Artinian simple ring
Non-IC polynomial ring over an IC ring
Non-symmetric 2-primal ring
O'Meara's infinite matrix algebra
Page's left-not-right FPF ring
prime, von Neumann regular, nonprimitive Leavitt path algebra
reduced I0 ring that is not exchange
reduced exchange ring which is not semiregular
Right-not-left ACC on annihilators triangular ring
Right-not-left Artinian triangular ring
Semicommutative R such that R[x] is not semicommutative
Shepherdson's domain that is not stably finite
Simple, non-Artinian, von Neumann regular ring
Small's Noetherian, non-Ore ring
Šter's clean ring with non-clean corner rings
Šter's counterexample showing "clean" is not Morita invariant
Q[[x2,x3]]
Q[Q]
Q[x,y,z]/(xz,yz)
Q[x,y]/(x2,xy)
Q[x,y]/(x2y3)
Q[X,Y](X,Y)
Q[x,y](x,y)/(x2y3)
Q[x1/2,x1/4,x1/8,...]/(x)
Q[x1,x2,,xn]
Qa,b/(a2)
R[X,Y,Z]/(X2+Y2+Z21)
R[x,y,z]/(x2,y2,xz,yz,z2xy)
R[x,y] completed I-adically with I=(x2+y21)
R[x]/(x2)
R[x1,x2,x3,]
Z+xQ[x]
Z/(n), n divisible by two primes and a square
Z/(pk), p a prime, k>1
Z[x]
Z[X]/(X2,4X,8)
Z[X]/(X2,8)
Z[x]/(x21)
Z[x0,x1,x2,]
Zx,y/(y2,yx)
i=1Z/(2i)
i=1F2
C([0,1]), the ring of continuous real-valued functions on the unit interval
C0(R): the ring of germs of smooth functions on R at 0
F2[Q8]
F2[S4]
F2[x,y]/(x,y)2
k[[x,y]]/(x2,xy)
k[x;σ]/(x2) (Artinian)
k[x;σ]/(x2) (not right Artinian)
2-dimensional uniserial domain
2-truncated Witt vectors over F2((t))
Akizuki's counterexample
Algebraic integers
Base ring for R197
Basic ring of Nakayama's QF ring
Bass's right-not-left perfect ring
Bergman's primitive finite uniform dimension ring
catenary, not universally catenary
Chase's left-not-right semihereditary ring
Clark's uniserial ring
Cohn's Schreier domain that isn't GCD
Custom Krull dimension valuation ring
Domanov's prime, nonprimitive, von Neumann regular ring
Facchini's torch ring
Finitely cogenerated, not semilocal ring
Full linear ring of a countable dimensional right vector space
Goodearl's simple self-injective operator algebra
Goodearl's simple self-injective von Neumann regular ring
Grams' atomic domain which doesn't satisfy ACCP
Grassmann algebra (V), dim(V)=0
Hochster's connected, nondomain, locally-domain ring
Interval monoid ring
Kasch not semilocal ring
Kerr's Goldie ring with non-Goldie matrix ring
Kerr's non-Goldie matrix ring
Left-not-right pseudo-Frobenius ring
Local right-not-left Kasch ring
Mori but not Krull domain
Nagata ring that not quasi-excellent
Nagata's Noetherian infinite Krull dimension ring
Nakayama's quasi-Frobenius ring that isn't Frobenius
Nielsen's right UGP, not left UGP ring
Noetherian domain that is not N-1
Non strongly π-regular matrix ring over a strongly π-regular ring
Non-IC matrix ring over an IC ring
Non-Ore matrix ring over an Ore base ring
Nonlocal endomorphism ring of a uniserial module
Osofsky's 32 element ring
Osofsky's Type I ring
Perfect non-Artinian ring
Perfect ring that isn't semiprimary
Progression free polynomial ring
Pseudo-Frobenius, not quasi-Frobenius ring
Puninski's triangular serial ring
Quasi-continuous ring that is not Ikeda-Nakayama
Ram's Ore extension ring
Reversible non-symmetric ring
Right-not-left coherent ring
Right-not-left Kasch ring
Right-not-left nonsingular ring
Right-not-left simple injective ring
ring of germs of holomorphic functions on Cn, n>1
Ring of holomorphic functions on C
Ring of integer valued polynomials over the rationals
Samuel's UFD having a non-UFD power series ring
Simple, Noetherian ring with zero divisors and trivial idempotents
Square of a torch ring
Strongly π-regular base ring
Trivial extension torch ring
Varadarajan's left-not-right coHopfian ring
2-adic integers: Z2
C: the field of complex numbers
H: Hamilton's quaternions
H[X]
Q: the field of rational numbers
Q(x): rational functions over the rational numbers
Q+FMω(Q)
Q[[X]]
Q[x,x1]: Laurent polynomials
Q[x]
R: the field of real numbers
R[[x]]
R[x,y]/(x2+y21): ring of trigonometric functions
Z: the ring of integers
Z/(2)
Z/(n), n squarefree and not prime
Z/(p), p an odd prime
Z[1+192]
Z[5]
Z[i]: the Gaussian integers
ZS, where S=((2)(3))c
Z(2)
limQ2n
limM2n(Q)
R: the field of hyperreal numbers
C2,1(R): the geometric algebra of Minkowski 3-space
Fp(x)
M2(H[X])
Mn(Q)
Mn(F2)
Tn(Q): the upper triangular matrix ring over Q
Tn(F2)
Tn(Fq)
Algebra of differential operators on the line (1st Weyl algebra)
Algebraic closure of F2
Cohn's right-not-left free ideal ring
Countably infinite boolean ring
Cozzens' simple V-domain
Division algebra with no anti-automorphism
Division ring with an antihomomorphism but no involution
DVR that is not N-2
field of 2-adic numbers
Field of algebraic numbers
Field of constructible numbers
Henselization of Z(2)
Hurwitz quaternions
Kaplansky's right-not-left hereditary ring
Kolchin's simple V-domain
Noetherian ring that is not Grothendieck and not Nagata
Principal ideal domain that is not Nagata
Rational quaternions
Right-not-left Noetherian triangular ring
Small's right hereditary, not-left semihereditary ring
Legend
  • = has the property
  • = does not have the property
  • = information not in database