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

learn more… | top users | synonyms (1)

0
votes
0answers
27 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 ...
10
votes
2answers
633 views

Number of isomorphism types of finite groups

Are there some good asymptotic estimations for the number $F(n)$ of non-isomorphic finite groups of size smaller than $n$?
1
vote
1answer
288 views

Under what conditions there is a one-to-one mapping between a product of matrices and the sequence of matrices leading to the product?

I have a set of matrices $A_1,\ldots,A_n$. Let $\mathcal{A} = \{A_i\}$. What are some simple conditions under which for any sequence of indices between $1$ and $n$, $a_1,\ldots,a_m$, the product ...
4
votes
1answer
346 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 ...
4
votes
0answers
98 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?
0
votes
0answers
84 views

Must group homomorphisms on the infinite symmetric group be identical if they agree on transpositions? [on hold]

Suppose we have two group homomorphisms $f, g: S_A \to S_B$, where $A$ and $B$ are infinite sets, and that $f(x) = g(x)$ for all transpositions $x \in S_A$. Does it follow that $f = g$?
21
votes
1answer
976 views

Numbers of distinct products obtained by permuting the factors

Let $n \in \mathbb{N}$. Is it true that for every $k \in \{1, \dots, n!\}$ there are some group $G$ and pairwise distinct elements $g_1, \dots, g_n \in G$ such that the set $\{g_{\sigma(1)} \cdot \ ...
8
votes
0answers
173 views
+100

Sets which are unions of translates of each other but aren't single translates

I'm a hobbyist mathematician so any question I ask here might be at risk of closure. I hope this one is good enough, but I'm not sure. This is a continuation of two questions I asked on ...
1
vote
1answer
126 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?
1
vote
1answer
144 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]$. ...
2
votes
1answer
132 views

(Alternative) Presentation for the pure braid group of the sphere

First I need some notation (it's all standard I think). For a manifold $M$, let $F_nM = F_{0,n}M$ be the space of $n$-tuples of distinct points on $M$ ; let $B_nM = B_{0,n}M = F_nM / \Sigma_n$. When ...
4
votes
2answers
239 views

Powers of finite simple groups

I have heard about the following result: for each finite simple non-abelian group $S$ and each natural number $r\ge 2$ there exists a number $n=n(r,S)$ such that the power $S^n$ is $r$-generator but ...
0
votes
0answers
66 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)} ...
8
votes
1answer
179 views

Vertex-primitive graphs with two vertices having almost the same neighbourhood

Hypothesis: Let $\Gamma$ be a vertex-primitive graph with two vertices $u$ and $v$ such that $$|N(u) \cap N(v)|=|N(v)|-1$$ Question: Is it true that $\Gamma$ must either be a complete graph or have ...
5
votes
1answer
277 views

Groups with a unique composition series

Which finite groups $G$ have a unique composition series? I don't mean in the sense of the Jordan-Holder theorem, but rather actually unique. Some examples are the cyclic groups $C_{p^n}$ and the ...
1
vote
0answers
59 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 ...
0
votes
0answers
58 views

Characterizing subgroups $H$ of $\Bbb T$ with $\{(f(x),g(x))\mid x\in H\}$ dense in $\Bbb T^2$

Let $\Bbb T$ be the circle group with Euclidean topology. Is there a way to determine all $H\le \Bbb T$ such that there are $f,g\in Aut(H)$ with $\{(f(x),g(x))\mid x\in H\}$ dense in $\Bbb T\times ...
-1
votes
0answers
86 views

Calculating the quotient group $\mathbb{Z}\times\mathbb{Z}/<(1,1),(1,-1)>$ [closed]

Let $G$ be the group $\mathbb{Z}\times\mathbb{Z}$ and $H$ be the subgroup of $G$ generated by $(1,1)$ and $(-1,1)$. I am trying to calculate the quotient group $G/H.$
1
vote
0answers
124 views

Finding an overgroup or a subgroup in PGL

Let k be a nonperfect field of characteristic $2$. Let $a\in k\backslash k^2$, $G=PGL_4(k)$ and and $$H= \left\{ \small\left[\begin{array}{cccc} x ...
2
votes
1answer
560 views

Efficient algorithms to determine the roots of: $p(x) = r^x $ in the finite field $GF(q)$, where $r$ a primitive root of the field

I need to make sure that no efficient (i.e., polynomial time) algorithm exists for the following problem: Exponentiating Polynomial Root Problem (EPRP) Let $p(x)$ be a polynomial with $\deg(p) \geq ...
4
votes
0answers
163 views

Unitary representations of Tarski Monsters and other beasts

Did people study the unitary representations of Tarsky Monsters, for example the ones constructed by Ol'shanskii? Are there any exotic representations, ie. except the ones related to the left regular, ...
19
votes
5answers
2k views

Generating a finite group from elements in each conjugacy class

Is there a finite group such that, if you pick one element from each conjugacy class, these don't necessarily generate the entire group?
8
votes
1answer
176 views

amenable + without $BS(m,n)$+finite $K(G,1)$implies virtually cyclic?

I heard from someone that the following problem is an open question. (Open Problem 1)For a countable discrete group $G$, suppose it does not contain any Baumslag-Solitar subgroups $BS(m,n):=\langle ...
-1
votes
0answers
79 views

Von Dyck Theorem [closed]

Let $G= \langle X\mid R\rangle$, $X$ and $R$ the set of generators and relations, respectively. Now we define $H = \langle X \mid R \cup \{x\}\rangle $ for some $x \in X$. Indeed in group $H$, we ...
7
votes
4answers
324 views

Normal Covering of a Finite Group

Suppose $G$ is a finite group and $N_1, N_2, \cdots, N_k$ are proper normal subgroups of $G$. The set $\{ N_1, \cdots, N_k\}$ is called a normal cover for $G$, if $G = \cup_{i=1}^kN_i$. I need to the ...
5
votes
3answers
241 views

Can groups of twice-odd order have quaternionic representations?

Let $G$ be a finite group and $\phi\colon G\to \mathrm{GL}_d(\mathbb C)$ be an irreducible representation, with character $\chi$. Recall that $\phi$ is complex type if $\chi$ is not real-valued, ...
1
vote
0answers
149 views

Rational conjugation of elements of a finite group

Let $G$ be a finite group. Two elements $x$ and $y$ of $G$ are said to be rationally conjugate, written $x \sim_{r} y$, if and only if $\langle x\rangle$ and $\langle y\rangle$ are conjugate subgroups ...
16
votes
1answer
701 views

What makes the amenability of Thompsons group $F$ such a tricky problem?

An open problem that seems to get a lot of attention every once in a while is the amenability of Thompsons group $F$. The problem seems to generate both proofs and disproofs at a fairly high rate, ...
3
votes
2answers
165 views

Cohomology of SL(2,R) with coefficients given by linear action

Let $SL(2,{\mathbb R})$ act on ${\mathbb R}^2$ by matrix multiplication. What is known about group cohomology $H^*(SL(2,{\mathbb R}),{\mathbb R}^2)$? And about $$H^*(\Gamma,{\mathbb R}^2)$$ for a ...
0
votes
0answers
104 views

Alternate proof of Schur orthogonality relations [migrated]

I am trying to find an alternate proof for Schur orthogonality relations along the following lines. Let $G$ be a finite group, with irreducible representations $V_1$, $V_2$, $\cdots$, $V_d$. Let $V$ ...
3
votes
0answers
100 views

torsion free for the 2nd cohomology group?

Let $G$ denotes an infinite coutable discrete group with Kazhdan's property (T), My question is: is it known that the 2nd cohomology group $H^2(G,\mathbb{Z}G)$ is torsion free? Thanks in advance! ...
1
vote
1answer
220 views

Word metrics and finite index subgroups

Suppose that we are given some finitely generated group $ G $ and some finite index subgroup of it $ H $. Given a finite generating symmetric generating set $ S \subset G $, we can define the word ...
1
vote
2answers
129 views

Speed and absence of non-constant bounded harmonic functions

For a (symmetric) random walks on countable groups generated by $\mu$, there is a "brute-force computation" argument of Avez (1974) that shows that if the entropy $h_\mu$ is trivial then there are no ...
5
votes
3answers
163 views

bounding from below the cardinality of a set of generators of the $n$-fold cartesian product group of a finite group

Let $G$ be a non-trivial finite group. Let $n\in\mathbf{Z}_{\geq 1}$ and let $G^n$ be the $n$-fold cartesian group product of $G$. Let $S\subseteq G^n$ be a generating set of $G^n$. Q: Is $|S|\geq ...
4
votes
1answer
170 views

Are homotopy braid groups residually nilpotent?

A group is called residually nilpotent if given any non-identity element, there is a normal subgroup not containing that element, such that the quotient group is nilpotent. It is known that pure braid ...
7
votes
2answers
555 views

Every free abelian group is slender, why?

Wikipedia states that every free abelian group is slender. Where can I find a proof? If this is not trivial, then I will also need a reference to use in my paper.
2
votes
1answer
140 views

Every homomorphism from the Baer–Specker group into a slender group factors through ${\bf Z}^n$, why?

Wikipedia states that every homomorphism from the Baer–Specker group ${\bf Z}^{\bf N}$ into a slender group factors through ${\bf Z}^n$ for some natural number $n$. Where can I find a proof? If this ...
6
votes
1answer
202 views

Are profinite groups of cardinality $|\mathbb{R}|$ determined by their finite quotients?

Question: Let $G,H$ be profinite groups of cardinality $|\mathbb{R}|$, with the same finite quotients (here I only consider quotients by normal, open subgroups). Then are $G$ and $H$ isomorphic? ...
7
votes
5answers
830 views

Analogues of the dihedral group

A virtually-$\mathbb{Z}$ group $G$ admits either a epimorphism onto $\mathbb{Z}$ or a epimorphism onto $D_\infty$. So what happens if one replaces $\mathbb{Z}$ by another group $F$ (like the free ...
1
vote
0answers
59 views

Lower periodic subsets of groups and semigroups

Suppose that $A$ and $B$ are subsets of a group or semigroup. We call $A$ left upper [resp. lower] $B$-periodic if $BA\subseteq A$ [resp. $A\subseteq BA$]. If $A$ is both left upper and lower ...
1
vote
1answer
65 views

A condition for Hypercentral Groups to be Abelian

I'm reading an article I wrote my doctoral supervisor. In this article he states that if $G$ be a hypercentral group and suppose that $G$ is generated by (a finite number of) Prufer subgroups. Then ...
6
votes
0answers
89 views

Checking if a multiplication table represents a group [duplicate]

Given an $n \times n$ multiplication table, can one check if it represents a group in $o(n^3)$ time? All properties can be checked by mindless try-all possibilities loops: Whether there is an ...
7
votes
2answers
536 views

Translation length functions of non-simplicial trees

Let $G$ be a finitely generated group. By a theorem of Culler and Morgan, the set of non-abelian (not necessarily simplicial) minimal $\mathbb{R}$-trees with isometric $G$-action injects into the ...
11
votes
1answer
1k views

Distributivity of group topologies on $\Bbb Z$

Let $\mathcal L$ be the set of all group topologies on $\Bbb Z$. It is known that $(\mathcal L,\subseteq)$ is a modular complete lattice [1]. Is $(\mathcal L,\subseteq)$ distributive? $$~$$ [1] ...
3
votes
0answers
104 views

A lemma on verbal conjugacy classes in groups

I'm reading an article whose title is "On Groups With Finite Verbal Conjugacy Classes". Adapting their notations, the authors propose the following lemma. Let $w$ be a concise word and $G$ a group ...
62
votes
2answers
2k views

How feasible is it to prove Kazhdan's property (T) by a computer?

Recently, I have proved that Kazhdan's property (T) is theoretically provable by computers (arXiv:1312.5431, explained below), but I'm quite lame with computers and have no idea what they actually ...
4
votes
1answer
271 views

Milnor-Wolf result on growth of solvable groups

The Milnor-Wolf theorem says that any solvable group has either polynomial or exponential growth. I wonder about the existence of alternative proofs of this fact. I have an impression that the ...
4
votes
2answers
438 views

HNN extensions which are free products

which HNN-extensions are free products? this question is related with another still unsolved about Nielsen-Thruston-reducibility and connected-sum-irreducibility of 3d-torus- bundles...
1
vote
0answers
108 views

Explicitly showing that a free group is LERF [closed]

Let $F$ be a free group on a finite set $X$, and let $M$ be a finitely generated subgroup. Marshall Hall's theorem states that $M$ is closed in the profinite topology on $F$. That is, $M$ is the ...
28
votes
14answers
3k views

Fantastic properties of Z/2Z

Recently I gave a lecture to master's students about some nice properties of the group with two elements $\mathbb{Z}/2\mathbb{Z}$. Typically, I wanted to present simple, natural situations where the ...