Questions tagged [gr.group-theory]
Questions about the branch of algebra that deals with groups.
7,823
questions
5
votes
0
answers
186
views
Subgroups of the symmetric group and binary relations
Motivation
The following came up in my work recently. (NB this is the motivation, not the question I'm asking. You can skip to the actual question below, which is self-contained, but not self-...
- 333
8
votes
2
answers
2k
views
Trivial homomorphism from a non-abelian group to an abelian group
I am stuck on this problem and cannot seem to find a good reasoning for drawing the required conclusion. The problem is as follows:
Let $m\in \mathbb{N}$ and $n>3$. I want to show that there can be ...
- 263
7
votes
1
answer
589
views
Given a rational matrix $Q$, can we generate $\langle Q^{i}(v)\mid i\in\mathbb Z,v\in\mathbb Z^{2}\rangle$ using only non-negative powers of a matrix?
I have copied this question from StackExchange, thank you to those who helped me to improve the question. (apology if you have seen this question already)
Let $Q $ be a matrix in $ \operatorname{GL}(...
- 763
3
votes
1
answer
185
views
Subgroups of top cohomological dimension
Let $G$ be a geometrically finite group, i.e. there exists a finite CW complex of type $K(G,1)$.
By Serre's Theorem, every finite-index subgroup $H$ of $G$ satisfies $cd(H)=cd(G)$, but what about the ...
- 801
5
votes
1
answer
273
views
Words which are not inverted by any endomorphism
Let $w$ be a word in a free group $F_2$ of two generators $x_1, x_2$ such that there does not exist any endomorphism of free group which takes $w$ to $w^{-1}$. Let $w_1, w_2$ be two words in the same ...
- 273
7
votes
0
answers
96
views
A group, all of whose non-trivial mapping tori are finitely presentable?
By a mapping tori of $G$, I mean a semidirect product $G\rtimes\mathbb{Z}$, and by a trivial mapping tori I mean one isomorphic to $G\times\mathbb{Z}$.
If $G$ is finitely generated but not finitely ...
- 2,742
0
votes
0
answers
119
views
Examples of a group with infinitely many ends which are not represented as a free product of groups
Let $F_1$ and $F_2$-non-trivial groups.
Is it correct that the number of ends of the free product $F_1\ast F_2$ is infinite?
My thoughts about this: Since $e(G)=\infty$ then $G=F_1\ast F_2$, a non-...
- 103
3
votes
0
answers
70
views
Diameters of permutation groups with transitive generators
Suppose that for a permutation puzzle on $n$ elements we have a subroutine to place any $m>3$ elements in arbitrary positions (possibly scrambling the rest). Can we solve the puzzle (if it is ...
- 5,847
0
votes
0
answers
84
views
Reflections of an apartment in building — Weyl groups
I will give the definition of what I mean by reflection which is in Suzuki's group theory I.
Let $\Sigma $ be an apartment of a building that contains adjacent chambers $C$ and $C'$. Then there are ...
- 139
0
votes
0
answers
68
views
Name of the power of the exponent of a $p$-group
Is there a name for the power of the exponent of a $p$-group? So, if $\mathrm{exp}(G):=\max\lbrace o(g)|g\in G\rbrace=p^k$ for some $k\in\mathbb{N}$, is there a name for the $k$? Additionally, is ...
- 83
2
votes
1
answer
166
views
Markov property for groups?
My question again refers to the following article:
Koji Fujiwara, Zlil Sela, The rates of growth in a hyperbolic group, Invent. math. 233 (2023) pp 1427–1470, doi:10.1007/s00222-023-01200-w, arXiv:...
- 309
4
votes
0
answers
209
views
Map $\operatorname{Sym}^{mp}(V^*) \longrightarrow K^{q}$ defined by $q$ points in $\operatorname{Sym}^p(V)$
EDIT : I have edited the question and made it more specific with respect to the kind of answer I expect.
Let $V$ be a finite dimensional $K$-vector space and let $x_1, \dotsc, x_q \in V$ be $q$ points,...
- 7,100
2
votes
0
answers
268
views
A question on Giles Gardam counter example to the Unit conjecture of Kaplansky
The unit version of the Kaplansky conjecture is about units in $FG$ where $F$ is a field and $G$ is a torsion free group. In a recent counter example by Giles Gardam, it is given an ...
- 280
4
votes
0
answers
57
views
Possible questions about the Tate-Shafarevich subgroup of a Galois hypercohomology group?
$\newcommand{\wt}{\widetilde}$
Let $n=1,2$. There are infinite torsion abelian groups $H^1$, $H^2$ killed by some natural number $m$.
There are finite subgroups
$$ {\rm Sha}^1 \subset H^1,\quad ...
- 13.4k
2
votes
1
answer
82
views
Definite negative functions and length functions
$\DeclareMathOperator\ND{ND}$I am reading E. Bedos paper on heat properties for groups.
Let's denote, for a group G, $$\ND^+_0(G) := \{d : G \to [0,+\infty[\; : \;d \text{ is negative definite and }d(...
- 21
3
votes
0
answers
82
views
When can we lift transitivity of an action from geometric points to a flat cover?
Let $G$ a nice group scheme (say, over $S$), $X$ a smooth $G$-scheme over $S$, that is, $\pi : X \to S$ a smooth, $G$-invariant morphism. Assume that the action is transitive on algebraically closed ...
- 535
1
vote
0
answers
124
views
The free products of finitely many finitely generated groups are hyperbolic relative to the factors
Are there any references how to show that:the free products of finitely many finitely generated groups are hyperbolic relative to the free factors. More precisely, how to show that
$G = A \ast B $ is ...
- 41
8
votes
2
answers
582
views
Analogous results in geometric group theory and Riemannian geometry?
As you can see from my other question I concern mmyself with the following article at the moment:
Koji Fujiwara, Zlil Sela, The rates of growth in a hyperbolic group, Invent. math. 233 (2023) pp 1427–...
- 309
5
votes
0
answers
115
views
Tits indices over $\mathbb{Q}$
Does every Tits index belong to some semisimple algebraic group defined over the field of rational numbers?
- 2,613
2
votes
0
answers
108
views
Further questions to limit groups and an article of Fujiwara and Sela
I already have asked a question to the following article:
Koji Fujiwara, Zlil Sela, The rates of growth in a hyperbolic group, Invent. math. 233 (2023) pp 1427–1470, doi:10.1007/s00222-023-01200-w, ...
- 309
2
votes
3
answers
296
views
Intersection of Fourier analysis (especially on the transform) and group theory, number theory, dynamical systems, etc
I am considering a PhD research topic. I only have a math Bachelor's degree with working experience mostly in teaching and I have been working on a paper. I have deep interest in Fourier Series and ...
4
votes
0
answers
181
views
A different approach to proving a property of finite solvable groups
Edit: I'd be happy to hear any vague thoughts you might have, however far they may be from a complete solution!
I asked this on math.stackexchange a couple of days ago, but it didn't attract any ...
- 917
14
votes
2
answers
1k
views
Can a group generated by its involutions, the product of every two of which has order a power of 2, have an element of odd order?
Let $G$ be a group which is generated by the set of its involutions,
and assume that the product of every two involutions in $G$ has order
a power of 2. Is it possible that $G$ has an element of odd ...
- 19.3k
9
votes
1
answer
670
views
Where has this structure been observed?
$\newcommand{\M}{\mathcal{M}}$Let $M$ be a monoid. Consider the following structure:
$R_X,R_Y:\mathbb{Z}^2 \to M$ satisfying the following "compatiblity-relation":
$$R_X (x, y) \cdot R_Y (x +...
- 6,581
0
votes
0
answers
97
views
Partition of p-groups and vector spaces
I work on partition of $p$-groups such that $G/Z(G)$ is elementary abelian. As you know, we can think of such a factor group as a vector space. Therefore it connect to a partition of vector space. ...
- 1
3
votes
1
answer
308
views
Question to limit groups (over free groups)
My question refers to the following article (to page 26: proof of Theorem 4.1):
Koji Fujiwara, Zlil Sela, The rates of growth in a hyperbolic group, Invent. math. 233 (2023) pp 1427–1470, doi:10....
- 309
5
votes
1
answer
290
views
Does every sequence of group epimorphisms (between finitely generated groups) contain a stable subsequence?
I have a question that is related to the topic of limit groups:
Let $G$ and $H$ be finitely generated groups and let $(\varphi_n: G \to H)_{n \in \mathbb{N}}$ be a sequence of group epimorphisms. Does ...
- 309
6
votes
0
answers
144
views
Algorithmic representation of the Spin (and Pin) group [duplicate]
Performing algorithmic computations in $\mathit{SO}_n(\mathbb{R})$ or $\mathit{O}_n(\mathbb{R})$ is easy: its elements are represented by $n\times n$ orthogonal matrices of reals so, assuming we have ...
- 28.7k
3
votes
0
answers
140
views
When is a group the same as its profinite completion
I'm working with the inner automorphism group of profinite quandles. A question I have yet to resolve is whether or not the inner automorphism group of a profinite quandle is necessarily profinite, or ...
- 253
4
votes
1
answer
142
views
Finite index extension and amenable commensurated subgroup
Let $G$ be a countable group, $H$ a finite index subgroup of $G$. If $H$ has an infinite amenable commensurated subgroup, then so does $G$?
I know that if $H$ has an amenable normal subgroup $N$, then ...
- 41
7
votes
1
answer
222
views
On a generalization of Schur-Zassenhaus
Disclaimer: I'm not a group theorist, I arrived at the following question from algebraic geometry.
The first half of the Schur-Zassenhaus theorem states that, if $N$ is a normal subgroup of a finite ...
- 880
1
vote
1
answer
295
views
Some necessary condition for $\gcd(m,n) $ be a proper divisor of $\gcd(mk_2 +nk_1,mn) $ [closed]
Let $m,n,k_1,k_2 $ be natural numbers such that $(k_1,m)=(k_2,n)=1 $.
Statement 1: $\gcd(m,n) $ is a proper divisor of $\gcd(mk_2 +nk_1,mn) $, for every $k_1,k_2$ having the above property.
Statement ...
- 913
13
votes
2
answers
283
views
Does a fibre product of a group $G$ with itself have a subgroup isomorphic to $G$?
Let $G$ be a group, and consider a fibre product of the form $H=G\times_{D,\phi,\psi}G$, i.e. the group of pairs $(g,g'),\phi(g)=\psi(g')$, for some surjective group morphisms $\phi:G\rightarrow D$ ...
- 163
2
votes
0
answers
77
views
Simple modules and trivial source modules
Let $(K,\mathcal{O},k)$ be a large enough $p$-modular system.
In this context, I would like to ask what is known about the following question:
when are simple $kG$-modules trivial source modules?
So ...
- 1,685
2
votes
0
answers
129
views
Zero divisors in the extra-special group algebra $\mathbb{R}[2^{1+6}_+]$
Can you characterize the unit-group of the real group-algebra of the extraspecial plus-type 2-group of order 128? (That is $\mathbb{R}[2_+^{1+6}]$ using Conway's notation.)
(Please choose any irrep ...
- 21
0
votes
0
answers
128
views
Can we say anything about the discrete logarithm of $x+1$?
Consider the multiplicative group $\mathbb{Z} / p\mathbb{Z}$. Let $g$ be a generator and suppose $g^n = x$. Can we say anything at all about the discrete logarithm of $x+1$? That is, can we write $m$ ...
- 581
16
votes
1
answer
372
views
Is there a relationship between Broué's abelian defect group conjecture and Alperin's weight conjecture?
Let $G$ be a finite group, let $k$ be a large enough field of characteristic $p>0$. Let $p\mid |G|$.
Broué's abelian defect group conjecture states the following:
Let $B$ be a block of $kG$ with
...
- 1,685
0
votes
0
answers
106
views
$G\cdot H$ with $G,H$ non-Abelian finite simple
Can a non-split extension of one non-Abelian finite simple group by another exist?
- 2,613
1
vote
0
answers
188
views
left integration of functor in the category of groups
Assume that a functor on the category of groups vanishes on all projective objects. Is it necessarily the left derived functor of a half exact functor on this category?
- 280
4
votes
1
answer
203
views
Diameter of the unimodular group with Gauss moves
$\DeclareMathOperator\GL{GL}$Consider the unimodular group $\GL_n(\mathbb{Z})$, consisting of integral matrices $A \in \mathbb{Z}^{n \times n}$ such that that $\det(A) =\pm 1$.
It is well known that ...
- 323
1
vote
0
answers
80
views
Central-by-cyclic
This is a following-up question of this.
Lemma 2.4 from Robert Griess' paper "Elementary abelian $p$-subgroups of algebraic groups" states:
(i) Let $T$ be a finite $p$-group whose Frattini ...
- 501
2
votes
1
answer
98
views
Proof of the connection of the growth functions of a residually finite group and all of its finite quotients
I was reading the research article entitled "Asymptotic growth of finite groups" by Sarah Black. Professor Black makes the following statement at the bottom of page 406:
Indeed, given a f.g....
1
vote
1
answer
142
views
$|C(E):C(E)\cap C(Z(U))|=1$ or $p$
Lemma 2.4 from Robert Griess' paper "Elementary abelian $p$-subgroups of algebraic groups" states:
(i) Let $T$ be a finite $p$-group whose Frattini subgroup is cyclic and central. Then $T'$ ...
- 501
3
votes
0
answers
100
views
Names for split Lie groups
Do any of the simply connected simple Lie groups of the split real classical Lie algebras have names other than “the universal cover of _”?
- 2,613
8
votes
1
answer
138
views
Stone-topological/profinite equivalence for quandles
A quandle $(Q,\triangleleft,\triangleleft^{-1})$ is a set $Q$ with two binary operations $\triangleleft,\triangleleft^{-1}:Q\times Q\to Q$ such that the following hold for all $x,y,z\in Q$:
(Q1) ...
- 253
2
votes
2
answers
195
views
Quotient of Pauli group isomorphism
This question arose when studying about quantum error correction and the stabilizer formalism but I will formulate it in a purely group-theoretic way. Let
$$\mathcal{G}_n = \{I, X, Y, Z\}^{\otimes n} \...
2
votes
0
answers
109
views
Decompose a rational matrix as an integer matrix and an inverse of integer matrix
Suppose we have a non-singular rational matrix $Q$, consider the the $\mathbb{Z}$-span of the columns of $Q$ and $Q^{-1}$, denote it as $H = {\rm Span}_{\mathbb Z} \{ Q(\mathbb Z^{n}), Q^{-1}(\...
- 763
2
votes
0
answers
129
views
What is the periodicity of $((a^n \text{ modulo } p) \text{ modulo } q)$
This feels like it should be elementary but it came up in my research and I was not able to solve it.
We can ask this question for any $p$ and $q$ but,let $p$ and $q$ be primes for simplicity. The ...
- 581
3
votes
0
answers
154
views
Normalizers in linear algebraic groups
Let $G$ be a connected linear algebraic group (say, over an algebraically closed field) and let $H < G$ be a closed connected subgroup. Let $N_G(H)$ be the normalizer of $H$ in $G$, and assume ...
- 31
0
votes
0
answers
110
views
Multivariate polynomial representations of the infinite dihedral group
The presentation given in Wikipedia for the infinite dihedral group is
$$\langle r,s\mid s^2 =1, srs = r^{-1}\rangle.$$
Let $[R]$ denote the infinite set of reciprocal partition polynomials $R_n(u_1,...
- 9,407