Zulip Chat Archive

Stream: Is there code for X?

Topic: Stabilizer of a set

Yaël Dillies (Jul 29 2022 at 12:57):

We have the stabilizer of an element, namely docs#mul_action.stabilizer, but do we not have the stabilizer of a set? This is not docs#fixing_subgroup, btw, as I want the elements that preserve the set overall, not pointwise.

Thomas Browning (Jul 29 2022 at 13:07):

Isn't the stablizer of a set a special case of mul_action.stabilizer?

Yaël Dillies (Jul 29 2022 at 13:09):

Ah of course :face_palm:

Last updated: Dec 20 2023 at 11:08 UTC