Ancestors

Written by Trebor on 2025-01-31 at 15:05

K(G,1) can be defined as the type of G-torsors, and addition corresponds to taking the tensor product (in the obvious way). So what's the multiplication when G is a ring?

=> More informations about this toot | More toots from trebor@types.pl

Toot

Written by Naïm Camille Favier on 2025-01-31 at 15:32

@trebor I'm confused. Addition in G is loop concatenation in K(G, 1). What does that have to do with tensor products?

=> More informations about this toot | More toots from ncf@types.pl

Descendants

Written by Trebor on 2025-01-31 at 15:34

@ncf There is a unique map K(G,1)^2 -> K(G,1) such that the action on the loop space is addition in G

=> More informations about this toot | More toots from trebor@types.pl