Timeline for Maximal Abelian subgroups of $S_\omega$
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 19, 2023 at 18:54 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
Joel’s answer seems to be gone for now
|
| Apr 19, 2023 at 17:29 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
added 191 characters in body
|
| Apr 19, 2023 at 16:50 | comment | added | Emil Jeřábek | Then you need to show that the closure of an abelian subgroup is abelian. This is no easier that using centralizers. | |
| Apr 19, 2023 at 16:48 | comment | added | YCor | You're invoking the centralizer and that's unnecessary. The closure is a larger subgroup, and is abelian, hence is equal. | |
| Apr 19, 2023 at 16:47 | comment | added | Emil Jeřábek | @YCor Well that’s exactly what I have just proved, isn’t it? | |
| Apr 19, 2023 at 16:46 | comment | added | YCor | I should add that the "standard topology" of $S_\omega$ was discovered by L. Onofri in the 20s and rediscovered decades later. | |
| Apr 19, 2023 at 16:46 | comment | added | YCor | No need for centralizers: in a Polish [edit: in every Hausdorff top. group] group, the maximal abelian subgroups are closed. | |
| Apr 19, 2023 at 16:36 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
deleted 37 characters in body
|
| Apr 19, 2023 at 16:28 | history | answered | Emil Jeřábek | CC BY-SA 4.0 |