sniffnoy: (SMPTE)
[personal profile] sniffnoy
Huh, so nonisomorphic group actions can generate isomorphic permutation representations.

That's... kind of disappointing.
(deleted comment)

Date: 2007-11-27 02:18 am (UTC)
From: [identity profile] sniffnoy.livejournal.com
No. Take the following two actions of the Klein-4 group {e,a,b,c}:

X={a_0,a_1,b_0,b_1,c_0,c_1} where g∈{a,b,c} stabilizes g_i but swaps h_0 with h_1 for h≠g;

Y={e,a,b,c,x_0,x_1} where {e,a,b,c} is a copy of the group itself, and x_0 and x_1 are fixed by everything.

Then in each case, each nonidentity element fixes precisely 4 elements, so the characters are the same and CX≅CY.

Way I came up with this - I was trying to prove for a while that isomorphic permutation representations must come from isomorphic actions (for finite groups - not thinking about infinite groups), when I realized that this is true for a given finite group iff the characters of the transitive actions are linearly independent. But, if there are more of them than there are irreducible characters, they must be linearly dependent. I didn't see any obvious relation between the number of conjugacy classes of elements and and the number of conjugacy classes of subgroups... and it didn't look implausible that the latter could be greater sometimes (most of the time)? So, check through small groups - Klein 4 group, abelian, 4 elements, 5 subgroups. Calculate characters, find the linear dependence... and I got the example above.

Still wondering if it's true if we restrict to transitive group actions. (Still just considering finite groups, of course.)

January 2026

S M T W T F S
     123
45678910
11121314151617
18192021222324
25262728293031
Page generated Jan. 12th, 2026 03:26 am
Powered by Dreamwidth Studios