PR #12310: feat(group_theory/torsion): Q/Z and Fq[X] are ...

Stream: triage

[Random Issue Bot]

Today I chose PR 12310 for discussion!

feat(group_theory/torsion): Q/Z and Fq[X] are torsion groups
Created by @Julian Berman (@Julian) on 2022-02-26
Labels: awaiting-author, merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?

[Julian Berman]

Half of this is merged in a different PR. The other remaining half about Q/Z specifically I don't know the math for knowing what a general version looks like (i.e. whether it generalizes further), but I meant to think a bit before asking. If it doesn't easily generalize I was going to submit as part of some other PR with more facts about Q/Z.

[Julian Berman]

Which in short I suppose means I can close that PR.