Zulip Chat Archive

Stream: maths

Topic: alg_hom

Yury G. Kudryashov (Dec 05 2021 at 22:08):

Should we redefine docs#alg_hom to be docs#non_unital_alg_hom?

Yury G. Kudryashov (Dec 05 2021 at 22:09):

It seems that the latter is more general than the former (and they're equivalent in case of unital associative algebras).

Reid Barton (Dec 05 2021 at 22:32):

Why are they equivalent? Isn't e.g. f(a)=0f(a) = 0 a non-unital alg. homomorphism between unital algebras?

Eric Wieser (Dec 05 2021 at 22:39):

If so we should add a has_zero instance

Yury G. Kudryashov (Dec 05 2021 at 23:00):

So, alg_hom is non_unital_alg_hom + map_one?

Last updated: Dec 20 2023 at 11:08 UTC