Description: The QQHom homomorphism is a group homomorphism if the target structure is a division ring. (Contributed by Thierry Arnoux, 9-Nov-2017)
Ref | Expression | ||
---|---|---|---|
Hypotheses | qqhval2.0 | |
|
qqhval2.1 | |
||
qqhval2.2 | |
||
qqhrhm.1 | |
||
Assertion | qqhghm | |