Skip to main content
removed capitals from title
Link
YCor
  • 63.9k
  • 5
  • 187
  • 285

Solid Ringsrings and Tor

changed "subrings of $R\subseteq\mathbb{Q}$" to "subrings of $\mathbb{Q}$" - if you look, you'll see this was what was meant.
Source Link
John Baez
  • 22.2k
  • 3
  • 85
  • 169

A solid ring is a ring $R$ such that the multiplication $R\otimes_{\mathbb{Z}} R \to R$ is an isomorphism.
These were classified by Bousfield and Kan; they are

  1. subrings of $R\subseteq\mathbb{Q}$$\mathbb{Q}$,

  2. $\mathbb{Z}/n$,

  3. products $R\times \mathbb{Z}/n$ with $R\subseteq \mathbb{Q}$ and every divisor of $n$ invertible in $R$

  4. colimits of these.

I wonder how small the list gets if I put the additional constraint that $\mathrm{Tor}_{\mathbb{Z}}(R,R) = 0$.

REFERENCE: Bousfield, A. K.; Kan, D. M. The core of a ring. J. Pure Appl. Algebra 2 (1972), 73–81.

A solid ring is a ring $R$ such that the multiplication $R\otimes_{\mathbb{Z}} R \to R$ is an isomorphism.
These were classified by Bousfield and Kan; they are

  1. subrings of $R\subseteq\mathbb{Q}$,

  2. $\mathbb{Z}/n$,

  3. products $R\times \mathbb{Z}/n$ with $R\subseteq \mathbb{Q}$ and every divisor of $n$ invertible in $R$

  4. colimits of these.

I wonder how small the list gets if I put the additional constraint that $\mathrm{Tor}_{\mathbb{Z}}(R,R) = 0$.

REFERENCE: Bousfield, A. K.; Kan, D. M. The core of a ring. J. Pure Appl. Algebra 2 (1972), 73–81.

A solid ring is a ring $R$ such that the multiplication $R\otimes_{\mathbb{Z}} R \to R$ is an isomorphism.
These were classified by Bousfield and Kan; they are

  1. subrings of $\mathbb{Q}$,

  2. $\mathbb{Z}/n$,

  3. products $R\times \mathbb{Z}/n$ with $R\subseteq \mathbb{Q}$ and every divisor of $n$ invertible in $R$

  4. colimits of these.

I wonder how small the list gets if I put the additional constraint that $\mathrm{Tor}_{\mathbb{Z}}(R,R) = 0$.

REFERENCE: Bousfield, A. K.; Kan, D. M. The core of a ring. J. Pure Appl. Algebra 2 (1972), 73–81.

fix error
Source Link
Jeff Strom
  • 12.5k
  • 3
  • 48
  • 76

A solid ring is a ring $R$ such that the multiplication $R\otimes_{\mathbb{Z}} R \to R$ is an isomorphism.
These were classified by Bousfield and Kan; they are

  1. subrings of $R\subseteq\mathbb{Q}$,

  2. $\mathbb{Z}/n$,

  3. products $R\times \mathbb{Z}/n$ with $R\subseteq \mathbb{Q}$ and noevery divisor of $n$ invertible in $R$

  4. colimits of these.

I wonder how small the list gets if I put the additional constraint that $\mathrm{Tor}_{\mathbb{Z}}(R,R) = 0$.

REFERENCE: Bousfield, A. K.; Kan, D. M. The core of a ring. J. Pure Appl. Algebra 2 (1972), 73–81.

A solid ring is a ring $R$ such that the multiplication $R\otimes_{\mathbb{Z}} R \to R$ is an isomorphism.
These were classified by Bousfield and Kan; they are

  1. subrings of $R\subseteq\mathbb{Q}$,

  2. $\mathbb{Z}/n$,

  3. products $R\times \mathbb{Z}/n$ with $R\subseteq \mathbb{Q}$ and no divisor of $n$ invertible in $R$

  4. colimits of these.

I wonder how small the list gets if I put the additional constraint that $\mathrm{Tor}_{\mathbb{Z}}(R,R) = 0$.

REFERENCE: Bousfield, A. K.; Kan, D. M. The core of a ring. J. Pure Appl. Algebra 2 (1972), 73–81.

A solid ring is a ring $R$ such that the multiplication $R\otimes_{\mathbb{Z}} R \to R$ is an isomorphism.
These were classified by Bousfield and Kan; they are

  1. subrings of $R\subseteq\mathbb{Q}$,

  2. $\mathbb{Z}/n$,

  3. products $R\times \mathbb{Z}/n$ with $R\subseteq \mathbb{Q}$ and every divisor of $n$ invertible in $R$

  4. colimits of these.

I wonder how small the list gets if I put the additional constraint that $\mathrm{Tor}_{\mathbb{Z}}(R,R) = 0$.

REFERENCE: Bousfield, A. K.; Kan, D. M. The core of a ring. J. Pure Appl. Algebra 2 (1972), 73–81.

fixed classification of solid rings
Source Link
Jeff Strom
  • 12.5k
  • 3
  • 48
  • 76
Loading
fixed inaccuracies
Source Link
Jeff Strom
  • 12.5k
  • 3
  • 48
  • 76
Loading
Source Link
Jeff Strom
  • 12.5k
  • 3
  • 48
  • 76
Loading