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

**4**

votes

**0**answers

33 views

### Does the ring $R = \mathbb{Z}[X^{\pm1}]$ of Laurent polynomials over $\mathbb{Z}$ satisfy $SL_2(R) = E_2(R)$?

Let $R = \mathbb{Z}[X^{\pm1}]$ be the ring of Laurent polynomials on one indeterminate over $\mathbb{Z}$. Let $E_2(R)$ be the subgroup of $GL_2(R)$ generated by the matrices that differ from the ...

**1**

vote

**0**answers

32 views

### A non-surjective coboundary map induced by a central extension

Let $k$ be a number field and
$$ 1\to A \to B \to C \to 1$$ be a central extension of finite groups over $\mathcal{O}_k$ (the ring of integers of $k$), with $B$ non-commutative. Consider the induced ...

**4**

votes

**0**answers

104 views

### A metric on $Homeo([0,1])$

One can define a metric on the set $Homeo([0,1])$ by setting $dist(f,g) =$ measure of support of $f^{-1}g$, that is the measure of the set of points $x$ where $f(x)\ne g(x)$. Was this metric studied ...

**11**

votes

**1**answer

341 views

### 1-st cohomology of multiplicative group in a vector space

Let $\mathbb k$ be a field of characteristic $p$ and let $\mathbb k_n$ be a 1-dimensional representation of $\mathbb k^\times$, where the action is given by $t\circ v= t^n v$. Is it known what are the ...

**-3**

votes

**0**answers

76 views

### Finding Bijection between Permutation Set [on hold]

$\beta$ is a subset of symmetric group $S_n$ which acts on $n$ elements of set $X$. Permutations of
$\beta$ acts on $k $ elements of $X$ only.
Set $L$ is a set of $n$ labels which labels ...

**2**

votes

**2**answers

112 views

### Realization of irreducible $\mathfrak{S}_d$-modules and the representation theory of Lie algebra

Let $n$ be a positive integer. It is well-known that a method to realize irreducible $\mathfrak{S}_d$-modules is to construct the so-called Specht modules $S^{\mu}$ which are submodules in the ...

**2**

votes

**0**answers

77 views

### Nonvanishing of the dual Euler totient on boolean intervals of finite groups

The rank $n$ boolean lattice $B_n$, is the subset lattice of $\{1,2, \dotsm n \}$.
Let $[H,G]$ be a boolean interval of finite groups. Its Euler totient is defined by $$\varphi(H,G):=\sum_{K \in ...

**4**

votes

**2**answers

205 views

### Does there exist a non-hyperelliptic Riemann surface with automorphism group $C_2\times A_4$?

Does there exist a non-hyperelliptic Riemann surface of genus 5 with automorphism group $C_2\times A_4$?

**3**

votes

**0**answers

57 views

### Correspondence between dual center and linear characters of finite reductive group

Let $(G,F)$ be a connected reductive group defined over $\mathbb{F}_q$ via the Frobenius $F$ and let $(G^*,F^*)$ be a group in duality with $(G,F)$ with respect to rational maximal tori $T \subseteq ...

**1**

vote

**0**answers

88 views

### Presentation of hyperbolic groups [on hold]

Is it true that all hyperbolic groups are finitely presented? If yes, what is the right reference for that?

**-5**

votes

**0**answers

40 views

### Homomorphism, Group Theory [on hold]

Let G=Z4, the group of integers modulo 4, and let H be the Klein four group, let f: G->H be a homomorphism. Why does the kernel of f must contain the element of 2 of G?

**6**

votes

**1**answer

182 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

186 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

178 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 ...

**6**

votes

**2**answers

372 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

88 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

56 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

453 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

44 views

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

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

**24**

votes

**3**answers

1k 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

249 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

75 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

37 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 ...

**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 ...

**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

107 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

239 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

95 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

272 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

347 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

79 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

372 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 ...

**11**

votes

**0**answers

79 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

106 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

544 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

298 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

174 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

173 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

145 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

536 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

212 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 ...