Explore >> Select a destination
|
You are here 
|
www.jeremykun.com | ||
| | | | |
siddhartha-gadgil.github.io
|
|
| | | | | [AI summary] The text discusses a formalization in Lean 4 of a mathematical result related to the group P and the unit conjecture. It outlines the construction of the group P as a metabelian group with a specific action and cocycle, the proof of its torsion freeness, and the use of decidable equality and enumeration to verify properties. The formalization also includes the construction of the group ring and the verification of Gardam's disproof of the unit conjecture by demonstrating the existence of a non-trivial unit in the group ring over the field F₂. | |
| | | | |
susam.net
|
|
| | | | | [AI summary] The article explains the mathematical properties of fields, demonstrating that a field has only two ideals—{0} and the field itself—and that a commutative ring with only these ideals must be a field. | |
| | | | |
mattbaker.blog
|
|
| | | | | In my previous post, I presented a proof of the existence portion of the structure theorem for finitely generated modules over a PID based on the Smith Normal Form of a matrix. In this post, I'd like to explain how the uniqueness portion of that theorem is actually a special case of a more general... | |
| | | | |
windowsontheory.org
|
|
| | | Previous post: ML theory with bad drawings Next post: What do neural networks learn and when do they learn it, see also all seminar posts and course webpage. Lecture video (starts in slide 2 since I hit record button 30 seconds too late - sorry!) - slides (pdf) - slides (Powerpoint with ink and animation)... | ||
