## 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):

(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!

?

#### 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: May 16 2021 at 05:21 UTC