Zulip Chat Archive

Stream: general

Topic: trivial group / trivial module


view this post on Zulip Kenny Lau (Mar 11 2019 at 23:18):

What should the trivial group / trivial module be?

view this post on Zulip Kenny Lau (Mar 11 2019 at 23:18):

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

view this post on Zulip Kenny Lau (Mar 11 2019 at 23:18):

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

view this post on Zulip Mario Carneiro (Mar 11 2019 at 23:18):

unit?

view this post on Zulip Kenny Lau (Mar 11 2019 at 23:18):

how about punit

view this post on Zulip Kenny Lau (Mar 11 2019 at 23:19):

and which file should it go in?

view this post on Zulip Mario Carneiro (Mar 11 2019 at 23:19):

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

view this post on Zulip Mario Carneiro (Mar 11 2019 at 23:20):

which I think has more than just pi instances now

view this post on Zulip Kenny Lau (Mar 11 2019 at 23:20):

great, one more year 1 project!

view this post on Zulip Mario Carneiro (Mar 11 2019 at 23:20):

?

view this post on Zulip 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

view this post on Zulip Mario Carneiro (Mar 11 2019 at 23:21):

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

view this post on Zulip Kenny Lau (Mar 11 2019 at 23:22):

anyway would you like to do it? :P


Last updated: May 16 2021 at 05:21 UTC