New Reward Bounties (Quotient Group)

by BlakeKeiller, Sunday, February 07, 2021, 16:12 (301 days ago) @ BlakeKeiller

Group_quotient_Group : TMUr46xAZ376uB2xtmyAJuuGXT9oYz4Q5ZG
Group (quotient_Group Gs Ns).

canonmap_quotient_Group : TMLxNUh3AQYcQhGmW7VzU77wewxNJTxvrAh
Group_Hom Gs (quotient_Group Gs Ns) (fun a :e G => canonical_elt (normal_subgroup_equiv Gs Ns) a).


Complete thread:

 RSS Feed of thread

powered by my little forum