Questions tagged [gr.group-theory]
Questions about the branch of algebra that deals with groups.
8,182 questions
1
vote
0
answers
92
views
Finite groups whose center nontrivially represented in irreps with coprime dimensions
I have been searching for a finite non-abelian group $G$ with the following properties:
Its center $Z(G)$ acts as the identity in all dimension one irreps (i.e., $Z(G)$ is a subgroup of the ...
- 11
1
vote
0
answers
109
views
Center of factors of a finite $p$-group, obtained from a minimal normal subgroup
throughout a research problem about finite $p$-groups,
I have a challenge as follows,
Let $G$ be a finite non-abelian $p$-group, where $p$ is odd and $Z(G)$ is non-cyclic.
($Z(G)$ denotes the center ...
- 111
1
vote
0
answers
93
views
Exploring Plancherel measure decay rates linked to a specific $AD(\Gamma)$ range
In this paper on the amenability constant of Fourier algebras Theorem 1.5 presents a formula connecting $AD(\Gamma)$, the anti-diagonal constant of a countable virtually abelian group $\Gamma$, to ...
1
vote
0
answers
86
views
Is the Galois closure of a $p$-adic Lie group extension also a $p$-adic Lie group extension?
Let $p$ be a prime. Let $K$ be a number field and $L/K$ be an infinite extension which is not necessarily Galois. Suppose that the automorphism group $\text{Aut}(L/K)$ of $L/K$ is $p$-adic analytic, i....
- 667
1
vote
0
answers
66
views
mod p cohomology of a p-group P vs. the one of P/Z(G)
Let $P$ be a p-group. Denote by $Z(G)$ its center and $H^*(P,\mathbb{F}_p)$ its mod $p$ cohomology ring.
My general (vague) question is what can be said about the mod $p$ cohomology of the central ...
1
vote
0
answers
155
views
Schreier's theorem for non-abelian cohomology
$\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Ext{Ext}$Let $A$ by $G$ be two non-abelian group. A factor pair of $G$ with coefficients in $A$ is a pair $(\alpha,\varepsilon)$, where $\alpha:G\...
- 393
1
vote
0
answers
125
views
Generators of a Coxeter group
Let $(W,S)$ be a Coxeter system and assume that $|S|$ is finite. Certainly, $W$ is generated by $|S|$ simple reflections. My question is: Can $W$ be generated by fewer reflections? (Including non-...
- 71
1
vote
0
answers
84
views
Can a limit of degenerate two-cocycles be non-degenerate?
Let $G$ be a discrete abelian group and $\omega\colon G\times G\to\mathbb{T}$ a two-cocycle on $G$. We say that $\omega$ is non-degenerate if for every $e\neq g\in G$ there exists $h\in G$ such that $\...
- 29
1
vote
0
answers
61
views
Finitely generated group in which maximal subgroups are commensurable
Is there a finitely generated torsion-free simple group such that every pair of maximal subgroups of the group are commensurable, i.e. for every pair of maximal subgroups $M$ and $N$ of the group, $|M:...
- 379
1
vote
0
answers
172
views
Isomorphism classes of finite $\mathbb{N}$-groups
Where can I find resources on isomorphism classes of finite $\mathbb{N}$-groups, i.e. groups acted on by the monoid $(\mathbb{N}, +)$?
I edited this question to be more focused on what I'm interested ...
- 631
1
vote
0
answers
48
views
Length of the product of two elements of the subregular two-sided cell in the affine Weyl group of type A
The affine Weyl group of type $A_n$ can be described as follows. It is the group of all permutations $\sigma: \mathbb Z \to \mathbb Z$ such that $\sigma(i+n)=\sigma(i)+n$ and $\sum_{i=1}^n (\sigma(i)-...
- 2,964
1
vote
0
answers
103
views
Normality of the intersection between a Carter subgroup and the nilpotent residual of a solvable group G
In his book "Group Theory," Schenkman, in the proof of Theorem VII.4.a, states that in a finite solvable group $G$, the intersection of a Carter subgroup $C$ (i.e., a self-normalizing and ...
1
vote
0
answers
92
views
The existence of such homomorphism [closed]
Are there any papers or books that investigate/discuss the relationship between conjugacy classes and normality for the existence of non-trivial homomrphism f:G->H were H is some nontrivial ...
- 61
1
vote
0
answers
96
views
Definition of free profinite product of infinitely many groups
If we have profinite groups $G_1,...,G_n$ we can define its free profinite product in the natural way. But this natural definition (similar to the abstract case but in the category of profinite groups)...
- 329
1
vote
0
answers
104
views
Infinite closed subgroup of ${\rm SL}_{n}(\mathbb{F}_{p}[[T]])$ with full residual image
Let $\mathbb{F}_{p}$ be a finite field of order $p$, $\mathbb{Z}_p$ be the ring of $p$-adic integers and $\mathbb{F}_{p}[[T]]$ be the ring of formal power series over $\mathbb{F}_{p}$. For $p\geq 5$, ...
- 667
1
vote
0
answers
189
views
The existence of solutions to linear systems of equations over the integer ring $\mathbb{Z}$
There are already detailed results on the solutions of linear equations over fields, but I'd like to inquire about any good conclusions regarding the solutions of linear equations over the integer ...
- 173
1
vote
0
answers
105
views
Groups $P$ of order $p^5$ with $\Omega_1(P)=P$
I have been working with (particular) groups $P$ of order $p^5$. In fact, the ones that interest me the most are those that satisfy $$\langle x\in P\mid x^p=1\rangle=:\Omega_1(P)=P.$$ After a search ...
- 245
1
vote
0
answers
71
views
Finitely presentable groups are residually finite if and only if they are universally pseudofinite
Suppose $G$ is finitely presentable. Then residual finiteness of $G$ is equivalent to $G$ satisfying the universal theory of finite groups (equivalently, to every existential statement true in $G$ ...
- 1,338
1
vote
0
answers
150
views
Bounds for the orders of second largest subgroups of $\mathrm{SL}_n(\mathbb F_q)$
$\DeclareMathOperator\SL{SL}$By Patton's thesis, except for a finite number of possibilities, the $(n-1, 1)$ parabolic subgroup, $P$ say, has the largest number of elements among all non-trivial ...
- 1,362
1
vote
0
answers
134
views
Isomorphic quotients of a countably infinitely-generated free abelian group
Let $F$ denote the free abelian group on countably infinite generators. I am trying to understand the relationship between normal subgroups $A$ and $B$ of $F$ with isomorphic quotients. So is there a ...
- 11
1
vote
0
answers
178
views
Applications of Artin's theorem on induced representations
Let $G$ be a finite group and let $R(G)$ be the (complex) representation ring of $G$. As stated in Serre's book on representation theory, Artin's theorem says the following:
Theorem: Let $X$ be a ...
- 11
1
vote
0
answers
73
views
Commutative Schur ring over non-abelian group
Is there a commutative (or even symmetric) Schur ring $S\subset\mathbb{C}G$ over a non-abelian group $G$, which is not isomorphic (preserving both the products) to a Schur ring $S'\subset\mathbb{C}G'$ ...
- 211
1
vote
0
answers
167
views
Are these sequences, associated to integer partitions, always log-concave?
Let $\mathrm{CO}(m)$ be the set of all compositions of the
positive integer $m$. By a composition of $m$, I mean a finite
sequence $(m_1,\ldots,m_k)$ of positive integers with sum $\sum
m_i=m$.
...
- 481
1
vote
0
answers
92
views
$L^p$-compression of metabelian groups
Question: Is there a metabelian group, so that for some $\epsilon >0$ and all $p \in [1, \infty[$ the [equivariant] compression exponent in [any] $L^p$-space is bounded by $1-\epsilon$ (bound does ...
- 4,432
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
0
answers
55
views
Possible variant of Lovász: Graphs without 3 vertex-disjoint cycles
Is there a classification, or perhaps some exhaustive description, of graphs without 3 vertex-disjoint cycles,
and/or do you maybe know about some reference for such?
The case of graphs without 2 ...
- 11
1
vote
0
answers
188
views
Does every amenable group $G$ admit a two-sided Folner sequence?
By two-sided Følner sequence I mean a sequence $(F_N)_N$ of subsets of $G$ which is both a left-Følner and a right-Følner sequence.
Context: I just came up with this question and surprisingly I haven'...
- 10.6k
1
vote
0
answers
130
views
Relationship between the symmetric group representation (Specht module) of a Young diagram and the Young diagram obtained by deleting one row
Suppose $\lambda$ is a Young diagram, and $\lambda'$ is obtained by deleting one particular row of $\lambda$. Is there any relationship between the symmetric group representation (Specht module) ...
- 25
1
vote
0
answers
110
views
Character table of $\mathrm{P\Gamma L}_2(q)$ with $q$ even
Let $q = 2^f$ for some integer $f\geqslant 3$. The character table of $\mathrm{SL}_2(q)\cong\mathrm{PSL}_2(q)$ can be deduced from the character table of $\mathrm{GL}_2(q)$ (see, for example, Exercise ...
- 379
1
vote
0
answers
198
views
Prove that every group $G$ with $p^n$ ($n\ge4$) elements and center with $p$ elements has an abelian subgroup of order $p^3$ [closed]
Prove that every group $G$ with $p^n$ ($n\ge4$) elements and center with $p$ elements has an abelian subgroup of order $p^3$
I'm new in this forum so I hope I haven't made any mistake.
I have to ...
1
vote
0
answers
126
views
Finitely generated torsion-free pro-$p$ subgroup of ${\rm GL}_{n}(\mathbb{F}_{p}[[T]])$ is solvable?
Let $\mathbb{F}_{p}$ be a finite field of order $p$, and $\mathbb{F}_{p}[[T]]$ be the ring of formal power series over $\mathbb{F}_{p}$. My question is the following:
Let $G$ be a closed pro-$p$ ...
- 667
1
vote
0
answers
305
views
Presentation of Chevalley groups over Bezout domains
Let $\Phi$ be a root system of type $A_1$, $A_2$, $B_2$ or $G_2$. For a (commutative, unital) ring $R$, consider the group $G_{\Phi}(R)$ defined by Steinberg's presentation as in [1, Theorem 12.1.1 ...
- 563
1
vote
0
answers
126
views
$p'$-automorphisms of pro-$p$ groups
Let $p$ be a prime and $G$ be a finitely generated pro-$p$ group admitting a continuous automorphism $\phi$ of finite order relatively prime to $p$. Let $\Phi(G)$ denote the Frattini subgroup of $G$. ...
- 667
1
vote
0
answers
84
views
Non-Noetherian closed subgroups of ${\rm GL}_{n}(\mathbb{F}_{q}[[T]])$
Let $\mathbb{F}_{q}$ be a finite field of order $q$, and $\mathbb{F}_{q}[[T]]$ be the ring of formal power series over $\mathbb{F}_{q}$. We say that a profinite group $G$ is Noetherian if any closed ...
- 667
1
vote
0
answers
155
views
Can a nontrivial abelian group have trivial Pontryagin dual? [closed]
Let $A$ be an abelian group, and suppose $$\mathrm{Hom}(A,\mathbb{Q}/\mathbb{Z})=0.$$
Does it follow that $A=0$?
This is true for $A$ finitely-generated, any subgroup of any product of copies of $\...
- 15.4k
1
vote
0
answers
151
views
On the existence of non-arithmetic lattices in algebraic groups over $\mathbb{Q}$
$\newcommand{\Q}{\mathbb{Q}}\newcommand{\R}{\mathbb{R}}\DeclareMathOperator\PU{PU}$Let $G$ be a simple algebraic group over $\Q$ such that $G(\R) \simeq \prod_i G_i$, with each $G_i$ being the Lie ...
- 10.5k
1
vote
0
answers
50
views
Do parabolic/Levi pairs admit dynamic descriptions over disconnected base?
In Gille, Thm. 7.3.1, it is proven that given a reductive group scheme $G \to S$ over a connected base $S$, every parabolic-Levi pair $(P, L)$ over $S$ admits a dynamic description, i.e. is of the ...
- 605
1
vote
0
answers
94
views
cycle types of all words in a permutation group
I have been working with permutation groups. For a given $G\subset S_n$, what I have been computing depends only on the conjugacy class of $G$.
Say all permutation groups in this question are ...
- 2,287
1
vote
0
answers
136
views
Exotic automorphisms of an extension of Thompson's group $V$
Recall that R. Thompson's group $V$ acts transitively on the set $\mathbb{Q}_2$ of dyadic rationals contained in the unit interval $[0,1)$.
Main question. Does there exist a non-trivial $V$-...
1
vote
0
answers
71
views
Bias of $a^k / q$ modulo $q$?
Let $q$ be a prime. Let $0< a < q$ be an integer so that it is primitive modulo $q$. Let $k$ be a random integer up to $q-1$. Consider
$$a^k = b_k + q * c_k$$
as $k$ varies modulo $q^2$. So $b_k$...
- 591
1
vote
0
answers
104
views
Closed collections of finite groups
Let $\mathcal{C}$ be a collection of (isomorphism classes of) finite groups with the following properties:
If $G\in\mathcal{C}$ and $H$ is a homomorphic image of $G$, then $H\in\mathcal{C}$
If $G\in\...
- 1,433
1
vote
0
answers
132
views
A generalisation of residual finiteness?
A group $\Gamma$ is Residually Finite (RF) if
$\forall g \neq e \in \Gamma$ there is a homomorphism $h: \Gamma \to G$ where $G$ is a finite group such that $h(g) \neq e$. Free groups are known to be ...
- 305
1
vote
0
answers
116
views
Help to understand the geodesics in $BS(1, 2)$
I would like to understand the sets of geodesics in $BS(1, 2)$, which is described in https://arxiv.org/pdf/1908.05321.pdf, Proposition 3 (page 3).
Write $$ G=B S(1, 2)=\left\langle a, t \mid t a
t^{...
- 823
1
vote
0
answers
162
views
Solution of an equation over free group
Let $F_n$ be a free group on $n$ generators. Let $w \in F_n$ be a word such that there does not exist any solution in $F_n$ for the equation $w.w(t_1, \ldots, t_n) = 1$, where $t_1, \ldots, t_n$ are ...
- 355
1
vote
0
answers
116
views
Is this class of $p$-groups large?
Call a $p$-group $G$ good if for each subgroups $H, H_1, H_2\subseteq G$ for which $H_1\subseteq H$, $H_2\subseteq H$, $|H_1| = |H_2| = |H|/p$, $H_1\not= H_2$, $H'\not=\{e\}$ holds we have that there ...
- 291
1
vote
0
answers
74
views
Automorphic images of cones in free group
Let $F_2$ be the free group with basis $\{a,b\}$, with corresponding word metric $d$. For $x\in F_2$, the cone $C(x)$ is $C(x):=\{y\in F_2\mid d(1,y)=d(1,x)+d(x,y)\}$, that is, the set of elements ...
- 3,740
1
vote
0
answers
117
views
Reduction mod 2 for orthogonal groups
Setting Let $k$ be a real quadratic field, $\mathbb Z_k$ its ring of integers. Let $n$ be an even integer $A$ a symmetric $n$-by-$n$ matrix with coefficients in $\mathbb Z_k$. Let $L$ be the lattice $\...
- 3,399
1
vote
0
answers
93
views
Basis of subgroup of free group
Let $F_2$ be a free group on $2$ generators $a, b$. We know $b$ and a conjugate of $b$, which is different from $b$, generate rank 2 free subgroup of $F_2$ and they are free generating set of the ...
- 11
1
vote
0
answers
102
views
Does $\tilde{\mathrm E}_{6,3}^{(2)6}$ exist over a p-adic field?
Does a form of $\tilde{\mathrm E}_6^{(2)}$ with this Satake-Tits diagram exist over a p-adic field?
- 2,773
1
vote
0
answers
145
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 ...
- 81