Math 2.0

Associative rings and algebras Definition

Eilenberg swindle

Builds on Module over a ringFree moduleProjective module

Definition

Let RR be a ring, and let PP and QQ be left RR-modules such that P⊕Q≅FP \oplus Q \cong F for a free module FF. Let F(∞)=F⊕F⊕⋯F^{(\infty)} = F \oplus F \oplus \cdots be the direct sum of countably many copies of FF. The Eilenberg swindle is the chain of isomorphisms P⊕F(∞)≅P⊕(Q⊕P)⊕(Q⊕P)⊕⋯≅(P⊕Q)⊕(P⊕Q)⊕⋯≅F(∞),P \oplus F^{(\infty)} \cong P \oplus (Q \oplus P) \oplus (Q \oplus P) \oplus \cdots \cong (P \oplus Q) \oplus (P \oplus Q) \oplus \cdots \cong F^{(\infty)}, obtained by regrouping the summands of a countable direct sum. Its conclusion is that P⊕F(∞)≅F(∞)P \oplus F^{(\infty)} \cong F^{(\infty)}, where F(∞)F^{(\infty)} is free.

Remarks

Example: every projective module PP is a direct summand of a free module FF, so the swindle applies to it. Take R=ℤ/6ℤR = \Z/6\Z and P=3ℤ/6ℤP = 3\Z/6\Z, Q=2ℤ/6ℤQ = 2\Z/6\Z; then P⊕Q≅RP \oplus Q \cong R, and the swindle gives P⊕R(∞)≅R(∞)P \oplus R^{(\infty)} \cong R^{(\infty)}, although PP itself is not free.

Non-example: the regrouping needs infinitely many summands. With finitely many summands the argument breaks. Indeed, for RR commutative and P≠0P \ne 0, the isomorphism P⊕Rn≅RnP \oplus R^n \cong R^n fails. To see this, compare dimensions over the residue field at a prime where PP is nonzero.

For this reason the Grothendieck group K0(R)K_0(R) uses only finitely generated projective modules: with countably generated ones every class would vanish.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Free module concept
  2. Module over a ring concept
  3. Projective module concept
  4. Eilenberg swindle definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Eilenberg%E2%80%93Mazur_swindle
About this page
TagEW56H41PKJ
URIm2://EW56H41PKJ
Kinddefinition
WritingW0 stub
MSC16D40, 16E20, 19A13
DefinesEilenberg swindle
UsesModule over a ring, Free module, Projective module

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.