Explore >> Select a destination


You are here

cronokirby.com
| | thehousecarpenter.wordpress.com
11.1 parsecs away

Travel
| | NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I...
| | kpknudson.com
16.8 parsecs away

Travel
| |
| | www.jeremykun.com
13.8 parsecs away

Travel
| | The First Isomorphism Theorem The meat of our last primer was a proof that quotient groups are well-defined. One important result that helps us compute groups is a very easy consequence of this well-definition. Recall that if $ G,H$ are groups and $ \varphi: G \to H$ is a group homomorphism, then the image of $ \varphi$ is a subgroup of $ H$. Also the kernel of $ \varphi$ is the normal subgroup of $ G$ consisting of the elements which are mapped to the identity under $ \varphi$.
| | emilygorcenski.com
90.7 parsecs away

Travel
| I recently re-solved Project Euler Problem 1 on Twitch. Here's the math behind it.