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

**2**

votes

**1**answer

26 views

### Normal subgroups of Aut(M)

Let $S$ be the set of all finite permutations of $\mathbb{N}$, i.e. they fix all but a finite set, and $A\subset S$ the set of all even permutations.
Theorem The normal subgroups of $S_\infty$ are ...

**1**

vote

**1**answer

129 views

### Closed subgroups of $\mathrm{SO}(4)$

My question is quite simple : we know all closed subgroups of $\mathrm{SO}(3)$; is it also known what are the closed subgroups of $\mathrm{SO}(4)$?

**2**

votes

**0**answers

156 views

### Show that $SL_2(\mathbb{F}_p)$ is quasi-random

Terry Tao gives this oblique definition of quasirandom group in his notes 3
$G$ is quasi-random (of order $D$) if all non-trivial unitary representations $\rho: G \to U(H)$ have dimension at ...

**5**

votes

**2**answers

330 views

### Kazhdan's property (T) vs. residual finiteness

I have asked this question already on mathstackexchange but got no answer (see http://math.stackexchange.com/questions/1795795/kazhdans-property-t-vs-residual-finiteness) and it was suggested that I ...

**2**

votes

**0**answers

80 views

### Orthogonality relations for unitary representations of infinite (finitely generated) groups

Let $G$ be a group, and consider the matrix elements of finite dimensional irreducible unitary representations of $G$ over $\mathbb{C}$ as functions $f:G\to \mathbb{C}$. If $G$ is finite, any two ...

**3**

votes

**0**answers

47 views

### Cubic Directed Cayley graphs of 2-generated torsion-free groups

Is there a torsion-free group $G=\langle x,y \rangle$ such that the directed Cayley graph $\Gamma=Cay(G,\{x,y,x^{-1}y\})$ contains a finite cubic induced subgraph? The vertex set of $\Gamma$ is $G$ ...

**3**

votes

**1**answer

439 views

### On progress towards inverse Galois problem over rationals

I have heard that Progress towards the Inverse Galois problem over $\mathbb{Q}$
is very well documented for sporadic groups ($M_{23}$ is the only case open) and for $PSL_n(q)$.
From where I can read ...

**-4**

votes

**0**answers

42 views

### what is the Relationships between metric space and set Topology [on hold]

state the Relationships between metric space and set Topology
Explain with examples
If the relationships has any significance

**-4**

votes

**0**answers

114 views

### Detecting Bijection between two Permutation Set [on hold]

Let, $L$ is a set of $n$ labels / colors (repetition of label/color is possible). Assume, there is a function $f$, that maps labels of $L$ to itself. this mapping is bijective.
Let, $\beta$ is a set ...

**24**

votes

**3**answers

989 views

### What's the supersymmetric analogue of the Monster group?

Bosonic string theory lives in 26 dimensions, and it gives a conformal field theory where the field is a map from a Riemann surface to $\mathbb{R}^{24}$. The Leech lattice $L$ is an even unimodular ...

**14**

votes

**1**answer

239 views

### Does the injection $\text{Aut}(F_n) \hookrightarrow \text{Aut}(F_{n+1})$ split?

Let $F_n$ be the free group on $n$ letters.
The question is as in the title: letting $i:\text{Aut}(F_n) \hookrightarrow \text{Aut}(F_{n+1})$ be the natural injection, does there exist a homomorphism ...

**2**

votes

**0**answers

73 views

### Computing the order of elements in a non abelian exterior square of a finite group

If we have an explicit group $G$, and we pick two elements $g,h \in G$, could we find the order of the element $g \wedge h \in G \wedge G$?
The best thing I could find is Theorem 1.1 in Ellis' Book ...

**2**

votes

**0**answers

33 views

### The Socle of locally nilpotent $p$-group infinte rank

The Socle (is the subgroup generated by the minimal normal subgroups of $G$) of abelian $p$-group of infinite rank has infinite rank. (The term “rank” in the sense of the Mal’cev special or ...

**-2**

votes

**0**answers

130 views

### Subgroups of ${\rm GL}(2,p)$ [closed]

Let $p$ and $q$ be two distinct primes such that $q\nmid p-1$ and $q\mid p+1$. Also assume that $H$ and $K$ are two subgroups of order $q$ of ${\rm GL}(2,p)$. Are $H$ and $K$ necessarily ...

**-4**

votes

**0**answers

117 views

### A group theory problem? [closed]

Let $p$ be a prime s.t $p>2$ and k an integer s.t $k>1$, and l be a positive integer s.t $0<l<p^k<2^n$, does the following equation have any solutions in $Z_{2^n}$?
$$l^2=p^{2k}$$
In ...

**4**

votes

**1**answer

85 views

### Primary invariants

This question is related to the earlier question which is in the given link:
Primary invariants of a finite group
Let $G$ be a finite group and $V$ a complex representation of degree $n$, and let ...

**3**

votes

**1**answer

112 views

### A more precise description of conjugation of semi-simple subgroups

Let $G$ be a semi-simple algebraic group over $\mathbb{Q}$, I would like to find an integer $d>0$ only depending on $G$ with the following property. For any two semi-simple $\mathbb{Q}$-subgroups ...

**-2**

votes

**0**answers

117 views

### Is it possible for a non-abelian group to have a torsion subgroup? [closed]

Let G be a group and T be the subset of torsion elements of G, meaning the set of members of G with finite period. it is clear that T is closed under the operation of taking the inverse in the group ...

**7**

votes

**0**answers

106 views

### An infinite torsion group $G$ with finite type $K(G,1)$?

There is a famous open problem in group theory that asks:
Does there exist an infinite finitely presented torsion group?
The general belief being that such groups exist. I would like to know ...

**4**

votes

**1**answer

106 views

### About the Eigenvalues of Orthogonal Matrix plus Perturbation

Let $O$ be an orthogonal matrix, $O^T O = I$, thus its eigenvalues lie on the unit circle, $\lambda(O)=e^{i\theta}$. Furthermore, assume the form
$O = X Y$, where both matrices satisfy $X^2 = I$ and ...

**4**

votes

**1**answer

238 views

### About the conjugation of semi-simple subgroups

Let $G$ be a semi-simple algebraic group over $\mathbb{Q}$, I would like to find an integer $d>0$ only depending on $G$ with the following property. For any two semi-simple $\mathbb{Q}$-subgroups ...

**0**

votes

**0**answers

38 views

### Explicit description of fields with ramification conditions

Let us fix an algebraically closed field $k$ of characteristic 0. If I understood correctly, the Riemann Existence theorem guarantees us existence of the field (Galois-)extension, say $F$, of $k(t)$ ...

**2**

votes

**0**answers

92 views

### Chief factors and local formation

Every thing below is concerned with finite groups.
My question is about this paper
A class of groups is a collection $\mathcal{X}$ of groups with the property that
if $G \in \mathcal{X}$ and if $H ...

**3**

votes

**1**answer

111 views

### Is there a matrix representation of the permutation group whose character is the Markov trace?

Let $g$ be an element in the permutation group (symmetric group) $S_N$. Define the Markov trace of $g$ (denoted $\text{tr}_k g$) as
$$\text{tr}_kg = k^\text{number of cycles in $g$} ,$$
which depends ...

**9**

votes

**0**answers

265 views

### Finite groups inside an infinite group with the same homology

Suppose we have a triple of groups $G,H,K$ verifying the follwing conditions
$G$ and $H$ are finite groups and $K$ an infinite group.
there exists two monomorphisms $G\rightarrow K\leftarrow H$ ...

**11**

votes

**1**answer

346 views

### Verify that a group is hyperbolic via computer algebra

I would like to know whether there is some computer algebra software that can be used to verify if a group, given by a finite presentation, is hyperbolic (in the sense that it terminates with "yes" if ...

**2**

votes

**0**answers

78 views

### Computing characters of $\alpha$-projective representations

Given a finite group $G$, a finite cyclic group $A$ (viewed as a subgroup of $\mathbb{C}^{\times}$, i.e. generated by a $|A|$-th root of unity), and a 2-cocycle $\alpha\in Z^{2}(G,A)$. Recall that an ...

**15**

votes

**1**answer

370 views

### The number of maximal subgroups up to isomorphism

Every maximal subgroup of infinite index of a free non-cyclic group $F_k$ is free of countable rank. Thus even though the set of maximal subgroups of $F_k$ is uncountable, there are only countably ...

**10**

votes

**0**answers

76 views

### Finite quotients of amalgamated products with virtually nilpotent factors

Consider the amalgamated product $A\ast_C B$ of groups such that $A\neq C\neq B$ and both factors $A$, $B$ are finitely generated virtually nilpotent.
Does $A\ast_C B$ always have a subgroup of some ...

**5**

votes

**1**answer

105 views

### Quotient of Coxeter complex in terms of double cosets?

In Victor Reiner's Quotients of Coxeter Complexes and $P$-Partitions, we have the below definition for the quotient complex of a Coxeter complex by a finite subgroup of the Coxeter group. I think ...

**15**

votes

**0**answers

259 views

### Groups whose finite index subgroups of fixed index are isomorphic

I am interested in finitely generated groups $G$ that are residually finite and have the following property: For each $d \geq 1$, $G$ has subgroups of finite index $d$, and all such subgroups are ...

**6**

votes

**2**answers

537 views

### Geometric or topological results from group theory

Do you know interesting examples of purely geometric or topological results which can be proved using group theory? To make precise what I have in mind, let us consider the two following examples:
...

**10**

votes

**1**answer

158 views

### Finite groups with lots of conjugacy classes, but only small abelian normal subgroups?

Denote the commuting probability (the probability that two randomly chosen elements commute) of a finite group $G$ by $\operatorname{cp}(G)$. By a result of Gustafson [2], ...

**12**

votes

**2**answers

297 views

### When are growth series rational?

For a finitely generated group $G$ with generating set $S$, one can define the word metric. Using this, we are able to define the sequence $\sigma(n)$ by
$ \sigma(n) = |\mathcal{S}(e,n)| $, which is ...

**3**

votes

**1**answer

173 views

### A spectral graph theory problem

Let $S$ be a zero-free subset of the group ${\bf Z}_2^n$ and $\Gamma={\rm Cay}({\bf Z}_2^n,S)$ be a bipartite Cayley graph. For some choices of $S$, the graph $\Gamma$ has $4$ distinct eigenvalues, ...

**2**

votes

**0**answers

83 views

### Generating-bijective groups

We may say that two finitely generated groups $G$ and $H$ are generating-bijective when there exist homomorphisms $\phi:G\rightarrow H$ and $\psi:H\rightarrow G$ such that, for each ordered generating ...

**0**

votes

**0**answers

31 views

### Free cocompact action of discrete group gives a covering map [migrated]

I'd like to find a short proof of the following seemingly basic fact encountered on the second page of Atiyah's paper "Elliptic operators, discrete groups, and von Neumann algebras." ...

**6**

votes

**0**answers

168 views

### When does a CAT(0) group contain a rank one isometry

Let $G$ be a CAT(0) group which acts on the CAT(0) space $X$ properly and cocompactly via isometry. Let $g \in G$ be a hyperbolic isometry of $X$. Then $g$ is called $\textbf{rank one}$ if no axis of ...

**3**

votes

**0**answers

144 views

### For $P$ $\mathbb{Z}G$-projective, $\mathbb{Q}\otimes P$ is $\mathbb{Q}G$-free

I'm looking for a proof of a theorem of Swan [1, Theorem 3]:
If $G$ is a finite group and $P$ a finitely generated projective $\mathbb{Z}G$-module, then $\mathbb{Q}\otimes_\mathbb{Z}P$ is a free ...

**1**

vote

**1**answer

131 views

### Number of eigenvalues of a Cayley graph

Let $G=Z_2^n$ and $S\subset G$. Is there any relation for number of distinct eigenvalues of $\Gamma=Cayley(G,S)$ graph depending on $n$ and $|S|$, or at least diameter of $\Gamma$? If you have any ...

**1**

vote

**1**answer

160 views

### Rank of a locally free $\mathbb Z[G]$-module

This is a basic question. Let $G$ be a finite group, $M$ a finitely generated $\mathbb Z[G]$-module so that the $\mathbb Z_p[G]$-module $M_p$ is free for all prime numbers $p$, i.e. is locally free.
...

**22**

votes

**1**answer

534 views

### Does $E_8$ know $Spin(7)$?

One way to define the compact group $Spin(7)$ is as the stabilizer of a certain 4-form on Euclidean $\mathbb R^8$ (see e.g. this MO question). This 4-form can be defined in various ways. For ...

**4**

votes

**2**answers

211 views

### A finiteness property for semi-simple algebraic groups

Let $G$ be a semi-simple algebraic group over a field $K$, I am considering a question about whether there exists a finite set of semi-simple $K$-subgroups, say $H_1,...,H_r$, such that for any ...

**2**

votes

**0**answers

447 views

### Is this group given presentation isomorphic to $\mathbb{Z}_2$, and why? [migrated]

We have the group $G = \langle a, \,b \; | \; a^2b^2ab^{-1}, \, a^3b^4a^{-2}b^{-3}\rangle$.
Obviously $G/G' = \mathbb{Z}_2$. Is it true that $G = \mathbb{Z}_2$ or equivalently that $G'=1$? It is ...

**4**

votes

**1**answer

223 views

### Weil's Haar measure construction from below

Weil's construction of a Haar measure on a locally compact group rests on approximating a function from above by sums of translates of another function.
I would need to know something similar for an ...

**6**

votes

**0**answers

111 views

### Constructing the largest finite group with a fixed number of conjugacy classes

It is known that there are finitely many finite groups with a given number of conjugacy classes. How can one construct (or get a character table for) the groups $G$ that realize the maximum possible ...

**0**

votes

**0**answers

75 views

### Is $n+\frac {1}{2}$ in Kendall-Mann numbers and quantum harmonic oscillator related?

It is known that quantum harmonic oscillator is connected to the symmetric group of infinite order which is isomorphic to the permutation group. According to Cayley's theorem any finite group is ...

**5**

votes

**0**answers

142 views

### Hemi-Semi Direct Product

In the category of racks (similarly quandles), instead of well-known semi direct product, we have hemi-semi direct product construction as seen on Wagemann & Crans.
As far as I know, semi direct ...

**3**

votes

**1**answer

89 views

### Extension property for unipotent linear groups over rings

This is my first question, so my apologies if it is too simple/poorly motivated.
During the course of some recent research I came across a particular variant of the following problem.
Let $G$ ...

**3**

votes

**0**answers

51 views

### Characteristically simple locally compact abelian groups

Say a topological group $G$ is topologically characteristically simple if there does not exist a closed subgroup $1 < K < G$ such that $K$ is invariant under all automorphisms of $G$ (here ...