Zulip Chat Archive

Stream: general

Topic: trivial group / trivial module


Kenny Lau (Mar 11 2019 at 23:18):

What should the trivial group / trivial module be?

Kenny Lau (Mar 11 2019 at 23:18):

I'm asking about the canonical construction, not the Stricklandization

Kenny Lau (Mar 11 2019 at 23:18):

(btw the Stricklandization is the predicate that the identity endomorphism is the trivial endomorphism)

Mario Carneiro (Mar 11 2019 at 23:18):

unit?

Kenny Lau (Mar 11 2019 at 23:18):

how about punit

Kenny Lau (Mar 11 2019 at 23:19):

and which file should it go in?

Mario Carneiro (Mar 11 2019 at 23:19):

I guess it should be around the same place as algebra.pi_instances

Mario Carneiro (Mar 11 2019 at 23:20):

which I think has more than just pi instances now

Kenny Lau (Mar 11 2019 at 23:20):

great, one more year 1 project!

Mario Carneiro (Mar 11 2019 at 23:20):

?

Kenny Lau (Mar 11 2019 at 23:20):

as in, nobody would want to do it, so let's have the year 1's do it

Mario Carneiro (Mar 11 2019 at 23:21):

aha, I haven't been keeping up with the private streams (cause they're private...)

Kenny Lau (Mar 11 2019 at 23:22):

anyway would you like to do it? :P


Last updated: Dec 20 2023 at 11:08 UTC