Questions about the branch of abstract algebra that deals with groups.

learn more… | top users | synonyms (1)

1
vote
1answer
98 views

about subgroup of general linear group [closed]

Thanks for any comments Let $G=GL_n(F)$ be general linear group over finite field $F$. Consider two isomorphic subgeoup $H_1,H_2$ of $G$ such that $H_i\cong GL_k(\bar{F})$, where $\bar{F}$ is an ...
6
votes
1answer
107 views

Continuity of conjugation actions of Polish groups

Let $G$ and $H$ be Polish groups and let $\psi: G \rightarrow H$ be a continuous injective homomorphism such that $\psi(G)$ is normal in $H$. Then $H$ acts on $G$ by conjugation via $\psi$, in other ...
1
vote
1answer
99 views

Finite groups normalizing a torus

Let $G$ be a semi-simple linear algebraic group over the complex numbers, e.g. the special linear group. Can you find an example of a finite sub-group $H$ of $G$ which does not normalize any maximal ...
2
votes
1answer
94 views

What is the corank of a proper char subgroup of a finite index subgroup of a free group?

Let $F$ be the free group of rank $\aleph_0$, let $L \leq F$ be a finite index subgroup, and let $M$ be a proper characteristic subgroup of $L$. Is it possible that there exists a finite subset $S ...
2
votes
1answer
146 views

Finite generation and profinite completion

Let $G$ be a (countable) residually finite group whose profinite completion is topologically finitely generated. Must $G$ be finitely generated?
3
votes
0answers
158 views

Generalization of the fundamental theorem of cyclic groups 2

This post is a sequel of Generalization of the fundamental theorem of cyclic groups Let $G$ be a finite group then the fundamental theorem of cyclic groups can be formulated as follows: Theorem: $G$ ...
2
votes
0answers
102 views

What are the general zonal spherical functions for ${\rm SO}(n)/{\rm SO}(n-1)$?

The zonal spherical functions [1] on the sphere $(G={\rm SO}(n)$, $K={\rm SO}(n-1))$ are the Gegenbauer or ultraspherical polynomials if one considers the irreducible representations of ${\rm SO}(n)$ ...
5
votes
1answer
318 views

Generalization of the fundamental theorem of cyclic groups

Let $G$ be a finite group then the fundamental theorem of cyclic groups can be formulated as follows: Theorem: $G$ is cyclic iff it admits no two different subgroups with the same order. proof: see ...
4
votes
1answer
158 views

Finite solvable groups are generated by a nilpotent subgroup + K elements?

Is there a constant $K \in \mathbb{N}$ such that for every finite solvable group $G$, there exists a nilpotent subgroup $N \leq G$, and a subset $S \subseteq G$ with $|S| \leq K$, and $\langle ...
8
votes
1answer
467 views

Is there a simple description of this group?

I would like to know if there is a simple description of the following group. It has 2 generators whose the square of the commutator is trivial. $$G=\langle a,b | (aba^{-1}b^{-1})^2=1\rangle$$ By ...
9
votes
0answers
107 views

Reference for class of involutions containing longest element of finite Coxeter group?

Consider a finite (say irreducible) Coxeter group $W$ with a fixed generator set $S$ and rank $n$. This is the same thing as a finite real reflection group, generated by a set of “simple” ...
-1
votes
1answer
167 views

Why do we not lose any generality by proving it only for finitely generated groups [closed]

In the proof of following theorem, in a paper by Farkas- Here $\Delta(G) = \{ g \in G : |G:C_G(g)| < \infty \}$ and $U_1(\mathbb{Z}G) $ is the set of normalized units of the integral group ring ...
5
votes
1answer
180 views

Kleinian groups containing an isomorphic copy of itself

Is there any example of a Kleinian group (acting on $\mathbb{H}^n$, $n \ge 3$) that contains a finite index isomorphic copy of itself? Here I don't consider Kleinian groups that only have parabolic ...
26
votes
3answers
1k views

Is every abelian group a colimit of copies of Z?

More precisely, is every abelian group a colimit $\text{colim}_{j \in J} F(j)$ over a diagram $F : J \to \text{Ab}$ where each $F(j)$ is isomorphic to $\mathbb{Z}$? Note that this does not follow ...
1
vote
1answer
92 views

Does every connected vertex transitive graph on $n$ vertices (except for $C_n$) have minimum feedback vertex set of size $\Omega(n)$?

Feedback vertex set is a set of vertices whose removal leaves an acyclic graph. It is known that every vertex transitive graph on $n$ vertices has minimum vertex cover of size $\Omega(n)$. It is also ...
5
votes
2answers
236 views

Extensions of $SL(2,\mathbb{F}_q)$

Let $n = q(q^2-1)$ (the order of $SL(2,\mathbb{F}_q)$ I think). How many groups of order $2n$ contain $SL(2,\mathbb{F}_q)$ as a (necessarily normal) subgroup? Is this number known exactly? Seems ...
1
vote
0answers
67 views

explicit zero 2-cocycle

Let $G$ be a group which acts linearly on a vector space of dimension $n$ over a field $k$. Denote by $\rho$ this representation and consider the associated adjoint representation $Ad\rho$ which is ...
2
votes
3answers
360 views

A table for irreducible integral representation of finite cyclic groups

Is there such a table where the irreducible integral representations of finite cyclic groups are listed? Edited: Thanks for Todd Leason's comment.Acutally,i want to know all inequivalent ...
1
vote
1answer
101 views

Projectors onto the invariant subspaces of a unitary representation $U \otimes U^* \otimes U \otimes U^*$

Let $$U \mapsto U \otimes U^* \otimes U \otimes U^*$$ be a unitary representation of the unitary group $U(n)$ acting on the vector space $V$ (where $U^*$ is the complex conjugate of $U$). We can ...
46
votes
5answers
2k views

Do unit quaternions at vertices of a regular 4-simplex, one being 1, generate a free group?

Choose unit quaternions $q_0, q_1, q_2, q_3, q_4$ that form the vertices of a regular 4-simplex in the quaternions. Assume $q_0 = 1$. Let the other four generate a group via quaternion ...
4
votes
0answers
83 views

A relation on the set of isomorphism classes of finitely generated groups

Let $G$ be the set of finitely generated groups up to isomorphism hence its elements will be noted $[B]$ where $B$ is some finitely generated group. On this set we put a relation $\mathcal{ND}$ ...
1
vote
1answer
98 views

Collections in direct products and freeness

I am looking for references about the following type of questions: Let $G$ and $H$ be two groups, let $(g_i:i\in I)\subset G$ and $(h_i:i\in I)\subset H$ be collections of group elements, and ...
5
votes
0answers
161 views

What is the kernel of the map $Out(\widehat{F_2})\rightarrow GL_2(\widehat{\mathbb{Z}})$?

Let $F_2$ be the free group on two generators, and $\widehat{F_2}$ its profinite completion. Let $Out(\widehat{F_2})$ be the outer automorphism group of $\widehat{F_2}$, ie, $Out(\widehat{F_2}) = ...
21
votes
0answers
261 views

Guess that group via product queries

Suppose someone (person B) knows a finite group $G$ of order $n$. You (person A) know only the order $n$, and that $1$ is the name of the identity element. The group elements are named $1,2,\ldots,n$ ...
9
votes
2answers
222 views

Embedding $\mathrm{PGL}(n,q^h)$ in $\mathrm{PGL}(nh,q)$

It is not very hard to see that for each prime power $q$ and natural numbers $n,h$, we have an embedding $$\iota \colon \mathrm{GL}(n,q^h) \hookrightarrow \mathrm{GL}(nh, q),$$ obtained by choosing a ...
11
votes
2answers
508 views

Obstructions for a group to be the multiplicative group of a field [duplicate]

It is well known that every finite multiplicative subgroup of a field is cyclic. I somehow got interested in a possible reverse implication: Assume we have an abelian group $G$ whose every finite ...
1
vote
0answers
119 views

How generic are Cayley graphs of non-Abelian groups with logarithmic girth?

Given a non-Abelian group $G$ I want to choose a symmetric generating set $S \subset G$ such that $Cay(G,S)$ has girth logarithmic in the size of the set. I want to know, For which $G$ can the ...
2
votes
1answer
214 views

Explicit examples of Dehn presentations of hyperbolic groups

It is well known fact that a (f.g.) group is hyperbolic if and only if it admits a (finite) Dehn presentation. My question concerns something I'm struggling with since the first time I read the proof ...
1
vote
0answers
226 views

Analogues of the Monster for central charges different from 24

One way to define the Monster group is to consider a conformal field theory (CFT) corresponding to central charge $c=24$ and look at the automorphism group of its vertex operator algebra. For one of ...
2
votes
0answers
89 views

Does every group that satisfies the maximal permutizer condition then satisfy the permutizer condition?

The permutizer of a subgroup $H$ of $G$ is defined to be the subgroup generated by all cyclic subgroups of $G$ that permute with $H$, i.e. $\langle x \in G | \langle x \rangle H = H \langle x \rangle ...
10
votes
1answer
440 views

Class field towers

It is known (Golod and Shafarevich) that the class field tower of a finite extension $K$ of $\mathbb{Q}$ may be infinite. But is it always finite for $K=\mathbb{Q}[\zeta]$ where $\zeta$ is a root of ...
2
votes
0answers
104 views

Does Kaplansky's Zero Divisor Conjecture hold valid for (torsion-free) residually finite groups?

Kaplansky's Zero Divisor Conjecture states that the group algebra $KG$ has no zero divisor for any field $K$ and any torsion-free group $G$. Does Kaplansky's Zero Divisor Conjecture hold valid ...
1
vote
1answer
228 views

Limit Group decomposition

I would need a clarification about a statement in the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel. First recall that a limit group is a finitely ...
0
votes
0answers
66 views

Action of semidirect products of cyclic groups

Is there anything known about group actions of $C_{p}\rtimes C_{p}^{*}$ on the ring of real polynomials $\mathbb{R}[X_{1},\ldots,X_{n}]$, where $C_{p}$ denotes the cyclic group of order $p$ and $p$ is ...
5
votes
2answers
99 views

“Relative cone types” for groups relative to some collection of subgroups

It is a well known fact that an infinite hyperbolic group contains an element of infinite order (see e.g. Bridson, Haefliger, Metric spaces of non-positive curvature, Prop. 2.22 on p. 458) I am ...
4
votes
2answers
172 views

Orbits of the maximal compact subgroup on the light cone for $p$-adic groups

It is known that if $Q$ is an indefinite non-degenerate quadratic form on $ \mathbb{R}^n$ with $n \ge 3$, then any maximal compact subgroup $K$ of the orthogonal group $SO(Q)$ acts transitively on the ...
2
votes
0answers
78 views

Pro-G_p*G_q topology, profinite topology

Let $W=G_p*G_q$, where $G_p$ and $G_q$ are pseudovarieties of all finite $p$-groups and all finite $q$-groups respectively, with $p$ and $q$ fixed prime numbers. The pro-$W$ topology on a group $G$ is ...
2
votes
1answer
181 views

Uncountable cardinals and Prufer $p$-groups

Let $A$ be an elementary Abelian uncountable $p$-group. Is it known if there is an action of a Prufer $q$-group (here $q$ is a prime not necessarily distinct from $p$) $C_{q^{\infty}}$ onto $A$ such ...
3
votes
1answer
133 views

amalgamation of locally finite groups

It is well known that in category of groups there are Push-outs so it is possible to realize amalgamation in some kind of most free way. My question is what about category of locally free groups? I ...
1
vote
1answer
143 views

Generating finite groups using subgroups

For finite groups $L \leq K$ we define $d(L,K)$ to be the least $n \in \mathbb{N}$ for which there exist $a_1, \dots, a_n \in K$ such that $\langle L, a_1 \dots, a_n \rangle = K$. Is there some $m ...
1
vote
0answers
62 views

Why is the polynomial relating the invariants of a binary polyhedral group fixed by an overgroup?

Let $G$ be a finite subgroup of $\mathrm{SL}(2,\mathbb{C})$ and $N \triangleleft G$ a normal subgroup. Let $x, y, z$ be the fundamental invariants for the standard action of $N$ on $\mathbb{C}^2$, ...
3
votes
3answers
447 views

The free group of a group and the kernel of a canonical morphism

Let $G$ be a group and $F_G$ the free group on the set $G$. Then there exists a canonical surjective morphism ${\rm can}: F_G \to G \to 1$ constructed as follows: let $(e_x)_{x \in G}$ be a copy as a ...
15
votes
2answers
364 views

Explicit permutation representation of the Thompson sporadic simple group?

The Thompson group Th of order $90745943887872000$ is one of the sporadic simple groups occurring in the classification of finite simple groups. Its maximal subgroups are known (see ...
2
votes
1answer
86 views

Generators of the colored braid group (two colors), reference

I consider the group $B_{n,n}$, the braids, colored in two colors, say all odd strings are black and all even strings are white. It is easy to find a set of generators for $B_{n,n}$: $$ \begin{cases} ...
1
vote
0answers
54 views

projective representation of supergroup

In fact, I am not very clear about what I am asking, but I am looking for a concrete example of supergroup which has non-trivial projective representation(some supergroup similar to usual Lie group ...
7
votes
1answer
237 views

For discrete groups, does the Haagerup property imply the AP of Haagerup-Kraus?

I don't expect to find an explicit counterexample to my question, because any example which was known to have the Haagerup property yet not have AP would have given an exact group without AP, and the ...
4
votes
0answers
67 views

Topological systems of imprimitivity

Let $G$ be a group acting by homeomorphisms on a topological space $X$. $G$ is topologically transitive if every open $G$-invariant subset of $X$ is empty or dense. Here is an attempt to define ...
4
votes
3answers
339 views

Must the powers of some element always grow linearly with respect to a word metric?

Suppose we have a group $G$ which is finitely generated , and let $|\cdot |$ denote some word metric on it. Must there be an element $a\in G$ such that $|a^n|\ge c\cdot n$ for some $c>0$? My ...
-1
votes
1answer
158 views

The name of a group of order 24 [closed]

I encountered a group $G =\langle(1,3,2,4),(3,5,4,6)\rangle\subseteq S_6$ in my study, but I do not know its name. Let $f=(1,3,2,4)$ and $g=(3,5,4,6)$. We have $g^2=fg^2f$, and thus $\langle ...
1
vote
0answers
95 views

Homology and Burnside ring

If $G$ is a finite groupe, we denote $\mathcal{S}(G)$ the category of finite $G$-sets and $\mbox{I}(G)$ the set of isomorphism classes of it's objects. The Burnside ring of $G$, denoted by ...