Welcome to MathOverflow

Question

11

2

For a subgroup $H$ of a given group $G$, I say $H$ is "big" if it has nonempty intersection with each conjugacy class of $G$. I have known that, trivially, $G$ itself is "big". And if $H$ is a normal subgroup and it is "big", then $H=G$. I have also known that a finite group has no proper "big" subgroup. My question is "Is there an infinite group who has a proper 'big' subgroup?"

edited Apr 4 2012 at 14:49

Denis Serre
18.7k●1●31●93

asked Apr 4 2012 at 3:09

Song Li
227●1●5

13

standard examples: max torus in cpt lie gp. or subgp of upper triangular matrices in gln(k), k alg closed. – Peter McNamara Apr 4 2012 at 3:33

The example of upper triangular matrix is so standard, thank you for your example! – Song Li Apr 4 2012 at 4:38

2

Just to make Peter's first example yet more concrete: all unitary matrices are diagonalizable. – Allen Knutson Apr 4 2012 at 7:07

8

This, by the way, may be the central point as to why representation theory of compact connected Lie groups is easier than that of finite groups; by character theory, a finite-dim complex representation of a group is determined up to isomorphism by its restriction to a "big" subgroup, and if that subgroup is abelian, so much the better! – Allen Knutson Apr 4 2012 at 7:09

1

Other standard example: $G$ is the group of bijections $\mathbb{Z} \to \mathbb{Z}$ which fix all but finitely many integers; $H$ is the subgroup of bijections fixing $0$. – David Speyer Apr 4 2012 at 14:01

Mark Sapir · Accepted Answer · 2012-04-04 03:17:57Z UTC

12

Yes, for example in Osin's infinite group with 2 conjugacy classes every proper subgroup is big. Of course if you do not care about the number of generators, you can consider the (much easier) infinitely generated group constructed by Higman-Neumann-Neumann where all non-identity elements are conjugate. There also every proper subgroup is big.

edited Apr 4 2012 at 3:17

answered Apr 4 2012 at 3:11

Mark Sapir
27.7k●2●57●118

	Thank you for your answer. – Song Li Apr 4 2012 at 4:37
	Every proper non-trivial subgroup is big. – Geoff Robinson Jul 21 at 11:11
	"Proper" includes "non-trivial". – Mark Sapir Jul 21 at 12:06

Menton · Answer 2 · 2012-07-20 23:15:05Z UTC

1

How about for free groups?

answered Jul 20 at 23:15

Menton
93●3

Yes, a free group seems to have a large subgroup. It may be constructed inductively adding $g$ to $<g_1,g_2,...,g_k>$ for each $g$ with $g^F\cap <g_1,...,g_k>=\emptyset$. (We need to start with a good initial $<g_1,g_2>$ to avoid getting all $F$.) – Lev Glebsky Jan 9 at 0:29

A subgroup intersects every conjugacy class

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.