Timeline for Algebraic theorems with no known algebraic proofs
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 30 at 9:59 | comment | added | Piotr Achinger | @PeterMueller That's problematic since finite index subgroups might not be open if the group is not topologically finitely generated. | |
| Nov 29 at 21:48 | comment | added | Zerox | Is "topologically finitely generated" really an algebraic property? | |
| Nov 26 at 2:25 | comment | added | Martin Brandenburg | ... which makes sense since you just apply the notion of being finitely generated to the given category of topological groups. Adding adjectives is only required when forgetful functors are, well, forgotten (here from topological groups to groups). Anyway, great example! | |
| Nov 19 at 9:29 | history | edited | Piotr Achinger | CC BY-SA 4.0 |
fg -> top fg
|
| Nov 19 at 9:28 | comment | added | Piotr Achinger | @Aphelli yes. In my defence, I am not the only one using "finitely generated" to mean "topologically finitely generated" in the context of pro-finite groups. | |
| Nov 19 at 9:02 | comment | added | Aphelli | Do you maybe mean “topologically finitely generated”? | |
| S Nov 19 at 7:52 | history | answered | Piotr Achinger | CC BY-SA 4.0 | |
| S Nov 19 at 7:52 | history | made wiki | Post Made Community Wiki by Piotr Achinger |