Questions tagged [gr.group-theory]
Questions about the branch of algebra that deals with groups.
7,823
questions
1
vote
0
answers
96
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\...
- 917
2
votes
1
answer
221
views
Apropos of two groups being globally isomorphic iff they are isomorphic
Denote by $\mathcal P(S)$ the semigroup obtained by endowing the non-empty subsets of a "ground semigroup" $S$ (written multiplicatively) with the operation of setwise multiplication induced ...
- 9,446
0
votes
1
answer
180
views
Trying to solve for the remainder of $a^q$ modulo $q$
Let $q$ be a prime and $a$ be a number from $0$ to $q-1$ (not an equivalence class).
The elements $a^q$ are exactly the elements of order $q-1$ modulo $q^2$.
I'm trying to solve the equation:
$$a+2*\...
- 581
1
vote
0
answers
125
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 ...
- 295
5
votes
0
answers
234
views
Aspherical space whose fundamental group is subgroup of the Euclidean isometry group
Let $M$ be a smooth, compact manifold without a boundary, with its universal covering $\tilde{M} = \mathbb{R}^n$. If there exists an injective homomorphism $h: \pi_1(M) \rightarrow O(k) \ltimes \...
- 619
0
votes
1
answer
275
views
Can we generalise groupoids to monoid-oids? [closed]
Groups correspond to one object categories where every morphism is an isomorphism. Monoids correspond to one object categories.
Groupoids correspond to small categories where every morphism is an ...
2
votes
0
answers
127
views
$p$-adic Banach group algebra
Let $G$ be a discrete group. Consider the Banach $\mathbb{Z}_p$-algebra: $$c_0(G, \mathbb{Z}_p) = \{ F : G \to \mathbb{Z}_p \mid \lim_{g \to \infty} |F(g)|_p = 0 \}$$ with the product given by the ...
- 1,117
8
votes
3
answers
264
views
Generation of $\mathrm{SO}(n,\mathbb{Q})$ by coordinate subgroups
$\DeclareMathOperator\SO{SO}\SO(n,\mathbb{Q})$ is the group of $n\times n$ matrices $A$ with rational entries such that $AA^t=I$ and $\hbox{det}(A)=1$.
The $n$ coordinate subgroups of $\SO(n,\mathbb{Q}...
- 3,276
4
votes
0
answers
171
views
Intrinsic maps between complex integers modulo $p$ and integers modulo $p+2$
$\DeclareMathOperator\GF{GF}$Let $p$ and $p+2$ be twin primes. Let's assume that $-1$ is not a quadratic residue modulo $p$ (and therefore is a Q.R. modulo $p+2$).
Consider the complex numbers $a+bi$ ...
- 581
2
votes
1
answer
205
views
Examples of non-discrete, cocompact subgroups
I am looking for non-trivial examples of the following:
$G$ is a locally compact group
$H\subset G$ a closed subgroup
Both are unimodular and non-discrete
The quotient space $G/H$ is compact, but $G$ ...
- 1,900
3
votes
0
answers
93
views
Conjugate actions and isomorphic Zappa–Szép products
Let $A$ and $G$ be two cyclic groups. Let $\alpha:G\rightarrow\operatorname{Bij}(A)$ and $\beta: A\rightarrow\operatorname{Bij}(G)$ be two group homomorphisms satisfying some conditions given in ...
- 383
3
votes
0
answers
117
views
The group $G=\langle t,a \mid t^4=1, (t^{-1}at)^{-1} a (t^{-1} at)=a^2 \rangle$ is non-residually finite
A group $G= \langle t,a,| t^4=1, (t^{-1}at)^{-1} a (t^{-1}a t)= a^2 \rangle$ ( I do not remember the reference) was shown as a non -residually finite group. I do not know how to prove it. I will be ...
- 41
7
votes
2
answers
258
views
Which pairs of conjugates of $\left(\begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}\right)$ generate $\operatorname{SL}(2,\mathbb{Z})$?
When do two distinct conjugates of $U := \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$ generate $\DeclareMathOperator\SL{SL}\SL(2,\mathbb{Z})$? The classic example is $U,L^{-1}$, where $L = \...
- 6,567
9
votes
1
answer
357
views
For which subgroups the transfer map kills a given element of a group?
$\newcommand{\ab}{{\rm ab}}
\newcommand{\ord}{{\rm ord}}
$Let $G$ be a finite or profinite group. Consider the abelianized group
$$G^\ab=G/G'$$
where $G'$ is the commutator subgroup of $G$.
Let $H\...
- 13.4k
2
votes
0
answers
69
views
If $F$ is a prosoluble subgroup of a free profinite product $\amalg G_i$ and $F \cap G_i^g$ is pro-$p$, is also $F$ pro-$p$?
There is a 1995 paper (Manusc. Math., DOI link) of Florian Pop where he proves the following:
Theorem. Let $G$ be the free product of profinite groups $G_i$ and $F$ a closed prosoluble subgroup of $G$...
- 287
6
votes
1
answer
398
views
Largest group table with all real irrep dimensions different
Take for example the two groups $T$ and $I$. (See character tables - unfortunately chemists -like me- and mathematicians use different notation.) As you see, $T$ has three real irreps, and their ...
- 4,651
1
vote
0
answers
109
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^{...
- 763
3
votes
0
answers
284
views
Is G(4,7) a Coxeter group
Let $G(4, 7)$ be an abstract group with the presentation
$$\langle a,b,c | a^2 = b^2 = c^2 = 1, (ab)^4 = (bc)^4 = (ca)^4 = 1, (acbc)^7 = (baca)^7 = (cbab)^7 = 1 \rangle $$
Richard Schwartz considered ...
- 1,916
6
votes
1
answer
178
views
Classification of algebraic groups of the types $^1\! A_{n-1}$ and $^2\! A_{n-1}$
This seemingly elementary question was asked in Mathematics StackExchange.com: https://math.stackexchange.com/q/4779592/37763.
It got upvotes, but no answers or comments, and so I ask it here.
Let $G$ ...
- 13.4k
2
votes
0
answers
64
views
Is the discrete logarithm equivalent to solving polynomial discrete logarithms?
Suppose we can quickly solve the discrete logarithm modulo $p$. Let's say $2$ is a generator so we can quickly find $l$ for which $2^l =h$ for any given target $h$.
An interesting observation is that ...
- 581
2
votes
0
answers
54
views
upper bound for the exponential conjugacy growth rate for non-virtually nilpotent polycyclic groups
Given $n ≥ 0$, the conjugacy growth function $c(n)$ of a finitely generated group $G$, with respect to some finite generating set $S$, counts the number of conjugacy classes intersecting the ball of ...
- 763
1
vote
1
answer
194
views
Conditions of P for existence of orthogonal matrix Q and permutation matrix U satisfying QP = PU
Question: Let $P\in \mathbb{R}^{d\times n}$ be a $d$-rank real matrix and $PP^T = c I_d$ with a certain constant $c > 0$. Under what additional conditions of $P$ does there exist an orthogonal ...
- 187
2
votes
0
answers
138
views
The growth rate of the group $\mathbb{Z}[1/2] \rtimes _\phi \mathbb{Z}$, where $\phi (1)$ corresponds to multiplying every number by $2$
Consider the group $G = \mathbb{Z}[1/2] \rtimes _\phi \mathbb{Z}$, where $\mathbb{Z}[1/2] = \{j/2^m \mid j \in \mathbb{Z}, m\in\mathbb{N} \}$, the dyadic rationals, and for every $n\in \mathbb{Z}$, $...
- 763
10
votes
2
answers
684
views
Conjugacy classes in towers of groups
Let $\Gamma$ be a group and $\Gamma_1\supset\Gamma_2\supset\dots$ subgroups of finite index, such that $\bigcap_{j=1}^\infty \Gamma_j=\{1\}$.
Let $1\ne\gamma\in\Gamma$ and let $[\gamma]=[\gamma]_\...
- 1,900
0
votes
1
answer
234
views
Trans-universality for finitely generated groups
QUESTION: does there exist a group U such that three conditions hold:
(a) every finitely generated group is isomorphic to a subgroup of U;
(b) for every group G that is not finitely generated there ...
- 4,674
5
votes
1
answer
262
views
Questions about algorithms for permutation groups
Let $G < S_n$ be a permutation group of degree $n$, $\mathcal{P(n)}$
denote the set of all partitions of $n$, and $c: G \rightarrow
\mathcal{P}(n)$, where $c(g)$ is the partition given by the ...
- 4,626
19
votes
1
answer
1k
views
Is applying Feit–Thompson’s theorem for the nonexistence of a simple group of order $1004913$ really a circular argument?
In p.212 of Dummit–Foote’s Abstract Algebra, 3rd Edition, an analysis of a hypothetical simple group $G$ of order $1004913 = 3^3 \cdot 7 \cdot 13 \cdot 409$ is carried out. The authors write:
We ...
- 301
1
vote
0
answers
150
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 ...
- 273
4
votes
0
answers
105
views
Decidability of whether two polynomial bijections generate a free group
I am wondering about the decidability of the following question:
Given two polynomial bijections $f, g$ from the real numbers to the real numbers (with say rational coefficient just to simplify what &...
- 1,045
5
votes
0
answers
206
views
Quotient of a $F_n$ group which is $F_n$
It is known that quotients of finitely generated groups are finitely generated and that the quotient of a finitely presented group is finitely presented iff the normal subgroup is the normal closure ...
- 447
9
votes
2
answers
525
views
When are two semidirect products of two cyclic groups isomorphic
(I have posted this question in Math Stack Exchange, only to have received no answer.)
It is well known that a semidirect product of two cyclic groups $C_m$ and $C_n$ has the form
$$
C_m \rtimes_k C_n ...
- 465
3
votes
0
answers
100
views
Images of decomposition groups through the mod $p$ Galois representation of an elliptic curve
Given an elliptic curve $E$ and its mod $p$ Galois representation $\bar{\rho}_{E,p}$, I am wondering what are the possibilities for $\bar{\rho}_{E,p}(G_p)$, where $G_p:=$Gal($\overline{\mathbb{Q}_p}/\...
- 585
-1
votes
1
answer
288
views
Is this submonoid of the isometry group on $\Bbb Q_2$ closed to inverses? [closed]
Let $\textrm{aff}(ax+b)$ be the affine group on $\Bbb Z_2^\times$
i.e. the set of linear polynomials over 2-adic numbers with $a\in\Bbb Z_2^\times, b\in\Bbb Z_2$
Now let $X$ be the restriction of its ...
9
votes
1
answer
270
views
A question related to Jordan's theorem on subgroups of $\mathrm{GL}_n(\mathbb{C})$
$\newcommand{\C}{\mathbb{C}}$
$\newcommand{\mr}{\mathrm}$
For any positive integer $n$, let $f(n)$ be the minimal integer with the following
property:
For any finite subgroup $G < \mr{GL}_n(\C)$ ...
- 10.5k
2
votes
0
answers
384
views
Generalized conjugacy classes in (topological) groups
Let $G$ be a topological group. We define an equivalence relation on $G$ as follows:
For $a,b\in G$ we set $a\sim b$ if the following two maps are topologically conjugate:
$$x\mapsto ax,\qquad x\...
- 280
1
vote
0
answers
115
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
6
votes
1
answer
203
views
Is there a subgroup of a non-abelian $p$-group $G$ with a large nilpotency class?
Let $G$ be a non-abelian $p$-group ($p\ne2$). Does there exist a group $H\subset G$ such that both 1, 2 are satisfied?
$|H| = |G|/p$.
$c(H)\geq c(G) - 1$.
- 291
6
votes
1
answer
223
views
Does the inner automorphism group of the fundamental group of a closed aspherical manifold always have an element of infinite order?
Let $\pi_1$ be the fundamental group of a closed aspherical manifold of dimension $n$. In particular, $\pi_1$ is finitely presented, torsion-free and its cohomology is finitely generated and satisfies ...
- 63
5
votes
1
answer
152
views
Do these $p$-groups have the same nilpotency class?
Let $G$ be a $p$-group, $\{e\}\not= H\subseteq G$ be a subgroup of $G$ such that $G' = H'$. Is it true that $c(G) = c(H)$, where $c(\cdot)$ denotes the nilpotency class of a group?
- 291
1
vote
0
answers
69
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,201
1
vote
0
answers
111
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,339
1
vote
0
answers
71
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
0
votes
0
answers
58
views
A cellular automaton with an image that is not closed
Let $G$ be a non-locally finite periodic group and let $V$ be an infinite-dimensional vector space over a field $\mathbb{F}$. Does there exist a nontrivial topology on $V^G$ and a linear cellular ...
- 885
0
votes
0
answers
58
views
Prime index subgroups of $\langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle$ that is invariant under matrix $Q$
Let $Q $ be a matrix in $ \operatorname{GL}(2, \mathbb{Q}) $ and consider the group
$G = \langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle := \langle Q^{i}(v) \mid i \in \mathbb Z, v \in \...
- 763
0
votes
1
answer
364
views
A question on permutation groups
Let $a_1$, $a_2$, and $a_3$ be three involutions of a finite set such that $a_1 a_2 a_3$ is a cyclic permutation. Is the group generated by $a_1, a_2, a_3$ the symmetric group?
user513682
2
votes
1
answer
144
views
Proof involving retractions onto apartments
Let $\Delta$ be a (thick) building and let $\Sigma$ be an apartment. Let $C$ and $C'$ be adjacent chambers of $\Sigma$. Then $C$ and $C'$ have common wall $B \in \Sigma$. Since $\Delta$ is thick, ...
- 139
0
votes
0
answers
131
views
Weyl groups are Coxeter groups proof
I'm reading part of a proof that says that Weyl groups of apartments of buildings are Coxeter groups.
Let $\Delta$ be a building and let $\Sigma$ be a fixed apartment of $\Delta$. Let $C$ be a fixed ...
- 139
3
votes
0
answers
101
views
(Non)complete abelian groups in the “transfinite p-adic topology”
For an abelian group $A,$ a prime $p$ and an ordinal $\alpha,$ we recursively define $p^\alpha A$ as a subgroup of $A$ such that $p^0A=A,$
$$p^{\alpha+1}A=p(p^\alpha A) \hspace{5mm} \text{and} \...
- 1,312
0
votes
0
answers
98
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,613
2
votes
0
answers
117
views
Subgroups of a finite group whose conjugates intersect to conjugates of a specified subgroup
I have encountered a mysterious condition on finite groups in my research, and would like help understanding it better.
Let $G$ be a finite group, and let $H\leq K\leq G$ be a chain of subgroup ...
- 83