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

**1**

vote

**0**answers

47 views

### Subsets of the boundary of a surface group

Consider the surface group $\Gamma=\langle a,b,c,d\mid [a,b][c,d]=1\rangle$: it is a Gromov hyperbolic group; its Gromov boundary $\partial\Gamma$ is homeomorphic to $S^1$ (the unit circle).
I would ...

**3**

votes

**0**answers

56 views

### Bounding the union of conjugates of a maximal subgroup of the Symplectic group over a finite field

Let $g \geq 1$ be a positive integer, and let $p$ be a prime. Consider the symplectic group $G := \operatorname{Sp}_{2g}(\mathbb{F}_p)$ of symplectic matrices with entries in $\mathbb{F}_p$. Let $M \...

**1**

vote

**2**answers

233 views

### A question on linear groups

Asking this question I have made a mistake joining my main question with two simple ones, so it hasn't received enough attention, however there was a partial answer, which was not elaborated, and now ...

**6**

votes

**0**answers

208 views

### On describing a sort of “well-behaved” subgroups of a free abelian group

I found this question when I tried to figure out what kind of subgroups of a free abelian group behave just as well as in the finitely generated case.
Let $M$ be a free abelian group and $N$ a ...

**-2**

votes

**0**answers

103 views

### Interplay between the Cayley graph of a finite group and its realizability over Q [on hold]

As the structure of any finitely generated, and thus any finite, group, can be described by the set of its Cayley graphs, have partial results on the realizability of such a group over $\mathbb{Q}$ ...

**13**

votes

**6**answers

2k views

### Understanding groups that are not linear

I have a really hard time "feeling" what it means for a group to fail to be linear. Vaguely, I'd like to know how one should think about such groups. More precisely:
What are some interesting ...

**8**

votes

**1**answer

858 views

### A dual version of a theorem of Øystein Ore in group theory

Let $(H \subset G)$ be an inclusion of finite groups.
This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved:
Theorem: $\mathcal{L}(H\subset G)$ ...

**1**

vote

**0**answers

74 views

### Geography of Kähler manifolds

What is the geography of Kähler manifolds with negative sectional curvature? More precisely, can any hyperbolic group be realized as the fundamental group of a Kähler manifold with negative sectional ...

**1**

vote

**1**answer

87 views

### Reference for nonlinearity of covers of $\operatorname{SL}(2,\mathbb R)$

It is known that no nontrivial connected cover of $\operatorname{SL}(2,\mathbb R)$ admits a faithful finite dimensional linear representation (see, for example, page 143 in Fulton-Harris and Exercise ...

**5**

votes

**8**answers

786 views

### classification of $p$-groups

I have two questions regarding to $p$-groups.
A $p$-group $G$ is said to be extraspecial of $G'=Z(G)$ has order $p$. Hence extraspecial groups are examples of $p$-groups with cyclic center. Of ...

**4**

votes

**5**answers

501 views

### Intersection of all normalizers

This is probably standard for group-theorists:
Let $G$ be a finite group. Is it true that the intersection of all normalizers of subgroups equals the center?
If so, where do I find a proof? What about ...

**11**

votes

**2**answers

260 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], $\operatorname{cp}(G)=\...

**4**

votes

**2**answers

682 views

### Cyclic subgroups of finite abelian groups

I learned from MO Subgroups of a finite abelian group that the problem of enumerating subgroups (not up to isomorphism) of finite abelian groups is a difficult one.
Are there simple formulas if one ...

**0**

votes

**0**answers

86 views

### Can we use GAP to find index of subgroup of an infinite group? [on hold]

Can we use GAP to find index of subgroup of an infinite group? If yes, please tell how, I tried kgmag package of GAP but could not find. From various questions here, I guessed that in MAGMA, one can ...

**13**

votes

**1**answer

336 views

### Cohomology of central extensions of groups

Let G be a central extension of a finite group H by $Z/2$. I need an explicit description of the differentials $d_2$ and $d_3$ in the Lyndon-Hochschild-Serre spectral sequence which converges to the ...

**2**

votes

**1**answer

114 views

### Have semigroups with actions on themselves that have a dual to the compatibility axiom ever been studied?

For a semigroup $G$ with a left action on itself, the axiom for compatibility becomes:
$$
\forall f,g,h\in G:hg(f)=h(g(f))
$$
Now suppose there is additional axiom, or constraint if you prefer, ...

**2**

votes

**3**answers

482 views

### maximal subgroups of finite nilpotent groups

Is it possible to classify finite non-abelian nilpotent groups with at most four maximal subgroups? Is it possible to answer the question for finite non-abelian solvable groups?

**10**

votes

**4**answers

655 views

### Automorphism Group of a p-group : Looking for a Reference

In the following post by DavidLHarden :
See Here
He quoted the following claim:
"There is a theorem that says that if $p$ is a prime and $|G|=p^n $ , then $|AutG| $ divides
$ \Pi_{k=0}^{n-1} (p^{n}-...

**3**

votes

**1**answer

246 views

### A question on $p$-central $p$-groups

Let $p$ be a fixed prime. A group $G$ is termed $p$-central if every element of order $p$ in $G$ lies in the center.
Having a finite $p$-group $G$ of rank $k$ (the least integer, such that every ...

**0**

votes

**2**answers

715 views

### Maximal subgroups of a finite p-group

I want to prove the following:
Let $G$ be a finite abelian $p$-group that is not cyclic.
Let $L \ne {1}$ be a subgroup of $G$ and $U$ be a maximal subgroup of L then there exists a maximal subgroup $...

**4**

votes

**2**answers

204 views

### Exceptional isomorphisms between finite simple Chevalley groups

Steinberg's "Lectures on Chevalley Groups"
https://math.depaul.edu/cdrupies/research/papers/chevalleygroups.pdf
contain ``a complete list of isomorphisms" among the various finite simple Chevalley ...

**4**

votes

**0**answers

54 views

### Do the normal forms for braid groups really conceal information about better than randomly applying the braid relations?

In braid based cryptography, one typically wants to conceal the way a certain braid $b$ has been obtained. One therefore puts $b$ into some normal form. Since every braid has a unique normal form, the ...

**0**

votes

**0**answers

120 views

### Ring structure on cohomology of groups

Assume that $G$ is a finite group and that $A$ is an arbitrary $G$-module. Then we know that can define the cohomology groups of $G$ with coefficients in $A$ in the usual way and we denote the latter ...

**9**

votes

**2**answers

299 views

### Groups without property (T) but all finite quotients are expanders

What is an example of a group $G$ which
1- is finitely generated by $S$,
2- does not have property (T),
3- admits infinitely many finite quotients which do not factor through an homomorphism $G \...

**3**

votes

**4**answers

683 views

### Maximum value of the number of conjugacy classes of nonabelian p-groups with an abelian subgroup of index p

It is known that if $G$ is a nonabelian $p$-group of order $p^n$, with an abelian subgroup of index $p$, then the number $k(G)$ of conjugacy classes of $G$ can be as large as $p^{n-1} + p^{n-2} - p^{n-...

**6**

votes

**1**answer

147 views

### Does every cocompact lattice admit a homomorphism (with infinite image) into a compact Lie group?

Let $\Gamma$ be a cocompact arithmetic lattice in a semisimple algebraic group. Does it admit a homomorphism $\Gamma \to K$ with infinite image into a compact real Lie group $K$?

**6**

votes

**3**answers

477 views

### Counting cyclic subgroups of order $p^{2}$: $p$ an odd prime vs. $p=2$

While playing with Frobenius' problem (about finite groups $G$ in which, for some positive integer $n \mid |G|$, there are exactly $n$ elements of order dividing $n$), I came up with the following ...

**6**

votes

**0**answers

41 views

### Coarse embeddability into Hilbert space of residually finite groups

By definition a finitely generated group G is coarsely embedded into Hilbert space if there is a function $F: G\to \ell_2$, such that $\|F(g_n)-F(h_n)\|\to\infty$ iff $d(g_n,h_n)\to\infty$, where $d$ ...

**1**

vote

**3**answers

169 views

### Finite subgroups (not finite index, just finite) of the modular group

The modular group is commonly described as the group of linear fractional transforms $z \mapsto \displaystyle \frac{az+b}{cz+d}$ with $a,b,c,d$ integers and $ad-bc = 1$. Of course, a great deal is ...

**8**

votes

**1**answer

751 views

### Automorphism group of a finite group

I would like to ask if there exists an explicit description of $\mathrm{Aut}(G)$, the group of automorphisms of a finite group $G$, in particular, when $G$ is abelian. E.g., if $G = \mathbb{Z}/m\...

**9**

votes

**1**answer

616 views

### An extension of the converse to Hall's theorem.

This is an extension of this MSE question, in which I asked whether there was a counterexample to the following statement,
Conjecture. If a finite group $G$ contains a $\lbrace p,q \rbrace$-Hall ...

**5**

votes

**2**answers

810 views

### A solvability theorem

There is a theorem which says:
Let $G$ be a finite group. Suppose that every maximal subgroup of $G$ has index equal to a prime or the square of a prime. Then $G$ is solvable.
Reading existing ...

**8**

votes

**1**answer

236 views

### Do you know this Burnside ring module?

Let $G$ be a finite group and $\Omega(G)$ its Burnside ring. There is a certain $\Omega(G)$-module, let's call it $M(G)$, that appears in something that I am thinking about. As an abelian group $M(G)$ ...

**2**

votes

**2**answers

316 views

### Which is better for creating tables of group theory info, GAP or MAGMA?

Specifically, I want to compute the set of values of $|G:\text{ker}(\chi)|/\chi(1)$ for all the characters of a p-group, for a lot of p-groups. I don't know how to use either program, so before I ...

**3**

votes

**1**answer

306 views

### On the Groups of Order $(p^2+1)/2$

A few days ago I asked a question (Groups of order $p(p^2+1)/2$) about a finite group of order $p(p^2+1)/2$ and I got a lot of useful information about it. Thanks for the nice and very helpful answers....

**4**

votes

**3**answers

734 views

**30**

votes

**3**answers

2k views

### Is there a nice explanation for this curious fact about cyclic subgroups?

Here's something that I noticed that quite surprised me.
Let $G$ be a finite abelian group. Consider the following expression.
$$
\nu(G) = \sum_{\substack{H \leq G \\ H \text{ is cyclic}}} |H|
$$
It ...

**4**

votes

**0**answers

157 views

### Is the class of commutative generalized Euclidean rings stable under quotient and localization?

Let $R$ be an associative ring with indentity and let $E_n(R)$ be the subgroup of $GL_n(R)$ generated by matrices obtained from the identity matrix by replacing an off-diagonal entry by some $r∈R$. ...

**28**

votes

**3**answers

984 views

### Richness of the subgroup structure of p-groups

Given a prime $p$ and $n \in \mathbb{N}$, let $f_p(n)$ be the smallest
number such that there is a group of order $p^{f_p(n)}$ which all groups of
order $p^n$ embed into. What is the asymptotic growth ...

**3**

votes

**2**answers

450 views

### Centralizer of a subtorus in a reductive group is Levi?

Questions a bit similar to this one have already appeared I think on the forum but I couldn't find the answer to my question using those answers. I must say from the beginning that my knowledge of ...

**7**

votes

**2**answers

238 views

### Transitive actions of $Aut(F_2)$ on surjections from $F_2\twoheadrightarrow G$

Here $F_2$ is the free group on two generators $x,y$. I'm interested in examples of finite groups $G$ such that $Aut(F_2)$ acts transitively on the set of surjections $F_2\rightarrow G$. (In ...

**8**

votes

**2**answers

265 views

### Which finite p-groups occur as commutators of finite p-groups?

Let $p$ be a prime number. For which finite $p$-groups $H$ is there a finite $p$-group $G$ such that $[G,G] \cong H$?

**20**

votes

**1**answer

924 views

### Number of 2-dimensional irreducible representations of a finite group ?

Question: What is the number of two-dimensional irreducible representations of a finite group ? How it can be expressed in groups-theoretic terms ? (Number of 1-dimensional irreps is |G/[G,G]| ).
...

**5**

votes

**2**answers

512 views

### Finite groups with a character having very few nonzero values?

A number theorist I know (who studies Galois representations) raised a question recently:
Which finite groups can have an irreducible character of degree at least 2 having only $n=2, 3$, or 4 ...

**6**

votes

**1**answer

456 views

### Non-vanishing of the Tate-Shafarevich kernel in group cohomology

Let $G$ be a finite group. Let $M$ be a finite $G$-module (a finite abelian group with an action of $G$).
We consider a special kind of $G$-modules; in particular, our $M$ is a finite dimensional ...

**4**

votes

**1**answer

285 views

### Do the automorphism groups of $F_2$ and $G$ act transitively on the surjections from $F_2$ to $G$?

Let $G$ be a finite nonabelian group.
Let $F_2$ be the free group with generators $x,y$, then we know its outer automorphism group is isomorphic to $\text{GL}_2(\mathbb{Z}$). Let $\text{Aut}^+(F_2)$ ...

**6**

votes

**3**answers

408 views

### Solvable irreducible subgroups of the $\mathbf{GL}_n$ of $\mathbf{F}_p$ ($p$ prime)

I have a finite-dimensional vector space $E$ over the finite prime field $\mathbf{F}_p$ and a solvable subgroup $G\subset\mathbf{GL}(E)$ for which $E$ is an irreducible representation. Do the groups $...

**35**

votes

**4**answers

2k views

### How much of the ATLAS of finite groups is independently checked and/or computer verified?

In a recent talk Serre made some comments about proofs that rely on the classification of finite simple groups (CFSG) and on the ATLAS of Finite Groups. Namely, he said that a proof that relied on the ...

**4**

votes

**2**answers

229 views

### Is $(G\rtimes H,H)$ a Gelfand pair iff $G$ is abelian?

Let $G$ be a finite group and $K \subset G$ a subgroup. Then $(G,K)$ is a Gelfand pair if the double coset Hecke algebra $\mathbb{C}(K \backslash G / K)$ is commutative.
Let $H$ be a subgroup of $...

**3**

votes

**1**answer

181 views

### Must normalizing field outer automorphisms “divide” the dimension?

Imprecise question: To get a normalizing field outer automorphism of
order $r$, must we multiply the dimension by $r$?
Precise hypothesis: Let $p\geqslant 5$ be a prime, let $q$ be a power of $p$ and ...