Description: There is a monoid homomorphism from the multiplicative group of a ring to the multiplicative group of the ring of scalar matrices over this ring. (Contributed by AV, 29-Dec-2019)
Ref | Expression | ||
---|---|---|---|
Hypotheses | scmatrhmval.k | |
|
scmatrhmval.a | |
||
scmatrhmval.o | |
||
scmatrhmval.t | |
||
scmatrhmval.f | |
||
scmatrhmval.c | |
||
scmatghm.s | |
||
scmatmhm.m | |
||
scmatmhm.t | |
||
Assertion | scmatmhm | |