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

**0**

votes

**0**answers

117 views

### One-dimension Algebraic groups

I am searching for a possible analogue of a result in algebraic groups in a non-commutative setting, so I am looking for different proofs of the following :
Let $K$ be an algebraically closed field. ...

**1**

vote

**0**answers

56 views

### p-groups with unique normal minimal subgroup

Is p-groups with unique normal minimal subgroup have been Classification? Is there any article on the subject?

**3**

votes

**1**answer

140 views

### finitely presented subgroup and free solvable group of class 3

Let $F(n)$ be free group of rank $n\geq 2$. Denote by $F_d(n)$ the d-th derived subgroup, that is $F_d(n)=[F_{d-1}(n),F_{d-1}(n)]$ where $F_0(n)=F(n)$. The free solvable group of rank $n$ and ...

**7**

votes

**1**answer

113 views

### Schur multiplier of $Sp(2g, \mathbb{Z}_2)$ for $g \geq 3$

This question is about the computation of $H_2(Sp(2g, \mathbb{Z}_2), \mathbb{Z})$, where $Sp(2g, \mathbb{Z}_2)$ is the group of symplectic $2g \times 2g$ matrices over $\mathbb{Z}_2$.
With respect to ...

**2**

votes

**0**answers

143 views

### Groups with isomorphic quotients [on hold]

Assume we have a finitely presented group $G$ and a non-trivial normal subgroup N. How can one decide that $G/N$ is isomorphic to $G$ or not? $G$ is given as a presentation and $N$ as a set of words.

**0**

votes

**1**answer

54 views

### About $c(A)$ in $c(A)|A|\leq |A^{-1}A|$

Let $G$ be a finite group, $\emptyset\neq A\subseteq G$, $A^{-1}:=\{ a^{-1}:a\in A\}$, and put $$c(A):=\max\{t\in \mathbb{Z}: t|A|\leq |A^{-1}A|\}$$
It is clear that $1\leq c(A)\leq ...

**8**

votes

**3**answers

303 views

### Frobenius complement/kernel of an infinite group

Happy Peaceful New Year !
In this question, I recalled that if $H$ is a proper subgroup of a finite group $G$, such that
$$({\bf A1})\qquad(g\not\in H)\Longrightarrow(g^{-1}Hg\cap H=(1)),$$
then
...

**10**

votes

**1**answer

578 views

### Are there enough additive permutations?

I am hoping to learn enough about additive permutations to help with a number theory problem. These permutations also have connections to difference sets, orthomorphisms, transversals, and other ...

**12**

votes

**1**answer

105 views

### An inequality for the minimal number of generators of a finite group

Let $G$ be a finite group, $n(G)$ the minimal number of generators and $m(G)$ the minimal number of irreducible complex representations generating (with $\otimes$ and $\oplus$) the left regular ...

**-4**

votes

**0**answers

43 views

### A set containing more than half elements of a group [on hold]

I wish to prove the exercise which states that for a set $A$ containing more than half elements of a group $G$, every element of $G$ is a product of two elements of $A$.
My attempt:
By Lagrange ...

**3**

votes

**1**answer

289 views

### Fibered products of cyclic groups

Background
Let $m,n$ be positive integers and consider the cyclic group $\mathbb{Z}_{mn}$.
We have a natural epimorphism $\mathbb{Z}_{mn} \to \mathbb{Z}_n$ coming from the exact sequence
$$ 0 \to ...

**2**

votes

**0**answers

178 views

### Finitely generated subgroups are cyclic, and a generalization

Is there a name for groups $G$ which satisfy the property that for any $a$ and $b$ in $G$, there is a $c\in G$ and integers $n$ and $m$ such that $a=c^n$ and $b=c^m$? Such a group has to be abelian, ...

**9**

votes

**4**answers

557 views

### Finite subgroups of relatively hyperbolic groups

It is well known that in a given $\delta$-hyperbolic group there are only finitely many conjugacy classes of finite subgroups. This is clearly false for relatively hyperbolic groups since we have no ...

**1**

vote

**0**answers

55 views

### Computing abelianizations of some explict finite subgroups of $GL_2(\mathbb{Z}/p^n \mathbb{Z})$

I have been attempting to find some abelianizations of some subgroups of $GL_2(\mathbb{Z}/p^n \mathbb{Z})$. I have been using brute force for the most part but I get very messy results. Here is an ...

**10**

votes

**2**answers

809 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 ...

**18**

votes

**1**answer

489 views

### Why can the general quintic be transformed to $w^5-5\beta w^3+10\beta^2w-\beta^2 = 0$?

The quintic can be transformed to the one-parameter Brioschi quintic,
$$w^5-10\alpha w^3+45\alpha^2w-\alpha^2 = 0\tag1$$
This form is well-known for its connection to the symmetries of the ...

**58**

votes

**20**answers

6k views

### Solving algebraic problems with topology

Often, topologists reduce a problem which is - in some sense - of geometric nature, into an algebraic question that is then (partiallly) solved to give back some understanding of the original problem.
...

**7**

votes

**1**answer

137 views

### Nonsolvable finite quotients of matrix groups

Suppose that $\Gamma$ is a finitely generated nonsolvable subgroup of $GL(n, R)$. Is it in the literature that $\Gamma$ has a nonsolvable finite quotient? I know how to prove it (the hardest ...

**3**

votes

**2**answers

90 views

### References about the matrix generators of the finite subgroups of the orthogonal group O(4)

"On Quaternions and Octonions" by Conway and Smith gives the classification of the finite subgroups of the orthogonal group O(4). I want to get the explicit matrix generators of the finite subgroups. ...

**1**

vote

**1**answer

162 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 ...

**5**

votes

**1**answer

193 views

### To calculate $Tor_1^G(\mathbb{Z},N_{ab})$ and $Tor_1^Q(\mathbb{Z},N_{ab})$

Let $G$ be a finite $p$-group and $N$ be a normal subgroup of $G$. I wish to calculate $Tor_1^G(\mathbb{Z},N_{ab})$ and $Tor_1^Q(\mathbb{Z},N_{ab})$, where $Q=G/N$. I could not found any lecture notes ...

**-4**

votes

**1**answer

117 views

### Even-odd partitioned groups! [closed]

Let $G$ be a group with the property $G=G_e\dot{\cup} G_o$ with
$G_oG_o\subseteq G_e\leq G$.
($\dot{\cup}$ denotes disjoint union, $\leq$ is subgroup notation, and $G_o^{-1}=\{x^{-1}: x\in G_o\}$)
...

**1**

vote

**1**answer

135 views

### Is there a nice choice-free argument to count the number of sublattices?

It's a well known fact that the number of index $n$ sublattices of a rank two lattice $\Lambda$ is given by $\sigma_1(n) = \sum_{d\mid n} d$.
Here is a proof of this fact:
Proof: choosing a basis of ...

**0**

votes

**0**answers

132 views

### About Burnside groups [closed]

Consider Burnside group $B(m,n)$, meant a group with presentation as below:
$$G=\langle x_1,\dotsc,x_m:\,w^n=1\rangle$$
Suppose the class number of $G$ is finite, does it imply the finiteness of ...

**7**

votes

**3**answers

1k views

### A categorical method to, say, determine the cardinality of a group

I am trying to figure out how much one can figure out about an object using category theory. Ideally, any property that is well defined up to isomorphism should be computable using only category ...

**1**

vote

**0**answers

130 views

### Braids with an infinite number of strings

Has anyone developed a theory for braids with an infinite number of strings?

**72**

votes

**2**answers

3k views

### $A$ is isomorphic to $A \oplus \mathbb{Z}^2$, but not to $A \oplus \mathbb{Z}$

Are there abelian groups $A$ with $A \cong A \oplus \mathbb{Z}^2$ and $A \not\cong A \oplus \mathbb{Z}$?

**41**

votes

**7**answers

7k views

### Is there a slick proof of the classification of finitely generated abelian groups?

One the proofs that I've never felt very happy with is the classification of finitely generated abelian groups (which says an abelian group is basically uniquely the sum of cyclic groups of orders ...

**8**

votes

**1**answer

173 views

### Finite groups: equations with many solutions

Let $\omega$ be a word in the free group on generators $x_1,x_2,\ldots,x_n,g_1,g_2,\ldots,g_k$, where $n>0$ and $k\geq 0$. For any finite group $G$ and elements $g_1,g_2,\ldots g_k$ in $G$ we ...

**17**

votes

**2**answers

608 views

### Solving equations in SO(3) : an open problem by Jan Mycielski

I am interested in a problem closely related to a problem stated by Jan Mycielski in his paper Can One Solve Equations in Group? (The American Mathematical Monthly, 1977, ...

**7**

votes

**1**answer

697 views

### A dual version of a theorem of Øystein Ore in group theory

Let $(H \subset G)$ be an inclusion of finite groups.
This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved:
Theorem: $\mathcal{L}(H\subset G)$ ...

**2**

votes

**1**answer

128 views

### A question on $p$-central $p$-groups

Let $p$ be a fixed prime. A group $G$ is termed $p$-central if every element of order $p$ in $G$ lies in the center.
Having a finite $p$-group $G$ of rank $k$ (the least integer, such that every ...

**4**

votes

**2**answers

117 views

### $2$-cohomology group of semi-direct products

Let $G=N\rtimes T$ and let $A$ be a $G$-module with a trivial $G$-action.
The action of $T$ on induce a natural action of $T$ on the second cohomology group of $N$. Denote by $H^2(N,A)^T$ the ...

**11**

votes

**0**answers

441 views

### Who conjectured that a transitive projective plane is Desarguesian?

The only known finite projective plane with a transitive automorphism group is the Desarguesian plane $PG(2,q)$ and it seems likely that there are no others, although this is not (quite) proved.
...

**6**

votes

**2**answers

182 views

### Uniqueness of the fusion ring for simple finite group

We know that the irreducible representations $R_i$ of a group $G$ can give rise to a fusion ring: $R_i\otimes R_j = \oplus_k N^{ij}_k R_k$.
I wonder if the following statement is true or not:
If $G$ ...

**8**

votes

**1**answer

645 views

### Higman embedding theorem

The Higman Embedding theorem says that any finitely generated and recursively presented group can be embedded in a finitely presented group.
My question is if one can embed such a group as a normal ...

**16**

votes

**2**answers

526 views

### Technical issue in the approach to Lie groups taken in Brian C. Hall's book

I'm teaching Lie groups and Lie Algebras out of Brian C. Hall's book, which I've enjoyed using. I'm confused about a technical hitch though that I'm not sure how to avoid.
The approach taken in this ...

**6**

votes

**1**answer

392 views

### Are the distributive permutation groups linearly primitive?

An action of a group $G$ on a set $X \neq \emptyset$ is called transitive if $\forall x,y \in X$, $\exists g \in G$ such that $g.x = y$.
It is called primitive if it is transitive and preserves no ...

**3**

votes

**0**answers

119 views

### Iwasawa theory, $\mathbb{Z}_p^{2}$-extension, Greenberg module

Take $H\subset \bar{\mathbb{Q}}$ be a quartic imaginary number field such that $\operatorname{Gal}(H/\mathbb{Q})=\mathbb{Z}_2 \times \mathbb{Z}_2$. Denote by $F$ the quadratic real subfield of $H$ and ...

**4**

votes

**2**answers

165 views

### Describing Levi factors and unipotent radicals of parabolic subgroups in classical groups

I asked this question before at Math.SE (link) but got no answer.
Let $G$ be an algebraic group over an algebraically closed field $k$ of characteristic $p \geq 0$. Then any parabolic subgroup $P$ ...

**3**

votes

**3**answers

394 views

### Normal abelian subgroups in p-groups

Given a group $G$, we denote by $T(G)$ the subgroup generated by all (maximal) normal abelian subgroups of $G$.
Let define the series $(T_i(G))$ by $T_0(G)=1$ and $T_{i+1}(G)/T_i(G)=T(G/T_i(G)$, and ...

**13**

votes

**0**answers

370 views

### Is $\mathbb{Z}^{\omega}$ ever the union of a chain of proper subgroups each isomorphic to $\mathbb{Z}^{\omega}$?

Recall that the covering number $cov(B)$ is the least cardinal $\kappa$ such that $\kappa$ meagre sets cover the real line. Andreas Blass and John Irwin http://www.math.lsa.umich.edu/~ablass/bb.pdf ...

**2**

votes

**0**answers

114 views

### Groups with Abelian Automorphism Group

In a paper, the authors Jonah-Konvisser say
Until recently (~1975), there were no published examples of non-abelian groups with abelian automorphism groups. Heinken and Liebeck have methods for ...

**2**

votes

**1**answer

359 views

### A group algebra isomorphism problem

What are the groups $G$ and fields $\Bbb K$ for which $\Bbb K[G]\cong\Bbb K^{|G|}$ holds?
For example $\Bbb R[\Bbb F_2^n]\cong\Bbb R^{2^n}$ holds.

**3**

votes

**0**answers

135 views

### Are all finitely generated subgroups of SL2 LERF? [closed]

Let $H \leq \mathrm{SL}_2(\mathbb{R})$ be a finitely generated
subgroup. Must $H$ be LERF?
A group $H$ is said to be LERF (locally extended residually finite), or subgroup separable, if its ...

**0**

votes

**0**answers

98 views

### Finite groups as intersection of algebraical groups [migrated]

Well known that any finite number of points can be seen as intersection of two algebraical curves. Is it true that any finite group $G$ can be seen as intersection of two (connected) one dimensional ...

**5**

votes

**0**answers

536 views

### Elementary polynomial-free proofs of fundamental theorem of Galois theory?

I am looking for simple proofs that show the correspondence between intermediate fields in a field extension and subgroups of the Galois group. I'm happy for everything to be subfields of ...

**2**

votes

**1**answer

251 views

### Groupoid isomorphism vs. group isomorphism

Assume that $\Gamma$ is a group with neutral element $e$. We associate to $\Gamma$ the following groupoid $G$:
$G=\Gamma \times \Gamma,\;\;\;G^{(0)}=\Gamma \times \{0\},\;\;s(a,b)=(a,e),\;\;\; ...

**9**

votes

**4**answers

666 views

### Groupoid structure on G/H?

Let $G$ be a group and let $H$ be a subgroup. If $H$ is normal in $G$, then $G/H$ has a group structure. But in general, can there be a groupoid structure on $G/H$(left cosets or right cosets) that ...

**0**

votes

**0**answers

60 views

### Expected shortest word length\depth in Braid groups from set of all braids with length L

Consider the set of all positive braids on n strands, with a fixed length L.
$$B^+_{n,L}:=\{\beta\in B_n:\beta=\sigma_{i_1}\sigma_{i_2}\ldots\sigma_{i_L},1\leq i_k \leq n-1\}$$.
Using the relations,
...