|
You are here |
leanprover-community.github.io | ||
| | | | |
www.jeremykun.com
|
|
| | | | | 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
|
|
| | | | | 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
|
|
| | | | | Chris Grossack's math blog and professional website. | |
| | | | |
eischmann.wordpress.com
|
|
| | | 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. | ||