What's everyone up to right now?

[Angrboda]

Watching the news. Finishing off a sirloin steak.

[c172]

https://www.youtube.com/watch?v=X4N936oDeWI

[Jackalope]

Considering some tiramusu for dessert.

[Kernel Sohcahtoa]

I'm learning about the beauty of isomorphisms and am just finishing up reading a proof of Cayley's theorem, which states that every group is isomorphic to a group of permutations.  Once I'm done, it's Star Trek time.

[Alex K]

I'm learning about the beauty of isomorphisms and am just finishing up reading a proof of Cayley's theorem, which states that every group is isomorphic to a group of permutations.  Once I'm done, it's Star Trek time.

I was going to reply "surely you mean every finite group!" but no, I checked and it's every group, which is intriguing. So here's my question: What's the permutation group containing the real line with plus?!

[c172]

Planning my week. Considering opportunities for a hockey game and a movie.

[Alex K]

I'm learning about the beauty of isomorphisms and am just finishing up reading a proof of Cayley's theorem, which states that every group is isomorphic to a group of permutations.  Once I'm done, it's Star Trek time.

I was going to reply "surely you mean every finite group!" but no, I checked and it's every group, which is intriguing. So here's my question: What's the permutation group containing the real line with plus?!

Ah it seems my question was almost trivial. Since all bijections G->G are apparently permutations according to the relevant definitions, simply having the group action of adding a real number will already be a permutation, and so the set of bijective maps

g_c: R->R, x |-> c+x

for arbitrary c € R,
already does the trick. It's isomorphic to R (with composition instead of + as the operation) and it is a subgroup of the bijections on R

[Astreja]

Cold symptoms sufficiently bad that I'm leery about going out for my usual Sunday afternoon outdoor fitness activity (snowshoeing this week).

Rather than chancing it and risking a relapse, I read for a while and am now working on a sewing project. I have to go out later to get a bus pass, but otherwise will be staying close to home and letting this razzafracking cold work its way out of my system.

[c172]

Looking at farmersonly.com dating website.

[The Valkyrie]

Looking at farmersonly.com dating website.

Doe's it have Baaabaaara, a hot quadruped with sexy, curly white locks?