| 11_1100-{ | hide text |
| 120227-171238: | Non-surjectivity in the infinite case. |
| 120207-182319: | The surjectivity part. |
| 120207-175525: | An injectivity proof (2). |
| 120207-174409: | An injectivity proof. |
| 111028-115309: | Landau's function. |
| 111024-110239: | Extending a Sylow-p group by a p-group. |
| } |