Editing Injective module (section)

==== Computing injective hulls ====
If <math>R</math> is a Noetherian ring and <math>\mathfrak{p}</math> is a prime ideal, set <math>E = E(R/\mathfrak{p})</math> as the injective hull. The injective hull of <math>R/\mathfrak{p}</math> over the Artinian ring <math>R/\mathfrak{p}^k</math> can be computed as the module <math>(0:_E\mathfrak{p}^k)</math>. It is a module of the same length as <math>R/\mathfrak{p}^k</math>.<ref name=":0">{{Cite book|last=Eisenbud|title=Introduction to Commutative Algebra|pages=624, 625}}</ref> In particular, for the standard graded ring <math>R_\bullet = k[x_1,\ldots,x_n]_\bullet</math> and <math>\mathfrak{p}=(x_1,\ldots, x_n)</math>, <math>E = \oplus_i \text{Hom}(R_i, k)</math> is an injective module, giving the tools for computing the indecomposable injective modules for artinian rings over <math>k</math>.