Questions tagged [gr.group-theory]
Questions about the branch of algebra that deals with groups.
1,090 questions
2
votes
0
answers
41
views
Complexity of computing the automorphism group of the subdivision of clique with leaves
Related to graph isomorphism.
Consider the graph transformation $G$ to $G'$.
Make a clique of $V(G)$ and subdivide each edge once, i.e.
replace edge $(u,v)$ with path $(u,S_{uv},v)$.
For all edges $(...
- 25.4k
2
votes
2
answers
528
views
Characterizations of amenable groups which use the space $\ell_1(G)$ and convolution
Let $G$ be a discrete group.
Do you know characterizations of amenable groups which use the space $\ell_1(G)$ and convolution?
I only know Johnson's theorem:
A group is amenable if and only if the ...
2
votes
0
answers
417
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 ...
- 1,089
2
votes
2
answers
381
views
On V. Arnold's trinities regarding PSL(2,5), PSL(2,7), and PSL(2,11)?
Given the Ramanujan theta function,
$$f(a,b) = \sum_{n=-\infty}^\infty a^{n(n+1)/2} \; b^{n(n-1)/2}$$
Let $q = e^{2\pi i \tau}$ and assume $\tau = \sqrt{-d}.$ Then the following functions for levels $...
- 12.6k
2
votes
1
answer
189
views
Generating finite groups using subgroups
For finite groups $L \leq K$ we define $d(L,K)$ to be the least $n \in \mathbb{N}$ for which there exist $a_1, \dots, a_n \in K$ such that $\langle L, a_1 \dots, a_n \rangle = K$.
Is there some $m \...
- 11.3k
2
votes
1
answer
216
views
Union of conjugates in p-groups
Fix a prime number $p$. Is there a sequence $\{a_k\}_{k \in \mathbb{N}}$ of real numbers with $$\lim_{k \to \infty} a_k = 0$$
such that for any finite $p$-group $G$, and any subgroup $H \leq G$ with ...
- 11.3k
2
votes
2
answers
547
views
What is a cogroup and what are coactions?
What is a cogroup and what are coactions?
A very nice way to think about a group action on an object $X$ is as a group homomorphism from $G$ to $\operatorname{Aut}(X)$. Is there something similar for ...
user525442
2
votes
0
answers
77
views
Homomorphism of composition to additive structure
Consider the following topological groups
$\operatorname{Homeo}(\mathbb{R}^d)$ be the topological group of all homeomorphism from $\mathbb{R}^d$ onto itself; equipped with the compact-open topology (...
- 5,405
2
votes
0
answers
71
views
Empty preimage under homomorphism of finitely presented groups with decidable word problems
Let $G, H$ be finitely presented groups with decidable word problems.
Can there be a homomorphism $f:G\to H$ such that there is no algorithm deciding given $w\in H$ whether $f^{-1}(w)$ is empty or not?...
user178109
2
votes
1
answer
680
views
One-dimension Algebraic groups
I am searching for a possible analogue of a result in algebraic groups in a non-commutative setting, so I am looking for different proofs of the following :
Let $K$ be an algebraically closed field. ...
- 1,555
2
votes
0
answers
249
views
How to show $M^G=\mathbb{F}_2[x_1\cdot v, x_1^2+ v]$?
Let $G=Sl_2(\mathbb{F}_2)$ and $M= \mathbb{F}_2[x_1,x_2]$.
$M$ is a $G$-module with $(A\cdot x_1, A\cdot x_2)=(x_1,x_2)\cdot A, (\forall) A \in Sl_2(\mathbb{F}_2)$.
I have to show that
$M^G=\...
- 163
2
votes
1
answer
1k
views
Cancellation theorem for direct and other kinds of products between groups
Cancellation theorem in group theory (for direct product) says that if $B$ is a finite group and $A \times B \simeq A_1 \times B_1$ and $B \simeq B_1$ then $A \simeq A_1.$
Of course, if $B$ is not ...
- 1,661
2
votes
1
answer
495
views
Is every closed subgroup of $\text{GL}_n(K[[x]])$ finitely generated?
Let $n \in \mathbb{N}$, $K$ a finite field. Denote by $K[[x]]$ the (profinite) ring of formal power series over $K$. Note that $\text{GL}_n(K[[x]])$ is a profinite group.
Is every closed subgroup of $...
- 11.3k
2
votes
1
answer
944
views
Calculating $H^n(G, \mathbb{Z}G)$ as co-homology with compact support of a proper co-compact $G$-CW-complex $X$
This question was originally posted to Math.StackExchange, but having got no response there, I'm reposting it here. I apologise if it is too elementary for this site.
(Original post: https://math....
2
votes
1
answer
307
views
Automorphisms of locally finite countable posets
Hi,
Is the automorphism group of a countable locally finite connected poset finite or countable?
If not, is there a way to equipp it (the uncountable group) with a topology and a measure?
Need this ...
user16974
2
votes
1
answer
223
views
Possible symmetry groups of power terms
Previously asked and bountied at MSE:
Let $\mathfrak{E}=(\mathbb{N};\mathit{exp})$ be the algebra in the sense of universal algebra consisting of the natural numbers with just exponentiation. To each ...
- 20.5k
2
votes
1
answer
141
views
Kernel of a double cover of group as stem extension
A stem extension of a group $X$ is a group $G$ with a subgroup $N$ contained in $G' \cap Z(G)$ such that $G/N$ is isomorphic to $X$, so that we have a short exact sequence $1 \to N \to G \to X \to 1$.
...
- 731
2
votes
1
answer
1k
views
Decomposing a reducible representation of the unitary group
Consider the representation $L_U$ of the unitary group $U(n)$ on $L(\mathbb{C}^n)$ where $L_U$: $L(\mathbb{C}^n) \rightarrow L(\mathbb{C}^n)$ is a linear operator that $L_U M=U M U^{\dagger} $, $\...
- 23
2
votes
1
answer
361
views
Can primitive recursive functions be simulated in the smallest reasonable primitive recursive group?
Second Edition, completely rewritten with unchanged questions.
The said questions are motivated by the bizarre wording of the concluding § in A Class of
Reversible Primitive Recursive Functions by L. ...
- 347
2
votes
2
answers
869
views
Looking for criterion for $\mathbb{Z}G$-modules to be projective
Given a finite group $G$ and a (finitely generated) $\mathbb{Z}G$-module $M$, assume that for each prime $p$ dividing the order $|G|$ of $G$ the $\mathbb{Z}_pG$-module $M^{\mathbb{Z}_p} = M\otimes\...
- 518
2
votes
1
answer
220
views
Set of $\mathrm{SU}(6)$ matrices which conjugate $\mathbb{1}_3 \otimes \sigma^3$ subalgebra element into $\mathfrak{su}(2)$
$\DeclareMathOperator\SU{SU}$Consider the Lie group $\SU(6)$, its Lie algebra $\mathfrak{su}(6)$ and the $\mathfrak{su}(2)$ subalgebra spanned by $\mathbb{1}_3 \otimes \sigma^i$, where $\sigma^i$ are ...
- 155
2
votes
1
answer
203
views
Is there a non-right-orderable torsion-free quotient group of the braid group on 3 strands?
The braid group on 3 strands has the presentation $\langle x,y \;|\; xyx=yxy\rangle$. A group $G$ is called right-orderable if there is a total order $<$ on the set $G$ such that if $a<b$ then $...
- 3,738
2
votes
2
answers
474
views
Non-archimedean group over the reals
I have a totally ordered group $(\mathbb{R};\leq,\oplus,0,-)$ with the reals as base set satisfying monotonicity, i.e.
for all $x,y,z$ we have that if $y\leq z$ then $x\oplus y \leq x\oplus z$, and I ...
- 43
2
votes
1
answer
196
views
Isomorphic Sylow p-subgroups of FSym$(\mathbb{N})$
Let FSym$(\mathbb{N})$ denote the finitary symmetric group on the natural numbers. Are all Sylow p-subgroups of FSym$(\mathbb{N})$ isomorphic (maybe to the iterated wreath product $C_p\wr C_p\wr\dots$ ...
- 379
2
votes
0
answers
147
views
Rank gradient in free products amalgamating a finite subgroup
Let $A,B$ be finitely generated groups with a common finite subgroup $C$. Suppose that $[A : C] > 2, [B : C] > 1$.
Must $A *_C B$ have positive rank gradient?
See Which 3-manifolds have ...
- 11.3k
2
votes
1
answer
551
views
Product of an elementary abelian group and a cyclic group of coprime order
I asked the same question on stackexchange, but I didn't get an answer, so I am reposting it here in hope of one (or an appropriate reference to a textbook or otherwise). I am assuming all groups ...
user13040
2
votes
3
answers
912
views
Reference on generators of subgroups of symplectic groups
We should start with the definition of the symplectic group for an arbitrary ring $R$.
The symplectic group $Sp(g,R)$ is the subgroup of $SL(2g,R)$ such that all elements satisfy $M=J_g^t M J_g$ with $...
- 85
2
votes
2
answers
757
views
Abstract Commensurator Group of $\mathbb{Z}^n$ $Comm(\mathbb{Z}^n)\cong GL(n,\mathbb{Q})$?
Hello! In a paper I read that $\mathrm{Comm}(\mathbb{Z}^n)\cong \mathrm{GL}(n,\mathbb{Q})$. Why is that true? How can I find an isomorphism of this groups?
I know that $\mathrm{Aut}(\mathbb{Z}^n)\...
- 33
2
votes
0
answers
290
views
Automorphisms group of complex and real simple Lie algebras
$\DeclareMathOperator{\Inn}{\operatorname{Inn}}\DeclareMathOperator{\Aut}{\operatorname{Aut}}\DeclareMathOperator{\Out}{\operatorname{Out}}\DeclareMathOperator{\g}{\mathfrak{g}}$According to Wikipedia,...
- 2,147
2
votes
2
answers
1k
views
Place stabilizers for the absolute Galois Group
Fix an algebraic closure, $\overline{\mathbb{Q}}$ for the rationals and consider the set, $B_p$, of all places of $\overline{\mathbb{Q}}$ over a fixed (possibly infinite) prime, $p$, of $\mathbb{Q}$. ...
- 1,049
2
votes
1
answer
555
views
Kropholler's Conjecture and 3-manifolds
Suppose that $G$ is a group and that $H$ is a subgroup, both finitely generated, and assume that there is a non-trivial H-almost invariant set $X$ with $HXH=X$. Kropholler's Conjecture asserts that $ ...
2
votes
2
answers
262
views
on the determination of a quadratic form from its isotropy group in char. 2
So this question is a continuation of the following one
[1] On the determination of a quadratic form from its isotropy group
For some motivations and relevant backgrounds related to this question ...
- 7,609
2
votes
1
answer
191
views
Normalizer of SU$(2)$ in SU$(6)$
Consider the $\mathfrak{su}(2)$ subalgebra of $\mathfrak{su}(6)$ embedded as
$$\mathfrak{su(2)}=\text{Span}\{\mathbb{1}_3 \times \sigma^i\}, \quad i=1,2,3$$
with $\sigma^i$ the Pauli matrices and $\...
- 155
2
votes
1
answer
656
views
Combinatorial problem in $\mathsf{S}_4$
I am working on a problem in Combinatorial Group Theory related to a construction in Algebraic Geometry, and I would like to have a conceptual proof of the fact described below.
I am looking for ...
- 66.3k
2
votes
2
answers
1k
views
quotient groups of the lower central series of a free group
I have a question about some quotient groups of the lower central series of a free group.
When there's a free group $F = \langle x_1,\cdots, x_n, y_1, \cdots, y_m\rangle $,
let $A$ be the subgroup ...
- 347
2
votes
1
answer
847
views
Why Triangle of Mahonian numbers T(n,k) forms the rank of the vector space?
I am looking for an explanation of why Triangle of Mahonian numbers T(n,k) form the rank of the vector space $H^k(GL_n/B)$?
With respect to the property of Kendall-Mann numbers where the statement ...
1
vote
1
answer
270
views
On the character degrees of a finite group with special structure
Let $G$ be a finite group such that $G$ has a normal subgroup $N$ of order $p(p^2+1)/2$, where $p>13$ is an odd prime and $p\ne 239$. Also $G/N\cong \text{PSL}(2,p)$. Can we say that there exists a ...
- 1,168
1
vote
0
answers
104
views
cospectral graphs have isomorphic adjacency matrices?
Let $G$ and $H$ be two cospectral graphs, then can we say that their adjacency matrices are isomorphic?
- 11
1
vote
0
answers
98
views
Group where Out(G) acts differently on conjugacy classes and irreps? [duplicate]
$\def\Conj{\mathrm{Conj}}\def\Irrep{\mathrm{Irrep}}\def\Out{\mathrm{Out}}$Let $G$ be a finite group, let $\Conj(G)$ be the set of conjugacy classes of $G$, let $\Irrep(G)$ be the set of isomorphism ...
- 156k
1
vote
1
answer
461
views
Subgroups with trivial Centralizers
Let $G$ be a compact, simply-connected, and simple Lie group. Let $H$ be a closed subgroup of $G$ that has the same centralizer as the center of $G$. Is there a nice classification of such subgroups?
...
- 19
1
vote
1
answer
171
views
transposing "unrimmed" permutations
Denote the set of $n\times n$ permutation matrices by $\mathfrak{S}_n$. The ordinary transpose preserves this group.
Given $P\in\mathfrak{S}_n$, construct the $n\times n$ matrix ${}^tP$ according to ...
- 43.2k
1
vote
0
answers
175
views
Random walk on N-Rubik cube group is going like sqrt(number of moves) or linear (number of moves) or? "commutative" vs. "free"(like) group pattern?
Consider higher (NxNxN) Rubik's cube group, with specific set of generators described below.
What is important - that there are huge COMMUTING subsets of generators.
Question: Consider a random walk ...
- 24.9k
1
vote
1
answer
296
views
Groups arising as direct limits of a stationary system of primitive matrices over the integers
I am interested in the kinds of groups of the form $\displaystyle\lim_{\longrightarrow}(\mathbf{Z}^k,M)$ where $M$ is a primitive (some power of $M$ has strictly positive components) $k\times k$ ...
- 715
1
vote
1
answer
178
views
abelian p- subgroups of E_6(q)
Is there any result about maximal abelian p-subgroups of the exceptional group E_6(q), where q=p^a is prime power?
- 391
1
vote
0
answers
203
views
How generic are Cayley graphs of non-Abelian groups with logarithmic girth?
Given a non-Abelian group $G$ I want to choose a symmetric generating set $S \subset G$ such that $Cay(G,S)$ has girth logarithmic in the size of the set. I want to know,
For which $G$ can the ...
- 1,893
1
vote
1
answer
431
views
The sporadic numbers
Let call $n$ a sporadic number if the set of groups $G \neq A_n,S_n$ having a core-free maximal subgroup of index $n$ is non-empty and contains only sporadic simple groups.
By GAP, the set of all the ...
1
vote
0
answers
370
views
Characterizing the big Bruhat cell of the universal Chevalley groups over $\mathbb C$
Is there a simple characterization of the big Bruhat cell of the universal (simply-connected) Chevalley groups over $\mathbb C$?
For example, it is known that the Borel subgroup of $\mathrm{SL}_n(\...
- 332
1
vote
1
answer
68
views
If the union of finitely many conjugacy classes is syndetic, are there finitely many conjugacy classes?
(Cross-post from math.stackexchange.)
Let $G$ be a finitely-generated group. Write $A^G = \{g^{-1} a g \;|\; a \in A, g \in G\}$, and $A \Subset G \iff A \subset G \wedge |A| < \infty$. Is the ...
- 6,652
1
vote
1
answer
173
views
References request: reflections in coxeter groups
Let $V$ be a vector space. A reflection is a linear map $f: V \to V$ which has an eigenvalue $1$ with multiplicity $n-1$.
Let $S_n$ be the symmetric group on $\{1,\ldots,n\}$. Then the reflections in ...
- 6,201
1
vote
0
answers
202
views
Determining the irreducible invariant subspaces of a permutation action by computing eigenspaces of a matrix
Let $\Sigma\subseteq\mathrm{Sym}(n)$ be a permutation group on $N:=\{1,...,n\}$.
My goal is to determine the irreducible invariant subspaces of the permutation action of $\Sigma$ on $\Bbb R^n$, and I ...
- 13.6k