Questions about the branch of abstract algebra that deals with groups.

learn more… | top users | synonyms (1)

1
vote
1answer
26 views

what is the intersection of all congruence subgroups of the profinite completion of SL(2,Z)?

Let $\widehat{SL(2,\mathbb{Z})}$ be the profinite completion of $SL(2,\mathbb{Z})$. Let $\Gamma(N)$ denote the typical principal congruence subgroup of $SL(2,\mathbb{Z})$ (ie, all matrices congruent ...
0
votes
0answers
38 views

Carlson's translatability

I asked the following on MSE a few weeks ago but I did not get any answer : Given a translation-invariant ideal $\mathcal{I}$ on a commutative group $G$ and it's dual filter $\mathcal{I}^*$, why is ...
0
votes
1answer
48 views

Powers in compact coset spaces

Let $G$ be a topological group, let $K$ be a closed cocompact subgroup (i.e. the coset space $G/K$ is compact in the quotient topology) and let $g \in G$. Is there a sequence (edit: or net) of ...
5
votes
1answer
202 views

Is there a “good” reason that the universal central extension of $SL(2,\mathbb Z)$ is $Br_3$?

Let $$ Br_3 := \langle \tau_1,\tau_2\ :\ \tau_1 \tau_2 \tau_1 = \tau_2 \tau_1 \tau_2 \rangle $$ be the braid group on three strands, and consider the surjection $$\phi : Br_3 \twoheadrightarrow ...
2
votes
1answer
88 views

Measuring products of finitely generated subgroups of free groups

Let $F$ be a finitely generated free group, $H_1, \dots, H_n$ finitely generated subgroups of infinite index in $F$, and $\epsilon > 0$. Must there be an epimorphism to a finite group $\phi \colon ...
8
votes
2answers
240 views

Can a positive measure subset of a free group be nowhere dense?

Let $F$ be a finitely generated free group and let $S \subseteq F$ be a subset for which there is some $\epsilon > 0$ such that for any epimorphism to a finite group $\phi \colon F \to G$ we have ...
0
votes
1answer
108 views

Murray–von Neumann equivalence on C$^*$-algebra and von Neumann algebra

Let $H$ be a separable infinite dimensional Hilbert space, $M \subset B(H)$ a von Neumann algebra and $A \subset M$ a separable $C^*$-algebra such that $A''=M$. Let $p,q \in M_{\infty}(A)$ be ...
9
votes
1answer
369 views

Is a free group a product of f.g subgroups of infinite index?

Let $F$ be a free group, and let $H,K \leq F$ be finitely generated subgroups of infinite index in $F$. Is it possible that for the set of products we have $HK = F$ ?
3
votes
1answer
122 views

automorphism of prime order for group of Lie type in

Thanks for any help. Suppose $S$ is a simple group of Lie type of prime characteristic $p$. we know that every automorphism of $S$ is composite of inner, diagonal, field and graph automorphism of ...
15
votes
2answers
335 views

ULU Decomposition of a matrix

Let $g \in GL_n(\mathbb{F}_q)$. Is it true that we can always write $g = u_1lu_2$, where $u_1$ and $u_2$ are upper-triangular and $l$ is lower-triangular? Note that I'm not requiring that the matrices ...
0
votes
0answers
56 views

“Reciprocal” of Schoenberg's theorem

Schoenberg's theorem states that for a (say, countable group) $G$ and any real valued conditionally negative type function $\psi$ on $G$, the function $e^{-t\psi}$ is positive definite, for any ...
1
vote
0answers
86 views

Free abelian subgroups and distorsion

I realized that I know groups with distorted cyclic subgroups and groups all of whose free abelian subgroups are undistorted, but nothing between. Maybe it is a naive question, but: Does there ...
2
votes
0answers
85 views

Schur covering group [on hold]

It is known that every finite group has a Schur covering group. I'm eager to know every finite group can be considered as a Schur covering group of a group. If it is not true in general, under what ...
1
vote
1answer
81 views

A subgroup of outer automorphisms group of a free product

I would like to ask a question about automorphisms of free products of groups. More specifically, let $G = G_1 \ast ... \ G_n \ast F_r$ where $F_r$ is free group on r generators. We can define the ...
6
votes
2answers
321 views

A proposition on cyclic group

$G$ is a cyclic group iff $$ \forall H < G, \ \exists k, \ H = \{a^k : a \in G\}. $$ Is it right?
2
votes
2answers
303 views

Polynomials of low degree that clone polynomials of higher degree

Let $f(x_1,\dots,x_{16})=(x_1+x_2+x_3+x_4)(x_5+x_6+x_7+x_8)(x_9+x_{10}+x_{11}+x_{12})(x_{13}+x_{14}+x_{15}+x_{16})\in\Bbb R[x]$. Let $\mathcal{Z}$ be the zero set of $f$ in ...
6
votes
1answer
341 views

What is the universal property of quotienting a normaliser of the subgroup?

Let $G$ be a group, $H$ a subgroup and $X$ a $G$-set. By taking orbits $X/H = X \times_H 1$ or fixed points $X^H = \mathrm{Hom}_H(1,X)$ we obtain a set on which $H$ acts trivially, and we've destroyed ...
0
votes
1answer
167 views

Coaction of a group

Suppose $G$ is a finite group which acts on a $C^*-$algebra which we denote by $A$. I was wondering if there is a naturally induced coaction on $A\otimes C(G)$, here $C(G)$ denotes functions on $G$. I ...
1
vote
1answer
47 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$ ...
5
votes
1answer
199 views

Is there a left orderable profinite group?

Is there a profinite group $G$ with a binary transitive relation $<$ such that for any different $x,y \in G$ either $x < y$ or $y < x$ and such that for any $x,y,z \in G$ we have that $x < ...
26
votes
2answers
530 views

Why do sporadic simple groups have so few conjugacy classes?

In finite group theory, there's a general intuition that the further away a group is from abelian, the fewer conjugacy classes it will have. So it is to be expected that non-abelian finite simple ...
10
votes
1answer
158 views

Free subgroups in algebras of polynomial growth

What is known about free non-abelian subgroups in finitely generated associative algebras of polynomial growth (e.g., over finite fields, to avoid finite-dimensional free subgroups)? For example, are ...
5
votes
0answers
141 views

Approximating Lie groups by finite groups

How can one approximate compact Lie groups by finite groups? My wish is something like this: Let $G$ be a compact Lie group. There is a sequence of nested finite subgroups $G_n$ so that $G_n\to ...
1
vote
1answer
123 views

Equation for non-invertible elements in Clifford algebras

Suppose we have a Clifford algebra $Cl(V,q)$, $V\simeq \mathbb{R}^n$ and $q$ non-degenerate bilinear form. Then every non-zero element of $V\subset Cl(V,q)$ invertible, but they are not the only ones ...
0
votes
0answers
116 views

Comparison of two Chevalley basis

Let $G$ be a connected reductive group over an algebraically closed field and $T$ a maximal torus. Let $H$ be a pseudo-Levi subgroup, say the neutral component of a centralizer of a semisimple element ...
1
vote
0answers
77 views

Subgroups of the union of conjugates

This question is an attempt to find a version of this question with a positive answer. In this question, we ask if one can find big subgroups in the union of conjugtes of small subgroups of finite ...
2
votes
1answer
164 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 ...
4
votes
1answer
120 views

orders of maximal abelian subgroups

What are the orders of maximal abelian subgroups of the simple groups $F_4(q)$ and $C_4(q)$, where $F_4(q)$ is an exceptional group and $C_4(q)$ is a symplectic group?
3
votes
1answer
107 views

Lower Central Series of Pure Braid Groups?

What is the lower central series $\Gamma_k(P_n)$, where $P_n$ is the pure braid group with $n$ strands? We know that $P_n$ is generated by elements $A_{i,j}$; do we know the generators of ...
6
votes
2answers
379 views

What are the outer automorphisms of a Coxeter group?

I want to know the outer automorphisms of the Weyl group of $\mathrm{E}_8$, if any. But I might as well ask the question more generally. Suppose we have a Coxeter diagram. This gives a Coxeter ...
5
votes
1answer
228 views

Paper by I. N. Sanov, Solution of the Burnside problem for exponent 4

I have searched extensively online and for copies of printed journals containing the paper which details Sanov's solution to the Burnside Problem for exponent 4, which is widely cited in many papers ...
3
votes
2answers
183 views

Smallest non-trivial conjugacy classes in simple groups and classes of involutions

I am interested in finding the size of the smallest non-trivial conjugacy class of the simple groups $PSL(d,q)$ with $d>2$, $Sz(q)$ with $q>2$ and $R(q)$ with $q>3$. My first question is ...
6
votes
1answer
115 views

Is the free abstract group residually of rank d > 2?

Let $d \geq 2$ be an integer, and let $\mathcal{F}_d$ be the family of finite groups such that $G \in \mathcal{F}_d$ if and only if every subgroup of $G$ can be generated by at most $d$ elements. Is ...
4
votes
0answers
136 views

Is there a nontrivial profinite word which is trivial in any group with at most d generators?

Let $F$ be a free profinite group of rank $\aleph_0$, and let $d \in \mathbb{N}$. Let $N_d \lhd_c F$ be the intersection of all open normal subgroups $L \lhd_o F$ for which $F/L$ can be generated by ...
8
votes
2answers
294 views

Dehn algorithm and normal forms in small cancellation groups

I found this statement in B. Cavallo, D. Kahrobaei's paper arXiv:1311.7117 Secret Sharing using Non-Commutative Groups and the Shortlex Order, page 7. "C′(1/6) continue to be an ideal platform for ...
1
vote
0answers
45 views

Exhausting a free pro-p group

Recall that for a profinite group $G$ we define the subgroup rank to be $$\sup \{d(H): H \leq_c G\}$$ where $d(H)$ stands for the minimal cardinality of a set of topological generators of $H$. Let ...
-2
votes
0answers
58 views

The name of the group [migrated]

1) Is there any special name of this group and/or its product operation? $G_a = \left<\circ,\mathbb{R}^+\right>$, $x \circ y = x^{\mathbf{log}_a\ y}$, $a \in \mathbb{R}^+\setminus\{1\}$ 2) Is ...
3
votes
1answer
199 views

Base for symmetric group

Given symmetric group $S_n$, is it possible to find $k=\lceil\log_2S_n\rceil=\lceil\log_2n!\rceil$ members $\{\alpha_i\}_{i=1}^{k}$ in $S_n$ such that every member of $S_n$ can be written as ...
0
votes
1answer
80 views

Example of a polycyclic group which is not of polynomial growth? [closed]

The title already says everything: What is an example of a polycyclic group $G$ which is not of polynomial growth (equivalently, by Gromov's theorem, which is not virtually nilpotent)?
1
vote
0answers
80 views

Conjugacy classes in lie type group

I have two questions. Thanks for any comments. Suppose $S$ is a simple group of Lie type in characteristic p. Also suppose that $G=Aut(S)$. 1) Is there any reference for conjugacy class of element ...
6
votes
1answer
202 views

Action of the homotopy braid groups on reduced free groups

Firstly some definitions: $B_n$ is the braid group with $n$ strands. $\widetilde{B_n}$ is "homotopy braid group", which is a factor group of $B_n$ by adding the relation that $A_{j,k}$ ...
1
vote
0answers
84 views

Selecting dense diagonals in $\Bbb T^2$

Let $p$ be a prime number and let $G=\bigcup_{n\in \Bbb N}\{\exp(k\frac{2\pi i}{p^n})\mid k\in \Bbb Z\}$ be a Prüfer group. For homomorphisms $f,g:G\to G$ let $H_{f,g}=\{(f(x),g(x))\mid x\in G\}$. ...
0
votes
0answers
62 views

faithful action of Hecke algebra

Let $G$ be a connected reductive group split over a number field $F$, $\mathbb{A}$ the adeles. Let $v$ be a finite place and $\mathcal{H}_{v}$ the spherical hecke algebra at palce $v$. ...
0
votes
0answers
93 views

Automorphism of simple lie type groups

I will be so thankful for any comment or answer. Suppose $S$ is a simple Lie type group of characteristic $p$ and $S\subseteq G \subseteq Aut(S)$ and $G_0$ is a subgroup of $G$ generated by all inner ...
4
votes
0answers
118 views

Is it provable in $\mathsf{ZF}$ that there is a group structure on any set $X$? [duplicate]

Given a set $X$ is it provable in $\mathsf{ZF}$ that there is a binary operation $\ast: X\times X\to X$ such that $(X,\ast)$ is a group?
4
votes
1answer
380 views

Generalization of a property of $A_n; n\geq 5$

Let $H$ and $K$ be two proper non-trivial subgroups of the alternating group $A_n; n\geq 5$. Then there exists a maximal subgroup $M$ of $A_n$ such that $H\not\leq M$ and $K\not\leq M$. To see this ...
1
vote
1answer
135 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?
0
votes
0answers
77 views

Adelic integral factorization

In order to calculate Tamagawa numbers, I need to justify that for a nice (say Schwartz-Bruhat) function, the following identity holds : $$\int_{\mathbf{A}^2} f(x)dx = \int_{SL_2(\mathbf{A})/SL_2(K)} ...
1
vote
1answer
160 views

Can we say that $A$ is a complement for a group $G$?

Let $A$ be a frobenius complement for a group $G$ i.e. $A$ act on $G$ by automorphism s.t. $C_A(g)=e$ for all nonidentity $g$. Now, Action of $A$ can be linearly extended so that $A$ act on $F[G]$. ...
1
vote
0answers
61 views

Periodic Growth behaviours of Cayley graphs

This question is related to On the size of balls in Cayley graphs and Folner sequences of amenable groups of exponential growth Given a Cayley graph of a group $G$ with finite generating set ...