Outer Web | Explore

/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.

You are here		www.jeremykun.com Groups - A Second Primer \| Math Programming
\|	\|	qchu.wordpress.com Meditation on the Sylow theorems I \| Annoying Precision	1.8 parsecs away Travel
\|	\|	As an undergraduate the proofs I saw of the Sylow theorems seemed very complicated and I was totally unable to remember them. The goal of this post is to explain proofs of the Sylow theorems which I am actually able to remember, several of which use our old friend The $latex p$-group fixed point theorem...	1.8 parsecs away Travel
\|	\|	mattbaker.blog Finitely generated modules over a P.I.D. and the Smith Normal Form \| Matt Baker's Math Blog	2.3 parsecs away Travel
\|	\|	I'm teaching Graduate Algebra this semester, and I wanted to record here the proof I gave in class of the (existence part of the) structure theorem for finitely generated modules over a PID. It's a standard argument, based on the existence of the Smith Normal Form for a matrix with entries in a PID, but...	2.3 parsecs away Travel
\|	\|	siddhartha-gadgil.github.io Formalizing Gardam's disproof of Kaplansky's Unit Conjecture · Artificial Intelligence and Mathematics	1.7 parsecs away Travel
\|	\|	[AI summary] The author details the process of using the Lean 4 programming language to formally verify Giles Gardam's disproof of the Kaplansky Unit Conjecture in mathematics.	1.7 parsecs away Travel
\|	\|	gwhphotos2.wordpress.com Pull Up A Seat Photo Challenge 2021-Week 9: February 26 \| gwh photos2	23.8 parsecs away Travel
\|		Hockey stick chair Be sure to visit pull up a seat for more interesting photos, and/or to share yours.	23.8 parsecs away Travel