Update draft-20241103.md

Author: luckyyang

post/draft-20241103.md

@@ -14,7 +14,8 @@ We present the first instantiation of Naysayer proofs for Ligero & Brakedown pol
 ### powdrVM: A Multi-Prover, Future-Proof zkVM 
 - <https://x.com/powdr_labs/status/1851682014505669002>
 - <https://www.powdr.org/blog/powdrvm>
-
+### Abstract Algebra: Theory and Applications
+- <https://matthematics.com/abstract/aata.html>
 ## Updates
 ### Surya Mathialagan - Universal SNARGs for NP from Proofs of Completeness
 - <https://www.youtube.com/watch?v=Tf9WvpLYNuc>