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

**0**

votes

**0**answers

48 views

### Is the projector to irreducible tensor modules of SO(N) known?

To project a generic tensor to an irreducible module of SO(N) one has to (anti)symmetrize the indices and then subtract traces, e.g. for symmetric traceless 2-tensors
$$
\frac{1}{2} (\delta_{I_1 J_1} ...

**10**

votes

**2**answers

270 views

### existence of a finite group which is the union of self normalizing subgroups

Can a finite group G be the union of self normalizing subgroups such that the intersection between any two of these subgroups is equal to the unit of the group G? I don't think so but I can't prove ...

**0**

votes

**0**answers

104 views

### Soluble group algebras and centralizers

Let $K$ be field with $\mathrm{char}(K) = p > 0$ and $G$ a finite group such that $KG$ is soluble. Then the $p$-Sylow-subgroup of $G$ is normal and contains the derived group of $G$ and every ...

**8**

votes

**2**answers

305 views

### Sums of degrees of irreducible complex characters

The sum of the degrees of the irreducible complex characters (not the square sum which is the group order) is relevant to determine the dimension of a maximal torus of the Lie algebra associated to ...

**5**

votes

**0**answers

160 views

### (Connected) Cayley graphs of PSL(2,q) from (2,3,n)-triples

Let $G = PSL(2,q)$. I'm interested in the Cayley graphs of $G$ generated by triples $(A,BAB^{-1},B^{-1}AB)$, where $A, B \in G$ are elements of order $2, 3$ respectively: such a triple generates all ...

**10**

votes

**1**answer

277 views

### Which finite simple groups can be characterized by their action on a small set?

It is well known that a finite 4-times transitive permutation group is Matthieu, symmetric, or alternating. Another way of stating this is that the set
$$
\Omega = \{(x_1, x_2, x_3, x_4), 1\leq ...

**1**

vote

**0**answers

51 views

### on reductive monoids which are gorenstein

Let $M$ a reductive monoid, i.e. a integral normal affine scheme, which is a monoid whose group of units is a connected reductive group.
By Rittatore ...

**7**

votes

**1**answer

424 views

### Group structure on an arbitrary completely regular topological space that makes $(x,y)\mapsto xy^{-1}$ continuous at $(1,1)$

Let $(G,\mathcal T)$ be a completely regular topological space. Is there a group structure on $G$ such that the function
$$f:G\times G\to G$$
$$f(x,y)=xy^{-1}$$
is continuous at $(1,1)$?

**7**

votes

**4**answers

655 views

### Ore's Conjecture for perfect groups

We know that Ore's Conjecture is a theorem now. Does anyone know a counterexample to Ore's conjecture for perfect groups? I believe there should be one, but I dont have a counterexample. Thanks.

**2**

votes

**1**answer

174 views

### Quotient of Projective line over rationals with an infinite subgroup of PGL(2,Q)

I am looking for references for the following; how to calculate quotient of the projective line over the field of rationals with an infinite subgroup of PGL(2,Q), e.g, of the form
$
\left(
...

**2**

votes

**1**answer

167 views

### Classification of indecomposable inclusions $(H \subset G)$ with $G$ decomposable

Definition: A group $G$ is indecomposable if: $G = G_1 \times G_2 \Rightarrow \exists i \ G_i = 1$.
We can generalize the notion of indecomposable from groups to inclusion of groups as ...

**7**

votes

**2**answers

309 views

### Do compact groups acting irreducibly have finite subgroups which do the same?

Let $G$ be a closed subgroup of $U(n,{\bf C})$, not necessarily connected. Regard ${\bf C}^n$ as a complex $G$-module $M$.
Q. Suppose $M$ is irreducible as a $G$-module (equivalent, I think, to ...

**7**

votes

**1**answer

655 views

### Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive.
Proof: see below.
Let $(H \subset G)$ be an inclusion of finite groups and ...

**2**

votes

**0**answers

246 views

### Prime order elements in $GL(n,\mathbb{Z})$

What is known about the elements of prime order $p$ in $GL(n,\mathbb{Z})$? All I know at this point is that $GL(n,\mathbb{Z})$ has an element of prime order $p$ iff $p-1\leq n$ and that there are only ...

**1**

vote

**2**answers

172 views

### Cubic Cayley (undirected) graphs

The generators of a cubic Cayley graph always include at least one involution, since 3 is odd. There are then two possibilties for the other two generators: either (A) they are also (distinct) ...

**8**

votes

**0**answers

231 views

### An angle-doubling trick of Kirillov and Berenstein [closed]

Kirillov and Berenstein, in their article "Groups generated by involutions, Gelfand-Tsetlin patterns and combinatorics of Young tableaux" (available at math.uoregon.edu/~arkadiy/bk1.pdf), present a ...

**4**

votes

**1**answer

196 views

### When does convolution preserve the `size' of a function?

For a positive function $f$ and positive measures $\mu, \nu$, does
$$\mu\ast f\leq \nu\ast f \Rightarrow \|\mu\|\leq \|\nu\|?$$
More details: Let $G$ be a locally compact group, $C(G)$ be the space ...

**2**

votes

**1**answer

231 views

### Irreducible representation of Heisenberg group with characteristic 2?

As we all know that the irreducible representation for Heisenberg group can be classified easily when the group is over a finite field $\mathbb{F}_q$, where $q=p^n$ and $p$ is a prime greater than ...

**5**

votes

**0**answers

70 views

### Uniqueness of the direct product decomposition of inclusions of finite groups

This post is a generalization of Uniqueness of the direct product decomposition of finite groups.
Here we look inclusions of finite groups $(H \subset G)$ instead of just finite groups.
Definition: ...

**6**

votes

**1**answer

215 views

### When is the profinite completion a pro-$p$ group?

My research area is mainly pro-$p$ groups and profinite groups. However, in the last few year I became also interested in discrete groups. Therefore, it seems to me a natural problem to look for ...

**3**

votes

**1**answer

422 views

### Existence of finite nonabelian groups satisfying certain identities

Is there a finite nonabelian group satisfying all of the following identities?
$$
(x^py^p)^2 = (y^px^p)^2, \quad p = 2,3,5,7,11,\ldots (\text{primes})
$$
I thank you all in advance.

**8**

votes

**1**answer

220 views

### Second homology of mapping class group of genus 3

In a survey paper of Korkmaz it is stated that $H_2(\mathrm{Mod}_3)$ is either $\Bbb Z$ or $\Bbb Z \oplus \Bbb Z_2$, but I was not able to find out a precise computation of this group (resolving the ...

**4**

votes

**1**answer

172 views

### Are infinite groups “locally topologizable”?

Does every infinite group admit a Hausdorff topology such that the multiplication and inverse are continuous at $1$ but $1$ is not an isolated point?
The question is inspired by and related to ...

**10**

votes

**1**answer

183 views

### Torsion-free group that is not of type F but is virtually of type F

Recall that a group $G$ is of type F if there exists a compact $K(G,1)$.
There are many examples of groups which are not of type F but which are virtually of type F, that is, they have finite-index ...

**1**

vote

**1**answer

99 views

### Semidirect products with braid groups and type $F_\infty$

Let $F$ be a group which is strongly type $F_\infty$ in the sense that every subgroup is of type $F_\infty$. Here, type $F_\infty$ means that the group admits a classifying space with compact skeleta.
...

**1**

vote

**0**answers

125 views

### Reference on calculation of 2nd cohomology group

Let $G$ be a finitely generated, infinite, countable discrete nonamenable group with zero first Betti number, I.e., $H^1(G, \ell^2(G))=0$, e.g., $G=F_2\times F_2$, the product of free groups of two ...

**5**

votes

**3**answers

392 views

### Characterising the adjoint representation of SU(N)

One can show that the adjoint representation of $\mathrm{SU}(n)$, the image of the map $\mathrm{Ad}:\mathrm{SU}(n) \rightarrow \mathrm{Aut}(\mathrm{su(n)})\subset \mathrm{GL}(\mathrm{su}(n))$, is an ...

**2**

votes

**0**answers

126 views

### Finitely generated groups non-embeddable into $L_1(0,1)$

I am interested in finitely generated groups which, endowed with their word metrics, do not admit bilipschitz embeddings into $L_1(0,1)$. I know two classes of such groups:
(1) Heisenberg group ...

**4**

votes

**1**answer

106 views

### Stabiliser of the lamination of a free group - Invariant subgraphs

I am studying the paper "Laminations, trees, and irreducible automorphisms of free groups" of Bestvina, Feighn and Handel. But I found a note in the paper "Stabilisers of $\mathbb{R}$-trees with ...

**10**

votes

**1**answer

218 views

### Embeddings of finitely generated groups into uniformly convex Banach spaces

de Cornulier, Tessera, and Valette (Geom. Funct. Anal. 17 (2007), 770-792) conjectured that a finitely generated group $G$ with its word metric admits a bilipschitz embedding into a Hilbert space if ...

**0**

votes

**1**answer

118 views

### Questions on invariant operators of finite group representations

1) Is there an equivalent of the Casimir operator for an irreducible representation of a finite group?
2) Given an invariant operator of a certain group, can I check if it is invariant under only ...

**6**

votes

**0**answers

124 views

### Homology groups of Noetherian groups

Let $G$ be a Noetherian group. Is $H_n(G,\mathbb{Z})$ finitely generated? Do we know the above for the special cases $n=2,3$ even?

**1**

vote

**0**answers

196 views

### Kaplansky Idempotent conjecture and Extension theory

We consider the Idempotent Kaplansky conjecture with $\mathbb{C}$- coefficients, that is the problem of nontrivial idempotents for group algebra $\mathbb{C}\Gamma$ where $\Gamma$ is a torsion free ...

**2**

votes

**1**answer

94 views

### What is the minimal girth of a cayley graph for Alt(n) in which the girth relator is not a proper power?

First, a definition: a girth relator for a Cayley graph is a word that you get by reading the edge labels along a shortest loop. The girth relator is not usually unique, though it is often unique up ...

**1**

vote

**0**answers

89 views

### Symmetric spaces which are compact modulo the unipotent radical are compact

Is the following true?
Let $X = G/H$ be a symmetric space of a reductive group over a p-adic field $F$.
Let $X^0$ be an open orbit w.r.t. the action of the minimal parabolic $B$ of $G$.
Let $U$ be ...

**5**

votes

**1**answer

319 views

### Kernel of the character of congruence groups

Let $\Gamma$ be a congruence subgroup of $SL_2(\mathbb Z)$ and $\chi:\Gamma \to \mathbb{C}^*$ a character of $\Gamma$ with finite image. Is then $\ker(\chi)$ also a congruence group? If not, can ...

**6**

votes

**2**answers

184 views

### Asymptotic density of finite abelian and solvable groups

For every natural number n, let:
Gn be the number of distinct group structures with at most n elements;
An be the number of distinct abelian group structures wit at most n elements;
Sn be the number ...

**3**

votes

**0**answers

248 views

### What's the ratio of inclusions of finite groups with a distributive lattice?

Definition: Two inclusions of finite groups are equivalent, $(A \subset B) \sim (C \subset D)$, if: $(A/A_B \subset B/A_B) \simeq (C/C_D \subset D/C_D)$ with $A_B$ the normal core of $A$ in $B$.
...

**5**

votes

**1**answer

172 views

### Special linear groups contained in symplectic groups

Let $q$ be a power of prime $p$, and $n, m, k$ positive integers such that $mk=2n$ and $2\leq m<2n$. Let $\mathrm{Sp}(2n,q)$ be the symplectic group of dimension $2n$ over $\mathrm{GF}(q)$ and ...

**5**

votes

**1**answer

188 views

### Duration and critical groups order in sandpile models and chip firing games

The famous chip firing game (which is closely related to sandpile models) goes like this:
Place chips at the vertices of a graph. REPEATEDLY: If a vertex $v$ of
degree $d_{v}$ has at least ...

**4**

votes

**1**answer

111 views

### Equations and random subgroups in compact groups

EDIT: Here is a more specific question.
Let $G$ be a compact group and let $w$ be a word in $d$ variables. Then the solution set $S$ of the equation of $w=1$ is a closed subset of the product $G^d$ ...

**4**

votes

**1**answer

177 views

### orthogonal group in characteristic 2

Let $O(2,\mathbb{Z}_2)$ be the orthogonal group of order two matrices. On $\mathbb{Z}_2$ there should exist just one odd quadratic form, hence the stabilizer subgroup $O^-$ of an odd quadratic for ...

**2**

votes

**1**answer

288 views

### Is every closed subgroup of $\text{GL}_n(K[[x]])$ finitely generated?

Let $n \in \mathbb{N}$, $K$ a finite field. Denote by $K[[x]]$ the (profinite) ring of formal power series over $K$. Note that $\text{GL}_n(K[[x]])$ is a profinite group.
Is every closed subgroup of ...

**0**

votes

**0**answers

80 views

### Research of a reference about $G$-linearizations of line bundles on quasi-projective schemes

I am looking for some references for the following statement:
Let $G$ be a linearly reductive algebraic group acting on a quasi-projective scheme $X$, over an algebraically closed field $K$. Let $L$ ...

**1**

vote

**1**answer

130 views

### Successive Schur covers

Let $G_0$ be a finite group and $G_j$ a Schur cover of $G_{j-1}$ for $j=1,2,3\ldots$. Is $G_2$ equal to $G_1$? If not, will the sequence stop after finite steps in general?

**2**

votes

**1**answer

284 views

### vanishing higher cohomology group for property T group?

Given a countable discrete group $G$ with Kazhdan's property (T), consider $\mathbb{C}G$ or $l^2(G)$ as a left $G$-module, then we can consider the group cohomology,
Is it known that $H^n(G, ...

**0**

votes

**3**answers

144 views

### Possible degrees of faithful projective representations of $\mathrm{PSL}(k,q)$ and $\mathrm{Sp}(2k,q)$ over complex numbers

Let $q$ be a prime power and $k$ a positive integer. What are the possible degrees of faithful projective representations of the projective special linear group $\mathrm{PSL}(k,q)$ (over the Galois ...

**6**

votes

**1**answer

108 views

### Are countable FC-groups maximally almost periodic?

An FC-group is a group in which every element has a finite conjugacy class. A group G is said to be maximally almost periodic if there is an injective homomorphism from G into a compact Hausdorff ...

**7**

votes

**1**answer

274 views

### Is there a finitely presented group with infinite homology over $\mathbb{Q}$?

Suppose $G$ is a discrete group given by finitely many generators with finitely many relations. Can the homology groups $H_i(G, \mathbb{Q})$, or equivalently $H_i(BG, \mathbb{Q})$ (topological ...

**3**

votes

**1**answer

178 views

### A question on conjugacy classes of central involutions in a finite group

An involution $a$ of a group $G$ is called central if there exists a sylow $2$-subgroup $H$ of $G$ such that $a \in C_G(H)$, or equivalently if the centralizer of $a$ contains a sylow $2$-subgroup.
...