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

**1**

vote

**1**answer

164 views

### Reconstructibility of a group from subgroups

Let $G,H$ be groups and suppose that $\varphi: G\to H$ is a bijection such that for any proper subgroup $G'\neq G$ of $G$ the image $\varphi(G')$ is a subgroup of $H$ and the restriction ...

**-1**

votes

**1**answer

218 views

### Number of involutions in a finite group [closed]

Let $G$ be a finite group. Does it possible to determine number of involutions in it? If not, is there any bound for it?

**1**

vote

**0**answers

68 views

### Normal p-complement and the Frattini subgroup [closed]

A normal subgroup $N$ of a finite group $G$ is said to be a normal $p$-complement if $(p,|N|)=1$ and there is a Sylow $p$-subgroup $P$ of $G$ such that $G=NP$. The definition of a normal ...

**3**

votes

**1**answer

165 views

### How to think about the simple reflection s_0 in the affine Weyl group?

Let $G$ be a simply connected algebraic group over $\mathbb{C}$, $W$ be the Weyl group for $G$ and $W_{aff}$ be the affine Weyl group for the loop group $G(\mathbb{C}((t)))$, $\Phi$ be the coweight ...

**3**

votes

**2**answers

141 views

### Solubility of an algebraic group and Weil restriction

For $\ell/k$ a finite separable extension of fields and an affine variety $X_{/\ell}$, the Weil restriction of scalars $R_{\ell/k}(X_{/\ell})$ represents the functor $R_{\ell/k}(X_{/\ell})(S) := ...

**5**

votes

**1**answer

208 views

### A hyperbolic group with a small profinite completion

Is there a finitely generated non-elementary word hyperbolic group the profinite completion of which is known (or conjectured) to be rather restricted, that is: abelian, pro-$p$, virtually ...

**6**

votes

**1**answer

282 views

### Are the distributive permutation groups linearly primitive?

An action of a group $G$ on a set $X \neq \emptyset$ is called transitive if $\forall x,y \in X$, $\exists g \in G$ such that $g.x = y$.
It is called primitive if it is transitive and preserves no ...

**6**

votes

**2**answers

299 views

### Is residual finiteness a property of “many” finitely presented groups?

Is there a reasonable random model for selecting a finitely presented group $G$ such that with positive probablity (or even with probability almost $1$) some of the following properties hold:
$G$ is ...

**6**

votes

**1**answer

146 views

### Is there a highly transitive action of a finitely generated torsion simple group?

Is there a highly transitive action of a finitely generated torsion simple group $G$ on $\mathbb{Z}$ ?
Highly transitive means $k$-transitive for each $k \in \mathbb{N}$, that is: for every two ...

**1**

vote

**1**answer

137 views

### Does the hyperoctahedral group have only 3 maximal normal subgroups?

An hyperoctahedral group $G$ is the wreath product of $S_2$ and $S_n$, where $S_{n}$ is the symmetric group on $n$ letters, or in other words the semi-direct product $G=S_2^n\rtimes S_n$, w.r.t. the ...

**5**

votes

**1**answer

171 views

### What is the Schur multiplier of the affine linear group AGL(n,q)?

What is the Schur multiplier of the $n$-dimensional affine linear group $\mathrm{AGL}(n,q)$ over the Galois field with $q$ elements?
I am particularly interested in the simple case $n=1$. Computation ...

**4**

votes

**1**answer

252 views

### Generating infinite index subgroups of a free group

Let $F$ be nonabelian finitely generated free group, let $H \leq F$ be a finitely generated subgroup of infinite index and let $x,y \in F \setminus H$. Must there be some $a \in F$ such that $[F : ...

**7**

votes

**3**answers

245 views

### Polarizations generate the ring of invariants?

The symmetric group $S_n$ acts on $\mathbb R^n$ by permuting the coordinates and the ring of polynomial invariants is generated by the elementary symmetric polynomials. If we restrict the action to ...

**4**

votes

**1**answer

149 views

### A small rank linear combination of a small number of elements of a group

This is a version of
this question of Klim Efremenko.
Let $r>2$ be a natural number, say $r=3$ or $r=10$. Let $G$ be a finite group and $\rho$
be an irreducible complex representation of $G$. We ...

**3**

votes

**1**answer

138 views

### Co-rank of a group with $a^2b^2c^2=1$ (fundamental group of non-orientable surface)

What is the co-rank of a group $$G=\langle a_1,a_2,\dots,a_h\mid a_1^2a_2^2\dots a_h^2=1\rangle,$$ that is, finitely generated group with $h$ generators and one relation?
By co-rank, I mean the ...

**4**

votes

**1**answer

212 views

### Characterizing residually amenable groups

Let $G$ be a finitely generated group. The amenability of $G$ is equivalent to the existence of a certain "weak measure" on $G$. Is there such a characterization for residually amenable groups as ...

**3**

votes

**1**answer

224 views

### Weyl groups of $E_6$ and $E_7$

The Weyl group $W_6$ of the Lie algebra $E_6$ is of order 51840, the automorphism group of the unique simple group of order 25920, while the Weyl group $W_7$ of the Lie algebra $E_7$ is of order ...

**5**

votes

**0**answers

95 views

### Centralizers in virtually special groups

Let $G$ be a virtually compact special group, in the terminology of Haglund and Wise (i.e., $G$ has a finite index subgroup $H$ which is isomorphic to the fundamental group of some compact special ...

**8**

votes

**1**answer

245 views

### Division algebras over extension fields / reducibility of $G$-modules

Reformulation of the question (see below for the original question): Let $K$ be an algebraic number field and $D$ a finite-dimensional $K$-division algebra. Is there a description of the field ...

**2**

votes

**1**answer

85 views

### Generating subgroups of large index by a large chunk of a conjugacy class

Let $G$ be a finite simple group and let $C$ be a (non-trivial) conjugacy class of $G$. Let $H$ be a subgroup of $G$ such that $$|H\cap C| \geq \epsilon |C|.$$
Can one conclude that the index of $H$ ...

**3**

votes

**2**answers

170 views

### About the number of their conjugacy classes in some classes of finite simple groups

We know that the orders of simple groups $B_n(q)$ and $C_n(q)$ are equal. What about the number of their conjugacy classes? Are they equal or not?
Any reply, comment, remark or reference is ...

**1**

vote

**1**answer

185 views

### Commutator with a generator of a free group

Let $F$ be a free group $\langle x_1,...x_m\rangle$.
If $a\in F_2$ and $[a,x_1] \in F_n$ then $a\in F_{n-1}$.
Here, $F_n$ is the $n$-th lower central series term with $F_2=[F:F]$.
How can I prove ...

**3**

votes

**0**answers

147 views

### Growth of the number of generators in hyperbolic groups

Let $G$ be an infinite hyperbolic group, and let us further assume that it is residually finite (or even LERF/GFERF) so that we have plenty of subgroups of finite index.
I would like to know if one ...

**3**

votes

**0**answers

155 views

### center of centralizer in finite group

My general question: Is there any reference for the center of centralizer in finte group. In particular for the element $x\in G$ such that $Z(C_G(x))=\langle x\rangle$.
My motivation: Espacially when ...

**7**

votes

**1**answer

262 views

### what is the intersection of all congruence subgroups of the profinite completion of SL(2,Z)?

Let $\widehat{SL(2,\mathbb{Z})}$ be the profinite completion of $SL(2,\mathbb{Z})$. Let $\Gamma(N)$ denote the typical principal congruence subgroup of $SL(2,\mathbb{Z})$ (ie, all matrices congruent ...

**0**

votes

**0**answers

107 views

### Carlson's translatability

I asked the following on MSE a few weeks ago but I did not get any answer :
http://math.stackexchange.com/questions/1039593/carlsons-translatability-are-theses-characterisations-equivalent
Given a ...

**0**

votes

**1**answer

87 views

### Powers in compact coset spaces

Let $G$ be a topological group, let $K$ be a closed cocompact subgroup (i.e. the coset space $G/K$ is compact in the quotient topology) and let $g \in G$. Is there a sequence (edit: or net) of ...

**6**

votes

**1**answer

271 views

### Is there a “good” reason that the universal central extension of $SL(2,\mathbb Z)$ is $Br_3$?

Let
$$ Br_3 := \langle \tau_1,\tau_2\ :\ \tau_1 \tau_2 \tau_1 = \tau_2 \tau_1 \tau_2 \rangle $$
be the braid group on three strands, and consider the surjection
$$\phi : Br_3 \twoheadrightarrow ...

**2**

votes

**1**answer

128 views

### Measuring products of finitely generated subgroups of free groups

Let $F$ be a finitely generated free group, $H_1, \dots, H_n$ finitely generated subgroups of infinite index in $F$, and $\epsilon > 0$. Must there be an epimorphism to a finite group $\phi \colon ...

**8**

votes

**2**answers

292 views

### Can a positive measure subset of a free group be nowhere dense?

Let $F$ be a finitely generated free group and let $S \subseteq F$ be a subset for which there is some $\epsilon > 0$ such that for any epimorphism to a finite group $\phi \colon F \to G$ we have ...

**0**

votes

**1**answer

159 views

### Murray–von Neumann equivalence on C$^*$-algebra and von Neumann algebra

Let $H$ be a separable infinite dimensional Hilbert space, $M \subset B(H)$ a von Neumann algebra and $A \subset M$ a separable $C^*$-algebra such that $A''=M$.
Let $p,q \in M_{\infty}(A)$ be ...

**9**

votes

**1**answer

396 views

### Is a free group a product of f.g subgroups of infinite index?

Let $F$ be a free group, and let $H,K \leq F$ be finitely generated subgroups of infinite index in $F$. Is it possible that for the set of products we have $HK = F$ ?

**3**

votes

**1**answer

136 views

### automorphism of prime order for group of Lie type in

Thanks for any help.
Suppose $S$ is a simple group of Lie type of prime characteristic $p$. we know that every automorphism of $S$ is composite of inner, diagonal, field and graph automorphism of ...

**15**

votes

**2**answers

419 views

### ULU Decomposition of a matrix

Let $g \in GL_n(\mathbb{F}_q)$. Is it true that we can always write $g = u_1lu_2$, where $u_1$ and $u_2$ are upper-triangular and $l$ is lower-triangular? Note that I'm not requiring that the matrices ...

**0**

votes

**0**answers

66 views

### “Reciprocal” of Schoenberg's theorem

Schoenberg's theorem states that for a (say, countable group) $G$ and any real valued conditionally negative type function $\psi$ on $G$, the function $e^{-t\psi}$ is positive definite, for any ...

**1**

vote

**0**answers

96 views

### Free abelian subgroups and distorsion

I realized that I know groups with distorted cyclic subgroups and groups all of whose free abelian subgroups are undistorted, but nothing between. Maybe it is a naive question, but:
Does there ...

**2**

votes

**0**answers

101 views

### Schur covering group [closed]

It is known that every finite group has a Schur covering group.
I'm eager to know every finite group can be considered as a Schur covering group of a group.
If it is not true in general, under what ...

**1**

vote

**1**answer

89 views

### A subgroup of outer automorphisms group of a free product

I would like to ask a question about automorphisms of free products of groups.
More specifically, let $G = G_1 \ast ... \ G_n \ast F_r$ where $F_r$ is free group on r generators. We can define the ...

**6**

votes

**2**answers

338 views

### A proposition on cyclic group

$G$ is a cyclic group iff
$$ \forall H < G, \ \exists k, \ H = \{a^k : a \in G\}. $$
Is it right?

**2**

votes

**2**answers

321 views

### Polynomials of low degree that clone polynomials of higher degree

Let $f(x_1,\dots,x_{16})=(x_1+x_2+x_3+x_4)(x_5+x_6+x_7+x_8)(x_9+x_{10}+x_{11}+x_{12})(x_{13}+x_{14}+x_{15}+x_{16})\in\Bbb R[x]$.
Let $\mathcal{Z}$ be the zero set of $f$ in ...

**6**

votes

**1**answer

367 views

### What is the universal property of quotienting a normaliser of the subgroup?

Let $G$ be a group, $H$ a subgroup and $X$ a $G$-set. By taking orbits $X/H = X \times_H 1$ or fixed points $X^H = \mathrm{Hom}_H(1,X)$ we obtain a set on which $H$ acts trivially, and we've destroyed ...

**0**

votes

**1**answer

182 views

### Coaction of a group

Suppose $G$ is a finite group which acts on a $C^*-$algebra which we denote by $A$. I was wondering if there is a naturally induced coaction on $A\otimes C(G)$, here $C(G)$ denotes functions on $G$.
I ...

**1**

vote

**1**answer

65 views

### Groups arising as direct limits of a stationary system of primitive matrices over the integers

I am interested in the kinds of groups of the form $\displaystyle\lim_{\longrightarrow}(\mathbf{Z}^k,M)$ where $M$ is a primitive (some power of $M$ has strictly positive components) $k\times k$ ...

**5**

votes

**1**answer

208 views

### Is there a left orderable profinite group?

Is there a profinite group $G$ with a binary transitive relation $<$ such that for any different $x,y \in G$ either $x < y$ or $y < x$ and such that for any $x,y,z \in G$ we have that $x < ...

**27**

votes

**2**answers

618 views

### Why do sporadic simple groups have so few conjugacy classes?

In finite group theory, there's a general intuition that the further away a group is from abelian, the fewer conjugacy classes it will have. So it is to be expected that non-abelian finite simple ...

**10**

votes

**1**answer

166 views

### Free subgroups in algebras of polynomial growth

What is known about free non-abelian subgroups in finitely generated associative algebras of polynomial growth (e.g., over finite fields, to avoid finite-dimensional free subgroups)? For example, are ...

**5**

votes

**0**answers

168 views

### Approximating Lie groups by finite groups

How can one approximate compact Lie groups by finite groups?
My wish is something like this:
Let $G$ be a compact Lie group.
There is a sequence of nested finite subgroups $G_n$ so that $G_n\to ...

**1**

vote

**1**answer

132 views

### Equation for non-invertible elements in Clifford algebras

Suppose we have a Clifford algebra $Cl(V,q)$, $V\simeq \mathbb{R}^n$ and $q$ non-degenerate bilinear form. Then every non-zero element of $V\subset Cl(V,q)$ invertible, but they are not the only ones ...

**0**

votes

**0**answers

131 views

### Comparison of two Chevalley basis

Let $G$ be a connected reductive group over an algebraically closed field and $T$ a maximal torus.
Let $H$ be a pseudo-Levi subgroup, say the neutral component of a centralizer of a semisimple element ...

**1**

vote

**0**answers

83 views

### Subgroups of the union of conjugates

This question is an attempt to find a version of this question with a positive answer. In this question, we ask if one can find big subgroups in the union of conjugtes of small subgroups of finite ...