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

**3**

votes

**0**answers

92 views

### Automorphisms of profinite groups

Let $d,n \in \mathbb{N}$, and $p$ a prime number. Let $F$ be a free pro-$p$ group on $d$ generators. Is there an automorphism of $F$ of order $n$?

**1**

vote

**1**answer

109 views

### generality of the lattice of normal subgroups

Let $(X,\le)$ a (finite) modular lattice. Is there a (finite) group $G$ such that the lattice of all normal subgroups of $G$ is isomorphic to $(X,\le)$?

**5**

votes

**1**answer

180 views

### Is any finitely generated nilpotent pro-$p$ group necessarily the pro-$p$ completion of some finitely generated nilpotent group?

While thinking about this question, I was led to the following question:
My question: Let $G$ be a topologically finitely generated pro-$p$ nilpotent group. Does there exist a finitely generated ...

**2**

votes

**3**answers

136 views

### Modular group modulo $N$

Let $N\geq2$ be a positive integer. Is the canonical homomorphism $\pi$ from $SL_2(\mathbb{Z})$ to $SL_2(\mathbb{Z}/N\mathbb{Z})$ surjective?
What if we ask the same question for $SL_n$?

**5**

votes

**0**answers

73 views

### Explicit descriptions of self-replicating pro-$p$ groups

A group $G$ is called self-replicating, if there exists a finite index subgroup $H$, such that $H\cong G\times\dots\times G$. Maybe the most famous example of a self-replicating group is a subgroup ...

**4**

votes

**1**answer

274 views

### Which finite groups can be characterized by their subgroup orders?

Given a finite group $G$, we denote by $\pi_s(G)$ the set of orders of its subgroups. Which finite groups $G$ can be characterized by the set $\pi_s(G)$, i.e. $\pi_s(H)=\pi_s(G)$ implies $H\cong G$? ...

**1**

vote

**1**answer

127 views

### Groups in which lower central series and upper central series coincide

Let $G$ a finite two-generated $p$-group in which lower and upper central series coincide. Clearly we obtain that the upper central series become strongly central, we have also that at least half of ...

**5**

votes

**1**answer

198 views

### A nilpotent quotient of free groups

Let $F$ denote the free group on $n$ generators $g_1,\ldots, g_n$. Consider its quotient $Q$ by the universal relation $[x,[x,y]]$ (a "Serre relation" familiar from Lie theory). This group is ...

**4**

votes

**3**answers

201 views

### Results about the existence of solutions in groups

Let $G$ be a group. Consider an arbitrary equation given by $w(\vec{g})=e$, where $w: G^n \to G$ takes an $n$-tuple $(g_1,...,g_n)$ to some expression involving products of the $g_i$, their inverses ...

**1**

vote

**0**answers

88 views

### Triangle groups [closed]

I am having a hard time finding references (apart from wikipedia) for the geometric interpretation of triangle groups $T_{a,b,c} = \langle x,y \mid |x|=a, |y|=b, |xy|=c \rangle$. How can these groups ...

**4**

votes

**3**answers

519 views

### Action of a profinite group

Let $G$ be a finitely generated profinite group, $p$ a prime number. Put $$ V = \prod_{i \in I} \mathbb{Z}_p$$ a (profinite) group equipped with the product topology (for convenience, $I$ may be ...

**1**

vote

**1**answer

66 views

### Dropping rank of IA automorphisms

Is there a natural way to map a given IA automorphism $\alpha\in Aut(F(X_n))$
to $Aut(F(X_{n-1}))$?
Think about braids. A pure braid on $n$ strands can be naturally mapped to a braid
on $n-1$ strands ...

**4**

votes

**1**answer

156 views

### Property of IA automorphisms of free groups

For $n \in\mathbb{N}$ define:
$X_n=\{x_1,\ldots,x_n\}$,
$F(X_n)$ the free group on $X_n$,
$\varphi:F(X_n)\to F(X_{n-1})$ an epimorphism defined by $x_i\stackrel{\varphi}{\mapsto} x_i$ for $1\le ...

**6**

votes

**2**answers

259 views

### Subgroups from which all class functions extend to class functions on the ambient group

Until someone suggests better terminology, let me call a subgroup H of a finite group G segregated if every class function on H can be extended to a class function on G. Equivalently, H should have ...

**23**

votes

**1**answer

609 views

### Properties to have matrices that commute in $\mathrm{GL}_n(\mathbb C)$

Let $G$ be a finite subgroup of $\mathrm{GL}_n(\mathbb C)$, $A,B \in G$ whose eigenvalues are thus in the unit circle.
Assume that the eigenvalues of $A$ are included in a circle arc of ...

**3**

votes

**2**answers

234 views

### Bound for the Frattini subgroup of a $p$-group

Assume that $G$ is a finite $p$-group, $p$ odd, with a non-trivial elementary abelian Frattini subgroup. Then both $\Phi(G)$ and $G/ \Phi(G)$ are vector spaces over $\mathbb{F}_p$. Is it possible to ...

**11**

votes

**2**answers

357 views

### Subgroups of $SL_3(\mathbb{Z})$ that are finitely generated, Zariski-dense, infinite index, and torsion-free

My question stems from Misha's answer of a MathOverflow question. Misha supplied the following question in his answer:
Open question: Does there exist a finitely generated Zariski-dense ...

**4**

votes

**4**answers

392 views

### Variations to Cayley's Embedding Theorem for Groups

Early in a course in Algebra the result that every group can be embedded as a subgroup
of a symmetric group is introduced. One can further work on it to embed it as a subgroup of a suitable (higher ...

**4**

votes

**2**answers

227 views

### Can finitely generated subgroups of limit groups be detected in free group quotients?

In Henry Wilton's excellent paper "Hall's Theorem for limit groups" (Geom. Funct. Anal. 18, pp. 271–303, 2008 ) he proves the following result (see his paper or here and here for the relevant ...

**1**

vote

**0**answers

79 views

### $p$-groups with $\Omega_1(G)\leq\Phi(G)$ [closed]

Let $G$ be a finite $p$-group with $\Omega_1(G)\leq\Phi(G)$.
What do we have information about this group?

**1**

vote

**1**answer

143 views

### What are finite groups $H$ such that $H^n(H,\mathbb{Q/Z}) \cong H_n(G,\mathbb{Z})$?

Let $G$ be a finite group and $G^{\prime}$ be its commutator subgroup. Let $\mathbb{Z}$ and $\mathbb{Q}$ denote the integers and rationals. $\mathbb{Z}$ and $\mathbb{Q/Z}$ treated as trivial ...

**4**

votes

**1**answer

246 views

### Normal Subgroup Growth

Let $F$ be a free group on $d$ generators.
Denote by $F_{k}$ the $k$-th term in $F$'s derived series. Put $G = F/F_k$. What is the normal subgroup growth of $G$?
Explicitly, for each natural number ...

**3**

votes

**0**answers

96 views

### Cancellations in products of two elements of a hyperbolic group

Let $G$ be a non-abelian free group with the standard generating set and the corresponding word metric. If we take two elements $g,h\in G$ and compute their product $gh$, some letters might cancel, ...

**17**

votes

**1**answer

974 views

### How to prove that every polynomial in an infinite family is irreducible over Q?

Consider the bivariate polynomial $$p(X,Y) = X^5 - (2 Y + 1) X^3 - (Y^2 + 2) X^2 + Y (Y-1) X + Y^3.$$ For every integer $y \ge 4$, I conjecture that $p(X,y)$ is irreducible in $\mathbb{Q}[X]$. How can ...

**11**

votes

**2**answers

257 views

### Algorithms in hyperbolic groups

I'm stuck in some algorithms in hyperbolic groups, which may be rather simple.
Let $G$ be a hyperbolic group given by a finite presentation. It is known that the hyperbolicity constant $\delta$ can ...

**3**

votes

**1**answer

66 views

### H S class operator and its equality

$A \in S(K)$ iff $A$ is a subalgebra of some member of $K$
$A \in H(K)$ iff $A$ is a homomorphic image of some member of $K$
It is trivial to see the containment $SH \leq HS$. Taking a simple ...

**4**

votes

**2**answers

244 views

### Simple groups and words

Let S be a finite simple nonabelian group, w a word in a finite number of variables which is not a power of another word. Must there be a substitution of elements of S in w such that the resulting ...

**4**

votes

**2**answers

244 views

### Schreier's index formula

A finitely generated group G is said to satisfy Schreier's index formula if for every subgroup H of index k in G we have: d(H) - 1 = k(d(G) - 1). For example, a finitely generated free group satisfies ...

**10**

votes

**0**answers

222 views

### $2$-group with two isomorphic normal subgroups of index $4$ with non-isomorphic quotients

Hypothesis: Let $P$ be a finite $2$-group with two isomorphic normal subgroups $M$ and $N$ such that $P/M\cong C_4$ (the cyclic group of order $4$) while $P/N\cong C_2^2$. By the lattice theorem, ...

**1**

vote

**1**answer

120 views

### Relations between Arboreal Group Theory and Tree Group Actions?

By a tree group action, we mean an action of a group $G$ over the infinite regular binary tree $T_2$ such that for each $g \in G$, the mapping $x \rightarrow g.x$ is an automorphism of $T_2$; these ...

**4**

votes

**0**answers

135 views

### The Alexander-Conway polynomial: from knots to braids?

The Alexander-Conway polynomial was the first knot invariant to be discovered, as far back as 1923 according to this link. Given that knots can be expressed in terms of quasi-toric braid closures, it ...

**0**

votes

**1**answer

60 views

### Isometry group of an integer as of the corresponding $\Omega(n)$-parallelotope

Let $\prod_{i}p_{i}^{a_{i}}$ be the prime factorization of a positive integer $n$ and let's consider the $\Omega(n)$-parallelotope built with, for all $i\in I$, $a_{i}$ pairwise orthogonal vectors of ...

**9**

votes

**0**answers

218 views

### Non split extension isomorphic (as a group) to a split extension

$\def\Z{\mathbb{Z}}$
Let $A$ be a finite abelian group and $G$ a finite group acting on $A$.
Then the extension $0 \to A \to E \to G \to 1$ is splits if and only if the corresponding $2$-cocycle is ...

**4**

votes

**2**answers

156 views

### Embedding a linearly ordered free monoid into a linearly ordered group

A linearly ordered (shortly, l.o.) monoid is a triple $\mathbb M = (M, \cdot, \le)$ for which $(M, \cdot)$ is a (multiplicatively written) monoid and $\le$ is a total order on $M$ such that $xy < ...

**7**

votes

**4**answers

525 views

### Conjugation Quandles and… “Quandle-Groups”? From quandles to Groups

This question is already asked MathSE
A quandle $(Q,*,/ )$ is a idempotent right-distributive and right invertible structure.
1) $a*a=a$
2) $(a*b)*c=(a*c)*(b*c)$
3) $(a*b) ...

**3**

votes

**0**answers

119 views

### automorphism of finitly generated group

Let G be a finitely generated group , then can we say that the group of automorphisms of G is also finitely generated .If yes what is the relation between the number of generators.If not under what ...

**2**

votes

**0**answers

98 views

### Two $p$-groups whose automorphism groups have isomorphic Sylow $p$-subgroups

Fix a prime $p$, and let $M$ be the unique nonabelian group of order $p^3$ and exponent $p$. Let us denote by $E_n$ the elementary abelian group of rank $n$.
Is it true that $\operatorname{Aut}(M ...

**1**

vote

**0**answers

44 views

### On generating Euler Square of index q, q-1 (where q is any prime power)

Can somebody help me in generating Euler Square of index q, q-1 (where q is any prime power). Also, kidly tell me if there is any code availeble for generating the stated Euler Square. The details of ...

**1**

vote

**1**answer

70 views

### Control of $p$-extensions by subgroups of index coprime to $p$

Let $G$ be a finite group and let $M$ be a $G$-module that is a finite abelian $p$-group. Suppose we have extensions
$1 \rightarrow M \rightarrow E_1 \rightarrow G \rightarrow 1$
and
$1 ...

**1**

vote

**2**answers

217 views

### Lattices in general totally disconnected locally compact groups

Besides automorphism groups of trees and buildings, I was wondering if the lattices in general totally disconnected locally compact groups have been studied in the literature? I appreciate if you ...

**4**

votes

**2**answers

115 views

### Reduction of different RG lattices to kG modules

Every book on modular representation theory of finite groups introduces p-modular systems and describes how to reduce an ordinary representation $U$ to obtain one in characteristic p (call it ...

**0**

votes

**0**answers

102 views

### Orbits of stabilizer of two points in a 2-transitive permutation group

I was doing something which needs to know sizes of all orbits of the stabilizer of two points in a 2-transitive permutation group. Since all 2-transitive permutation groups are known ans so are their ...

**4**

votes

**1**answer

214 views

### Group extensions isomorphic as groups

Let $G$ be a group and $A$ a $G$-module. It well know that there is a group isomorphism between the second cohomologoy group $H^2(G,A)$ and the abelian group $OpExt(G,A)$ of classes of extension ...

**0**

votes

**0**answers

145 views

### Induced graphs of cayley graph

I have a Cayley graph $Cay(G,S)$, its group presentation $G=< S | R >$ and it is a metric graph by assigning a length equal to 1 to each edge. I also have an induced subgraph of that Cayley ...

**2**

votes

**0**answers

152 views

### An equivariant Hahn Embedding Theorem?

The Hahn Embedding Theorem asserts that for any (linearly) ordered abelian group $\Lambda$, there exists a linearly ordered indexing set $\Omega$ such that $\Lambda$ admits an order-preserving group ...

**5**

votes

**1**answer

253 views

### In which fixed-point free representations is the sum of every 3 elements invertible?

A representation $\rho:G\to GL_k(\mathbb{F})$ is called fixed-point free if for every $1\neq g\in G$ and every $0\neq v\in \mathbb{F}^k$, $\rho(g)v\neq v$. Stated differently, it is a representation ...

**6**

votes

**1**answer

230 views

### Primitive, non-2-transitive groups with very large orbitals?

Let $G$ be a transitive permutation group on a set $X$ with $n$ elements. Assume that $G$ is primitive, i.e., $G$ preserves no non-trivial partition of $X$. Assume as well that $G$ is not ...

**1**

vote

**1**answer

194 views

### On the Complement of a subgroup

This question was asked in
http://math.stackexchange.com/questions/729648. Since I did not get any answer I am asking it here.
In an answer in Mathoverflow I see an answer but I could not ...

**15**

votes

**1**answer

387 views

### Finite groups $G$ so that $G$ has exactly two subgroups of a given order

Is there a finite group $G$ and a divisor $d$ of $|G|$ so that $G$ contains exactly two subgroups of order $d$?
The motivation for this question is an old qual problem (see ...

**3**

votes

**0**answers

108 views

### Criterion for a subgroup of $PSL_2(\mathbb R)$ to be Fuchsian

Let $\Gamma$ be a finitely generated subgroup of $PSL_2(\mathbb R)$.
I'm looking for effective criteria (idealy necessary and sufficient but just necessary would be a good start) ensuring that ...