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

learn more… | top users | synonyms (1)

8
votes
0answers
232 views

Sets which are unions of translates of each other but aren't single translates

I'm a hobbyist mathematician so any question I ask here might be at risk of closure. I hope this one is good enough, but I'm not sure. This is a continuation of two questions I asked on ...
16
votes
1answer
741 views

What makes the amenability of Thompsons group $F$ such a tricky problem?

An open problem that seems to get a lot of attention every once in a while is the amenability of Thompsons group $F$. The problem seems to generate both proofs and disproofs at a fairly high rate, ...
6
votes
0answers
89 views

Checking if a multiplication table represents a group [duplicate]

Given an $n \times n$ multiplication table, can one check if it represents a group in $o(n^3)$ time? All properties can be checked by mindless try-all possibilities loops: Whether there is an ...
1
vote
2answers
141 views

Speed and absence of non-constant bounded harmonic functions

For a (symmetric) random walks on countable groups generated by $\mu$, there is a "brute-force computation" argument of Avez (1974) that shows that if the entropy $h_\mu$ is trivial then there are no ...
5
votes
3answers
253 views

Can groups of twice-odd order have quaternionic representations?

Let $G$ be a finite group and $\phi\colon G\to \mathrm{GL}_d(\mathbb C)$ be an irreducible representation, with character $\chi$. Recall that $\phi$ is complex type if $\chi$ is not real-valued, ...
3
votes
0answers
108 views

A lemma on verbal conjugacy classes in groups

I'm reading an article whose title is "On Groups With Finite Verbal Conjugacy Classes". Adapting their notations, the authors propose the following lemma. Let $w$ be a concise word and $G$ a group ...
3
votes
0answers
112 views

torsion free for the 2nd cohomology group?

Let $G$ denotes an infinite coutable discrete group with Kazhdan's property (T), My question is: is it known that the 2nd cohomology group $H^2(G,\mathbb{Z}G)$ is torsion free? Thanks in advance! ...
9
votes
2answers
229 views

Vertex-primitive graphs with two vertices having almost the same neighbourhood

Hypothesis: Let $\Gamma$ be a vertex-primitive graph with two vertices $u$ and $v$ such that $$|N(u) \cap N(v)|=|N(v)|-1$$ Question: Is it true that $\Gamma$ must either be a complete graph or have ...
1
vote
0answers
115 views

Explicitly showing that a free group is LERF [closed]

Let $F$ be a free group on a finite set $X$, and let $M$ be a finitely generated subgroup. Marshall Hall's theorem states that $M$ is closed in the profinite topology on $F$. That is, $M$ is the ...
0
votes
1answer
97 views

All $2$-designs arising from the action of the affine linear group on the field of prime order

Let $p$ be a prime and $\mathbb{Z}_p$ denote as usual the field of order $p$. Let $AL(p)$ be the affine linear group $\{x\mapsto ax+b \;|\; a\in \mathbb{Z}_p\setminus \{0\}, b\in\mathbb{Z}_p\}$. For a ...
3
votes
1answer
134 views

Hall subgroups of general linear group

Let $q=p^k$ for some prime $p$, and let $GL_n(\mathbb{F}_q)$ be the group of invertible matrices over the finite field of $q$ elements. If $\pi$ is the set of primes not equal to $p$, does ...
13
votes
1answer
403 views

Why is Klein's representation of $PSL_2(\mathbb{F}_7)$ hard to obtain?

In his famous article [1] Klein constructs a representation of $G=PSL_2(\mathbb{F}_7)$ in $\mathbb{C}^3$ (of which the first invariant polynomial of three variables gives rise to the famous Klein's ...
10
votes
3answers
457 views

Natural associative law for a ternary “group”?

Suppose one were to define a group-like structure based on a set $G$ with a ternary (rather than binary) operator $g( a, b, c ) = \left< a, b, c \right>$. One possible definition for the ...
2
votes
3answers
387 views

Lucido's three prime lemma

Let G be a finite solvable group. If p,q,r are distinct primes dividing |G|, then G contains an element of order the product of two of these three primes. This is lucido's three prime lemma. I ...
3
votes
0answers
77 views

A Karrass-Solitar or Ivanov-Schupp for profinite groups

Let $F$ be a nonabelian free profinite group, $H \leq_c F$ finitely generated with $[F:H] = \infty$. Must there be some $\{1\} \neq N \lhd_c F$ such that $N \cap H = \{1\}$?
0
votes
1answer
93 views

on lifting extensions

Let $G$ be a connected reductive group with $G_{der}$ simply connected and $T$ a maximal torus over an algebraically field $k$. We consider a extension $\tilde{T}$ of the maximal torus $T$ by a torus ...
7
votes
1answer
269 views

New relator in hurwitz group

I have found that $([a,b]^2[a,b^2])^n$ is a good relator to use in my search for quotients of $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{10} \rangle$. For n<=5 $H := \langle a, b \ | \ a^2, ...
6
votes
0answers
97 views

Outer automorphisms of direct product of residually finite groups

Let $A,B$ be finite generated residually finite groups such that $\mathop{Out}(A)$ and $\mathop{Out}(B)$ are residually finite. Is $\mathop{Out}(A\times B)$ residually finite? If not, what is the ...
7
votes
4answers
352 views

Normal Covering of a Finite Group

Suppose $G$ is a finite group and $N_1, N_2, \cdots, N_k$ are proper normal subgroups of $G$. The set $\{ N_1, \cdots, N_k\}$ is called a normal cover for $G$, if $G = \cup_{i=1}^kN_i$. I need to the ...
0
votes
0answers
85 views

endoscopy and simply connectedness

Let $G$ be a connected reductive group with $G_{der}$ simply connected over a local field $F$. Let $\hat{G}$ be its Langlands dual, $s$ a semisimple element in $\hat{G}$ and $\hat{H}=\hat{G}_{s}$. ...
0
votes
0answers
108 views

Thin profinite groups - nonabelian analogues of p-adic integers

Let $p$ be a prime number, $S = C_p$ a cyclic group of order $p$, $G = \mathbb{Z}_p$ the profinite additive group of $p$-adic integers. It is well known that all the closed nontrivial subgroups of $G$ ...
5
votes
2answers
252 views

Which groups are LERF?

A finitely generated group $G$ is called LERF if every finitely generated $H \leq G$ is closed in the profinite topology on $G$ (equivalently, there is a family of finite index subgroups of $G$ ...
2
votes
0answers
133 views

Marshall Hall's theorem for surface groups [closed]

Let $\Gamma_g$ be a surface group of genus $g \geq 2$, that is we have a presentation: $$\Gamma_g = \langle x_1,y_1 \dots, x_g,y_g \vert \prod_{i = 1}^g [x_i,y_i] = 1\rangle$$ Let $H \leq \Gamma_g$ ...
11
votes
0answers
157 views

When is a group Fibonacci sequence contained in a single conjugacy class?

First a definition: a Fibonacci sequence in a group is a sequence in which the first two elements may be arbitrary, and from there on each element is a product (using the group operation) of the ...
1
vote
0answers
23 views

Central automorphisms of groups act transitively on Krull-Schmidt decompositions

(Cross posted from math.SE) I'm looking for a modern reference to the subject line, preferably one that doesn't use Ore's generalizations to modular lattices. To clarify terminology... Suppose we ...
4
votes
1answer
153 views

a question about minimal non-abelian groups

Let $G$ be a minimal non-abelian group with cyclic Sylow $p$-subgroup $P$ and normal Sylow $q$-subgroup $Q$ , see [ Huppert, Endlich Gruppen I, Aufgaben III, 5.14]. My quesion is, if there is another ...
18
votes
2answers
949 views

Is a group uniquely determined by the sets $\{ab,ba\}$ for each pair of elements a and b?

This is a cross-posted question, originally active here on math.stackexchange. For a given group $G=(S,\cdot)$ with underlying set $S$, consider the function $$ F_G:S\times ...
3
votes
0answers
186 views

What is God's number for the WrapSlide puzzle?

WrapSlide is a slide-puzzle (reminding of Rubik's Cube) consisting of a 6x6 grid of coloured tiles which are separated into four quadrants of 3x3 tiles. When it is unmixed all the tiles in a quadrant ...
6
votes
1answer
142 views

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

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

How can I have a copy of this old paper by Frobenius?

How can I have a copy of this old paper and a translation of it? Frobenius, G. (1902). Uber primitive Gruppen des Grades n und der Klasse n - 1. S. B. Akad. Berlin 1902, 455-459.
1
vote
0answers
38 views

Anti-Invariant Polynomials of the Dihedral group

I'm interested in the one-dimensional irreducible representations of $D_{2n}$ acting on $\mathbb{R}[x,y]$. I have found that the trivial representations for an algebra freely generated by $x^2+y^2$ ...
6
votes
1answer
166 views

What version of the wreath product embedding theorem is actually stated in the famous paper of Kaloujnine and Krasner?

This question is inspired by Terry Tao's blog post and the comments there. I have always cited M. Krasner and L. Kaloujnine, "Produit complet des groupes de permutations et le problème d'extension de ...
4
votes
1answer
249 views

Normal subgroup lattice of the group $U_{6n}$

I need to find the normal subgroup lattice of the group $U_{6n} = \langle a,b | a^{2n} = b^ 3= 1, a^{-1}ba = b^{-1}\rangle$. To the best of my knowledge this group was introduced at first by GORDON ...
8
votes
1answer
289 views

Center of one-point stabilizer in 2-transitive groups

In this MO question it was mentioned that the following fact seems to be true: If $G$ is doubly transitive on $X$ and the one-point stabilizer $G_x$ has a non-trivial center, then $G$ is of ...
3
votes
0answers
128 views

On a problem of Berkovich

What is the real history of the following problem proposed by Berkovich [Y. Berkovich, Z.Janko, Groups of prime power order. Volume 2, Expositions in Mathematics, 56, Walter de Gruyter, New York, ...
14
votes
2answers
303 views

Does a classification of simultaneous conjugacy classes in a product of symmetric groups exist?

Let the symmetric group $S_n$ on $n$ letters act on $S_n^d=S_n\times\cdots\times S_n$ by simultaneous conjugation, i.e. $\pi\in S_n$ acts on $(\sigma_1,\ldots,\sigma_d)\in S_n^d$ by ...
1
vote
1answer
152 views

Homomorphisms from irreducible spaces to reducible spaces

Let $P_{\lambda}$ be a Young symmetriser associated to the following tableau $(a_1 a_2 a_3 b_3 ; b_1 b_2)$ where the entries seperated by the ; belong to first and second COLUMNS of the tableau. Take ...
3
votes
0answers
117 views

Unipotent representations of SL(2,R) by quantization

I'm a PhD student in mathematical physics and I happen to need some elements of Kirillov's "orbit method" for producing representations of Lie groups. I'm familiar with symplectic geometry, geometric ...
6
votes
1answer
277 views

discrete group cohomology vs continuous group cohomology for profinite groups

Let $G$ be a profinite group and $M$ be a finite $G$-module. I can compute the cohomology of $G$ with coefficients in $M$ either as a topological group or as a discrete group. There is an obvious map ...
5
votes
1answer
376 views

Milnor-Wolf result on growth of solvable groups

The Milnor-Wolf theorem says that any solvable group has either polynomial or exponential growth. I wonder about the existence of alternative proofs of this fact. I have an impression that the ...
3
votes
0answers
40 views

Boersma and Glasser formula

In http://iopscience.iop.org/0305-4470/38/8/005 (A differentiation formula for spherical Bessel functions) Boersma and Glasser proved the following interesting formula ...
7
votes
2answers
126 views

Can monomial representations induced from nonmonomial representations?

Let $H$ be a subgroup of $G$. Let $\rho$ be an irr representation of $G$ induced from an irr representation $\theta$ of $H$. It is well known that $\rho$ is monomial if $\theta$ is monomial. Is it ...
1
vote
2answers
360 views

Non-isomorphic groups such that there are epis from one to another [closed]

Are there (infinite) non-isomorphic groups $G, H$ such that there are surjective group homomorphisms $f: G\to H$ and $g: H\to G$?
14
votes
0answers
261 views

Partitions of ${\rm Sym}(\mathbb{N})$ induced by convergent, but not absolutely convergent series

Let $(a_n) \subset \mathbb{R}$ be a sequence such that the series $\sum_{n=1}^\infty a_n$ converges, but does not converge absolutely. Then there is a partition of the symmetric group ${\rm ...
1
vote
1answer
165 views

Two questions about axiomatic rank of groups

Let $G$ be a group and $V=Var(G)$ be the variety generated by $G$. Suppose the axiomatic rank of $V$ is $n$. Let $Id(V)$ be the set of all identities of $V$. 1- Can we say that every element of ...
4
votes
1answer
230 views

Minimum word length for an unusual set of generators of the symmetric group

Problem. Let $n\geq 2$ and let $T$ be the set of all permutations in $S_n$ of the form $$t_k:=\prod_{1\leq i\leq k/2}(i,k-i) \qquad \hbox{for $k=3,4,\ldots,n+1$}.$$ Find the least integer ...
5
votes
1answer
133 views

Subgroups of one-relator groups

I know that not every finitely-presented group may be embedded into a one-relator group, for example because of a theorem of Magnus stating that the word problem is solvable in one-relator groups. But ...
2
votes
1answer
155 views

When is Aut(G) the symmetric group of an Aut(G)-invariant generating set?

Let $G$ be a group, $X$ a generating set of $G$. Suppose $X$ is $\operatorname{Aut}(G)$-invariant, i.e. $\sigma(X)\subseteq X$ for all $\sigma \in \operatorname{Aut}(G)$. When is the restriction ...
2
votes
1answer
248 views

Reference request for generalization of groups with out identity element?

In other words what do we call a magma which is associative and has divisibility property but not existence of identity? Or a groupoid when it loses the identity property? A reference on such ...
3
votes
3answers
210 views

Equivalence classes of (2,3)-pairs in PSL(2,q)

This may not be a research-level question, which is why I submitted it to math.stackexchange first, but so far the question there has barely been viewed, let alone answered. Apologies if submitting it ...