Zulip Chat Archive
Stream: Is there code for X?
Topic: Linear map from the base ring
Antoine Labelle (Apr 22 2022 at 02:50):
Let M be an R-module and m : M. I'm looking for the definition of the unique linear map R →ₗ[R] M sending 1 to m.
Junyan Xu (Apr 22 2022 at 03:23):
docs#linear_map.ring_lmap_equiv_self
Adam Topaz (Apr 22 2022 at 03:27):
You can use docs#basis.singleton along with...
Adam Topaz (Apr 22 2022 at 03:29):
You can use docs#basis.singleton along with...
Adam Topaz (Apr 22 2022 at 03:29):
Or that!
Last updated: Dec 20 2023 at 11:08 UTC