Explore >> Select a destination


You are here

leanprover-community.github.io
| | www.jeremykun.com
4.2 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$.
| | terrytao.wordpress.com
5.3 parsecs away

Travel
| | A key theme in real analysis is that of studying general functions $latex {f: X \rightarrow {\bf R}}&fg=000000$ or $latex {f: X \rightarrow {\bf C}}&fg=000000$ by first approximating them b
| | grossack.site
4.6 parsecs away

Travel
| | Chris Grossack's math blog and professional website.
| | eischmann.wordpress.com
18.7 parsecs away

Travel
| After 12 years on WordPress.com I've decided to move this blog to my own server. The address has changed, you can find it now at enblog.eischmann.cz. If you're following it via RSS, please update the feed URL to https://enblog.eischmann.cz/feed. You can also follow it directly on Fediverse (Mastodon and others) by following @brnohat@enblog.eischmann.cz.