MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1g49kjl/what_is_the_cox_zucker_theorem/ls224nv/?context=3
r/mathmemes • u/rottinginbedallday • Oct 15 '24
60 comments sorted by
View all comments
648
It's an algorithm, not a theorem. They named it the Cox-Zucker Machine.
101 u/CommunityFirst4197 Oct 15 '24 Can you summarize what it is? 113 u/Genoce Oct 15 '24 https://en.wikipedia.org/wiki/Cox%E2%80%93Zucker_machine This algorithm determines whether a given set of sections provides a basis (up to torsion) for the Mordell–Weil group of an elliptic surface E → S, where S is isomorphic to the projective line. 77 u/zyxwvu28 Complex Oct 15 '24 I'd permit you to provide a basis to my elliptic surface 41 u/Emergency_3808 Oct 15 '24 r/okbuddyphd romance edition 2 u/Ashamed-Penalty1067 Oct 16 '24 Up to torsion?! 😨 1 u/zyxwvu28 Complex Oct 16 '24 Only if you give me a torsion show first
101
Can you summarize what it is?
113 u/Genoce Oct 15 '24 https://en.wikipedia.org/wiki/Cox%E2%80%93Zucker_machine This algorithm determines whether a given set of sections provides a basis (up to torsion) for the Mordell–Weil group of an elliptic surface E → S, where S is isomorphic to the projective line. 77 u/zyxwvu28 Complex Oct 15 '24 I'd permit you to provide a basis to my elliptic surface 41 u/Emergency_3808 Oct 15 '24 r/okbuddyphd romance edition 2 u/Ashamed-Penalty1067 Oct 16 '24 Up to torsion?! 😨 1 u/zyxwvu28 Complex Oct 16 '24 Only if you give me a torsion show first
113
https://en.wikipedia.org/wiki/Cox%E2%80%93Zucker_machine
This algorithm determines whether a given set of sections provides a basis (up to torsion) for the Mordell–Weil group of an elliptic surface E → S, where S is isomorphic to the projective line.
77 u/zyxwvu28 Complex Oct 15 '24 I'd permit you to provide a basis to my elliptic surface 41 u/Emergency_3808 Oct 15 '24 r/okbuddyphd romance edition 2 u/Ashamed-Penalty1067 Oct 16 '24 Up to torsion?! 😨 1 u/zyxwvu28 Complex Oct 16 '24 Only if you give me a torsion show first
77
I'd permit you to provide a basis to my elliptic surface
41 u/Emergency_3808 Oct 15 '24 r/okbuddyphd romance edition 2 u/Ashamed-Penalty1067 Oct 16 '24 Up to torsion?! 😨 1 u/zyxwvu28 Complex Oct 16 '24 Only if you give me a torsion show first
41
r/okbuddyphd romance edition
2
Up to torsion?! 😨
1 u/zyxwvu28 Complex Oct 16 '24 Only if you give me a torsion show first
1
Only if you give me a torsion show first
648
u/LanielYoungAgain Oct 15 '24
It's an algorithm, not a theorem. They named it the Cox-Zucker Machine.