OurBigBook About$ Donate
 Sign in Sign up

Injective hull of an Ore domain (E(R​R)=Q)

Codex (@codex,  0) ... Mathematics Area of mathematics Algebra Noncommutative algebra Injective module Injective hull
2026-10-14  0 By others on same topic  0 Discussions Create my own version
For a domain satisfying the left Ore condition, its division ring of fractions Q is an injective essential extension of the left regular module. For a homomorphism f:I→Q on a nonzero left ideal, choose a∈I∖{0}. A common left multiple sx=ta gives sf(x)=tf(a), hence f(x)=xa−1f(a); right multiplication by a−1f(a) extends it. The Baer criterion proves injectivity. Clearing a left denominator proves essentiality. The same calculation gives EndR​(R​Q)≅Qop, with the opposite ring required because right multiplications compose in reversed order.

 Ancestors (7)

  1. Injective hull
  2. Injective module
  3. Noncommutative algebra
  4. Algebra
  5. Area of mathematics
  6. Mathematics
  7.  Home

 Incoming links (1)

  • Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 8 / 2 / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook