Timeline for Center and Commutator of Profinite Groups
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 28 at 23:38 | vote | accept | Mattan Feldman | ||
| Jun 24 at 17:00 | history | bounty awarded | Mattan Feldman | ||
| Jun 22 at 22:26 | comment | added | Mattan Feldman | The only reason I’m not sure about the completion is that I am qouteinting entries of the elements but not the whole group in my construction. | |
| Jun 22 at 22:21 | comment | added | Mattan Feldman | I’m not very informed on projective limits, but I believe my group should be? Could you edit the answer to reflect this? And explain being $I$-adically complete makes it work? | |
| Jun 22 at 15:41 | history | edited | Tzimmo | CC BY-SA 4.0 | added 1 character in body |
| Jun 22 at 15:38 | comment | added | Tzimmo | I guess I mixed up commutators with centralisers in my head. Sorry. The argument can be salvaged if the ring is $I$-adically complete, I suppose. | |
| Jun 22 at 14:23 | comment | added | Mattan Feldman | You showed this for the center, will the same argument work for the commutator subgroup aka the derived subgroup? I believe it should but just making sure | |
| Jun 22 at 11:39 | history | answered | Tzimmo | CC BY-SA 4.0 |