All Questions
Tagged with reference-request gr.group-theory
700 questions
8
votes
1
answer
229
views
Embedding abelian cancellative Hausdorff topological semigroups into abelian Hausdorff topological groups
An abelian cancellative semigroup embeds (via a semigroup monomorphism) into an abelian group. What about an abelian cancellative Hausdorff topological semigroup that does not embed (via a ...
4
votes
1
answer
353
views
Recognize this countably generated abelian group?
I recently came across a construction that, in abstraction, leads to the following family of abelian groups: Fix $1<q<p$ with $q$ and $p$ relatively prime. The group $G_{(p,q)}$ is given by the ...
7
votes
1
answer
616
views
Looking for a modern source about Ulm Invariants
I'm looking for a modern, approachable text (preferably a website, textbook, or expository article, and preferably one easily available online or at a library) which can explain the concept of Ulm ...
3
votes
1
answer
309
views
Intersection of maximal subgroups of PSL(2,q)
Let $G := PSL(2,2^r)$, and let $M$ be a maximal subgroup of $G$ isomorphic to $PSL(2,2^s)$. I need to compute $H := M \cap M^g$ for $g \in G-M$. It seems to me that $|H|$ must be $2^r, 2^r\pm 1$ or $...
5
votes
0
answers
57
views
"Quasi-orthogonal" subgroup of a group with length?
For my project in bivariant K-theory for locally convex algebras, I'm looking how to call a particular notion of groups, too simple to be never considered elsewhere.
Let $G$ b a group with length $|\...
3
votes
0
answers
186
views
Which Dihedral Groups are $\text{CI}$-Groups?
Let $D_{n}$ denotes the dihedral group of order $2n$. Firstly, for self-referencing of the question, I give some definitions which are standard.
Let $G$ be a finite group. A subset $S$ of group $G$ ...
7
votes
0
answers
252
views
A conjecture of Lubotzky on ranks of subgroups of special linear groups over the integers
In a 1985 paper named "Dimension function for discrete groups" Lubotzky conjectured that:
For any integer $n \geq 3$ the group $\mathrm{SL}_n(\mathbb{Z})$
contains infinitely many finite index ...
0
votes
0
answers
168
views
Abelian centralizer groups (CA-groups)
I am searching for all information about CA-groups [abelian centralizer groups] and i just found a German book [Huppert] and Nilpotent Centralizer group of Suzuki in 44 pages and Group theory book of ...
7
votes
1
answer
169
views
What is the maximal possible rank of a subgroup of a special linear group mod a prime?
Let $p$ be a prime number, and let $\mathbb{F}_p$ be the unique field of cardinality $p$.
What is $\max \{d(H) : H \leq \mathrm{SL}_3(\mathbb{F}_p)\}$?
Here we denote by $d(G)$ the smallest ...
1
vote
1
answer
107
views
Name of the class of linearly ordered groups with no minimal positive element
Is there a special name for a linearly ordered group $G$ such that for every positive element $g\in G$ there exists an element $h\in G$ such that $e<h<g$?
18
votes
0
answers
734
views
How boundedly generated is $SL_3(\mathbb{Z})$?
The group $G = \mathrm{SL}_3(\mathbb{Z})$ is known to be boundedly generated, that is, there exists some $m \in \mathbb{N}$, and $g_1, \dots, g_m \in G$ such that we have the following equality of ...
8
votes
2
answers
272
views
Roller's problem on median groups
At the end of his dissertation Poc Sets, Median Algebras and Group Actions, Martin Roller asks
A group $G$ is called median if it acts freely and transitively on a median algebra. This is ...
1
vote
2
answers
742
views
Automorphism group of the affine groups AGL(n,q), ASL(n,q)
I have a question. The automorphism group of the linear groups $GL(n,q)$, the group of linear transformations of $V = \mathbb{F}_q^n$, and $SL(n,q)$, the subgroup of $GL(n,q)$ consisting of elements ...
2
votes
1
answer
514
views
Any representation is a subrepresentation of a direct sum of the regular representation
I need a reference for the following statement:
Let $G$ be a linear algebraic group over algebraically closed field $k.$ Let $V$ be a finite dimensional $G$-module. Then $V$ is subrepresentation of $...
2
votes
0
answers
187
views
Classification of Automorphism set of a Regular graph
Let $A$ be the adjacency matrix of an $r$-regular graph $G$ with $n$ vertices (Not complete or cycle graph) . Also, let $Aut(G)$ be the set of all its automorphisms (i.e. set of permutation matrices)....
2
votes
2
answers
594
views
Hausdorff Dimensions of Limit set of subgroups of SL(2,Z)
In a recent paper by Bourgain, Sarnak, Gamburd [1] talks about subgroups of $SL(2,\mathbb{Z})$.
Let $\Lambda$ be a finitely generated non-elementary subgroup of $SL(2,\mathbb{Z})$ with Hausdorff ...
6
votes
4
answers
561
views
SO$(4)$ (& SO$(n)$) characterization?
I believe it is the case that
any finite subgroup of SO$(3)$
(the $3 \times 3$ orthogonal matrices of determinant $1$)
is either a cyclic group $C_n$,
or a dihedral group $D_n$, or one of the groups ...
2
votes
1
answer
159
views
Counting elements with certain word length in abelian groups
Given a (finite) abelian group $G = \langle S \mid R \rangle$, has the problem of counting the number of elements which can be expressed as a word (in $S$) of length $\leq k$ been studied? If so, ...
6
votes
2
answers
483
views
Products of elliptic isometries
A well-known property on groups acting on trees is:
Theorem: Let $T$ be a tree and $g,h \in \mathrm{Isom}(T)$ two elliptic isometries. If $\mathrm{Fix}(g) \cap \mathrm{Fix}(h) = \emptyset$ then the ...
2
votes
1
answer
465
views
The first Betti number of a finite covering space of a closed 3-manifold
Let $\tilde{M}\to M$ be a finite covering of closed 3-manifolds.
Is it possible that $\beta_1(\tilde{M})-1> [\pi_1(M):\pi_1(\tilde{M})](\beta_1(M)-1)>0$?
Here, $\beta_1(X)=\dim_{\mathbb{Q}}H_1(...
7
votes
0
answers
407
views
Linear vs smooth actions of finite groups on spheres, euclidean spaces and closed disks
I would like to know examples (with references, if possible) of the following:
(1) a finite group $G$ acting effectively and smoothly on a sphere $S^n$ (any $n$) but admitting no effective linear ...
16
votes
3
answers
2k
views
Your favorite papers on geometric group theory
I would like to improve my "depth of understanding" in geometric group theory. So I am interested in short and accessible papers on subjects related to this field but which are not always ...
16
votes
4
answers
1k
views
Origin of group theory problem (bound on number of Sylow subgroups)
This problem (prove that the number of Sylow subgroups of a finite group $G$ is bounded by $\frac{2}{3}|G|$) posted on MSE proved rather difficult to solve. The OP has been silent about where the ...
5
votes
3
answers
851
views
What are some examples of non-commutative $\mathbb{Q}$-monoids and/or $\mathbb{R}$-monoids?
Definition 0. Let $R$ denote a commutative semiring with $0$ and $1$. By an $R$-monoid, I mean a monoid $M$ equipped with an action $R \times M \rightarrow M$ denoted $r,m \mapsto m^r$, satisfying the ...
3
votes
1
answer
273
views
Preprint by Wall on Sjogren's theorem
In their account http://dx.doi.org/10.1016/0022-4049(87)90048-X of Sjogren's theorem, Cliff and Hartley refer to two articles:
[9] B. Hartley, A note on a lemma of Sjogren relating to. dimension ...
6
votes
3
answers
811
views
Enumerating cosets of the modular group
Suppose we chose the generators $f(z) = z+1, g(z) = z-1, h(z) = -1/z$ for the modular group $\Gamma$ (i.e. the group of fractional linear tranformations $z \mapsto (az +b)/(cz+d)$ with $a,b,c,d \in \...
3
votes
0
answers
102
views
Localized at $p$ integral representations of finite elementary $p$-groups
Let $C_p$ be a cyclic group of prime order $p$.
Let $F=C_p^n=C_p\times\dots\times C_p$ ($n$ times).
I would like to to classify finite dimensional representations of $F$ over ${\mathbb{Z}}$.
However, ...
2
votes
2
answers
1k
views
Magnus' embedding theorem
I am looking for a (preferably modern) reference to the following old result of Magnus.
Let $F$ be a free group of finite rank and
$$ F_1 = [F,F], F_2 = [F_1,F_1], \dots , F_{n+1} = [F_n,F_n], \dots ...
6
votes
1
answer
144
views
Continuity of conjugation actions of Polish groups
Let $G$ and $H$ be Polish groups and let $\psi: G \rightarrow H$ be a continuous injective homomorphism such that $\psi(G)$ is normal in $H$. Then $H$ acts on $G$ by conjugation via $\psi$, in other ...
12
votes
0
answers
424
views
Reference for class of involutions containing longest element of finite Coxeter group?
Consider a finite (say irreducible) Coxeter group $W$ with a fixed generator set $S$ and rank $n$. This is the same thing as a finite real reflection group, generated by a set of “simple” ...
3
votes
3
answers
1k
views
A table for irreducible integral representation of finite cyclic groups
Is there such a table where the irreducible integral representations of finite cyclic groups
are listed?
Edited:
Thanks for Todd Leason's comment.Acutally,i want to know all inequivalent ...
2
votes
1
answer
153
views
Collections in direct products and freeness
I am looking for references about the following type of questions:
Let $G$ and $H$ be two groups,
let $(g_i:i\in I)\subset G$ and $(h_i:i\in I)\subset H$ be collections of group elements,
and ...
30
votes
1
answer
592
views
Guess that group via product queries
Suppose someone (person B) knows a finite group $G$ of order $n$.
You (person A) know only the order $n$,
and that $1$ is the name of the identity element.
The group elements are named $1,2,\ldots,n$ ...
2
votes
1
answer
975
views
Explicit examples of Dehn presentations of hyperbolic groups
It is well known fact that a (f.g.) group is hyperbolic if and only if it admits a (finite) Dehn presentation.
My question concerns something I'm struggling with since the first time I read the proof ...
2
votes
1
answer
387
views
Generators of the colored braid group (two colors), reference
I consider the group $B_{n,n}$, the braids, colored in two colors, say all odd strings are black and all even strings are white.
It is easy to find a set of generators for $B_{n,n}$:
$$
\begin{cases}
\...
6
votes
2
answers
486
views
Centralizers of reflections in special subgroups of Coxeter groups
Let us consider a (not necessarily finite) Coxeter group $W$ generated by a finite set of involutions $S=\{s_1,...,s_n\}$ subject (as usual) to the relations $(s_is_j)^{m_{i,j}}$ with $m_{i,j}=m_{j,i}$...
7
votes
4
answers
1k
views
Consequences of the Inverse Galois Problem
Are there any papers written about the consequences of the Inverse Galois Problem in case it is proved to be true or false?
We know a lot of things that would be true if the Riemann Hypothesis holds. ...
11
votes
2
answers
778
views
History of Tarski's problems on free groups
As is known, Tarski posed his questions about first-order theories of non-abelian free groups around 1945. However, the questions were not published in his papers or books.
What is the original ...
16
votes
2
answers
818
views
Decomposing $(\mathbb C^n)^{\otimes m}$ as a representation of $S_n\times S_m$
$V=\mathbb C^n$ is a $\mathbb CS_n$-module, where $S_n$ is the symmetric group of degree $n$, via the representation sending a permutation to the corresponding permutation matrix. The tensor power $V^...
3
votes
0
answers
282
views
Galois correspondence subgroups/subsystems
In this paper (1998) by M. Izumi, R. Longo, S. Popa, there is the following result (page 49) on compact groups:
Lemma 3.16. Let $G$ be a compact group and $Rep(G)$ the category of finite ...
9
votes
3
answers
435
views
How do small central extensions drop the dimension of a faithful representation?
Apologies in advance that this is a very soft question. I might be talking complete nonsense. But I hope I am talking about something that has even been studied...
I am interested in the phenomenon ...
4
votes
0
answers
135
views
Improvements of the Reidemeister-Schreier index formula for particular classes of groups
I have a couple of questions regarding possible improvements of the Reidemeister-Schreier index formula: let $G$ be a $d$-generated group and let $H$ be a subgroup of $G$, then
$$d(H) \le (d-1) \...
1
vote
0
answers
66
views
Quotient groups of "Abelian-times-compact", what are they called?
In what I am doing now this class of groups appears all the way: (Hausdorff) quotient groups of $A\times K$, where $A$ are locally compact abelian groups, and $K$ compact groups.
I wonder, if this ...
6
votes
1
answer
1k
views
Structure of symplectic group over finite fields
We are working over the finite field $\mathbb{F}_{q}$ of odd prime characteristic $p$ and of cardinality $q$ some power of $p$. We recall the symplectic group $Sp(4,\mathbb{F}_{q})$ as the group of ...
5
votes
2
answers
439
views
Condition(s) for the full autormophism group $\operatorname{Aut}(C(G, S))$ of the Cayley graph of $G$ to be isomorphic to $G$
If $\Gamma = C(G, S)$ is the (undirected) Cayley graph of a finite group $G$ with generating set $S$, then $G \le \operatorname{Aut}(\Gamma)$, the "full" automorphism group of $\Gamma$.
When is it ...
3
votes
1
answer
292
views
Special linear groups over function fields
Let $p$ be a prime number, and let $q$ be a finite power of $p$. Denote by $F_q$ the unique field with $q$ elements.
What is known about the structure and properties of $\mathrm{SL}_2(F_q[t])$ as ...
8
votes
1
answer
633
views
Why is this group called "The Holomorph of a group"
Many years ago I found in google the notation "Holomorph of group". It is the semi direct product of $G$ with $Aut(G)$. Why is the term "Holomorph" used here, while it is usually used for complex ...
5
votes
2
answers
332
views
Embedding $G$ in a $Z(G)$ extension of $\operatorname{Aut}G$
This question follows up a question I asked on math.SE. This is a refinement and a reference request.
For what groups $G$ does there exist a $Z(G)$-extension of $\operatorname{Aut}G$ (call it $\tilde ...
2
votes
1
answer
364
views
Totally aperiodic sequence
Let $A$ be a finite set. Let $A^k$ be the set of words in the alphabet $A$ of length $k$ and $A^*$ be the set of infinite words. I was looking for an element $a = \lbrace a_n \rbrace_{n \in \mathbb{N}}...
24
votes
3
answers
3k
views
Non-abelian Grothendieck group
By general nonsense the forgetful functor from groups to monoids has a left adjoint. It maps a monoid $(X,\cdot,1)$ to the free group on $\{\underline{x} : x \in X\}$ modulo the relations $\underline{...