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

**1**

vote

**0**answers

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

**3**

votes

**2**answers

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

**7**

votes

**1**answer

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

**1**

vote

**0**answers

128 views

### Braids with an infinite number of strings

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

**1**

vote

**1**answer

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

**-4**

votes

**1**answer

113 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\}$)
...

**0**

votes

**0**answers

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

**6**

votes

**2**answers

177 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

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

**3**

votes

**1**answer

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

**3**

votes

**0**answers

114 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

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

**17**

votes

**2**answers

603 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, ...

**16**

votes

**2**answers

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

**4**

votes

**2**answers

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

**2**

votes

**0**answers

113 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

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

**2**

votes

**1**answer

249 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),\;\;\; ...

**0**

votes

**0**answers

58 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,
...

**2**

votes

**0**answers

153 views

### When can we establish an isomorphism between two not-finitely presented groups?

Assume that finitely generated groups $G$ and $H$, are not finitely presented. Fix a generating set $\mathfrak g:=\{g_1,\dotsc,g_n\}$ of $G$. Let $\mathfrak R:=\{R_1,R_2,\dots\}$ be the set of all ...

**2**

votes

**1**answer

117 views

### Counting Frobenius groups with abelian Frobenius complement

In R. Brown, D. K. Harrison Abelian Frobenius kernels and modules over number rings. J. Pure Appl. Algebra 126 (1998), no. 1-3, 51–86, Remark 11.13 (A), the authors show that the number of isomorphism ...

**3**

votes

**1**answer

116 views

### Must normalizing field outer automorphisms “divide” the dimension?

Imprecise question: To get a normalizing field outer automorphism of
order $r$, must we multiply the dimension by $r$?
Precise hypothesis: Let $p\geqslant 5$ be a prime, let $q$ be a power of $p$ and ...

**4**

votes

**1**answer

189 views

### The parity of the full automorphism group order of finite non-abelian groups of prime exponent

Is there a finite non-abelian group $G$ of prime exponent such that the full automorphism group of $G$ is of odd order?

**8**

votes

**2**answers

303 views

### Characters of permutation groups

Let $N$ be a fixed positive integer, and denote by $C(m)$ the number of
permutations on an $N$-element set that have exactly $m$ cycles (counting
$1$-cycles). Then it is in the literature that the ...

**4**

votes

**1**answer

250 views

### What is known about the algebraic variety defined by the group determinant?

What is known about the algebraic variety $V_G$ defined by $det(X_G) = 1$ where $X_G$ is the group matrix $(x_{g_ig_j^-1})$ of a finite group $G$? It is known that two finite groups having the same ...

**2**

votes

**1**answer

123 views

### Could the number of defining relators of a finitely presented group increase

Do there exist finitely generated groups $G$ and $H$ with following properies:
$G=\langle g_1,\dotsc,g_n\rangle$ is not finitely presented, Let $R:=\{r_1,r_2,\dots\}$ be the set of its defining ...

**0**

votes

**0**answers

56 views

### long root elements fixed by an automorphism in simple lie type group

Thanks for any help or comments.
Suppose $G=G(q)$ is a simple lie type group over field $F$ of characteristic $r$. So $G$ has some well known subgroup $X_a$ named Long root subgroup such that ...

**7**

votes

**1**answer

267 views

### For a new operation on a finite group of odd order giving a loop structure, when does this also gives a group

For finite groups $G$ of odd order, as $x \mapsto x^2$ is bijection (but no automorphism in general) then, we can define for each $g \in G$ the element $x^{1/2}$ by requiring $(x^{1/2})^2 = x$. Then ...

**1**

vote

**0**answers

63 views

### On the unipotent conjugacy classes in $SU(3,q^2)$

Consider the special unitary group of degree 3 over a finite field $\mathbb{F}_{q^2}$, $q=p^n$ a prime power, and $U$ its Sylow $p$-subgroup (we way fix it to be the subgroup of upper triangular ...

**6**

votes

**0**answers

196 views

### Is always the ratio (number of commuting pairs of elements in a ring or a Lie algebra)/(the size of the ring or the Lie algebra) integer?

(1) Is there a finite nilpotent ring $R$ such that the ratio
$$c(R)=\frac{|\{(x,y)\in R\times R \; | \; xy=yx\}}{|R|}$$
is not integer?
Edit 1: The nilpotent condition is put later.
Edit/Answer: ...

**5**

votes

**0**answers

119 views

### Generators of pure braid groups of arbitrary Coxeter groups

Let $W$ be an arbitrary Coxeter group, and let $A$ be the associated Artin-Tits braid group, with standard Coxeter generators $\sigma_i\in A$. Let $P$ be the "pure braid group", the kernel of the ...

**2**

votes

**1**answer

213 views

### Is there a link between $H_2(G,\mathbb{Z})$, the Schur Multiplier of a group, and the “other” Schur multipliers of a group?

The name for the the following 2 mathematical objects:
$$H_2(G,\mathbb{Z})$$ and
$$\{K:G\times G\longrightarrow\mathbb{C}\ |\ \forall T\in B(l^2(G))\text{we have that}~S:G\times ...

**4**

votes

**0**answers

107 views

### When can a locally compact group be approximated by discrete subgroups?

This question is about partitioning a (locally) compact group into cells by using discrete subgroups.
Let $G$ be a locally compact group. (I am really most interested in the case where $G$ is a ...

**7**

votes

**1**answer

171 views

### homological 2 dimensional groups

In a Commentarii Mathematici Helvetici paper by Benno Eckman and Heinz Müller in 1980 (volume 50, pages 510-520) proved that poincaré Duality Groups of dimension 2 with positive first ...

**2**

votes

**0**answers

269 views

### What kind of group invariants exist? [closed]

Let $G$ be a finite group.Then it is known,
that:
1) The group determinant determines the group (up to isomorphism)
2) The 1, 2, 3 characters determine the group
3) The invariants $f_1,\cdots,f_m$ ...

**7**

votes

**0**answers

232 views

### Generator of a $\bigoplus_{n=0}^\infty \mathbb{Z}/2\mathbb{Z}$-action

Let $T$ be a measure-preserving action of a group $G$ on a Lebesgue space $X$. That means that $T$ associates an automorphism (i.e. an invertible measure-preserving transformation) $T^g$ of $X$ to ...

**6**

votes

**1**answer

443 views

### Why is $(A^\perp)^\perp = A$?

On page 52 of this paper, Iwasawa considered the bilinear symmetric non-degenerate pairing $\Phi_n \times \Phi_n \rightarrow \mathbb{Q}_p/\mathbb{Z}_p$ defined by
$$\langle \alpha, \beta \rangle_n := ...

**1**

vote

**1**answer

189 views

### Generalization of $(HK:H)=(K:H\cap K)$

I asked this question two days ago om Math SE but didn't receive an answer: http://math.stackexchange.com/questions/1597321/generalization-of-hkh-kk-cap-h
Suppose we are given subgroups $H,K$ of a ...

**7**

votes

**3**answers

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

**2**

votes

**2**answers

227 views

### Abelian extremely amenable group?

Is there a nontrivial commutative Hausdorff topological group that is extremely amenable?
Recall that a topological group is called extremely amenable if any continuous action on a compact ...

**3**

votes

**1**answer

107 views

### embedding of $O_4^-(q)$ in $U_4(q)$

For $q$ an odd prime power, one can construct $H:=O_4^-(q)<U_4(q)$ by treating the $H$-invariant bilinear form as Hermitean. On the other hand $U_4(q)$ is isomorphic to $O_6^-(q)$; I need to ...

**14**

votes

**2**answers

453 views

### factorization of the regular representation of the symmetric group

Let $\mathbb{C}[S_n]$ be the regular representation of the symmetric group $S_n$, and let $\mathbb{C}^n$ be the vector representation.
Question: Does there exist a representation $V$ (of dimension ...

**4**

votes

**2**answers

142 views

### Frobenius Groups of Automorphisms

Recently, I am looking different papers on the topic
$$\mbox{Frobenius groups of automorphisms of a group.}$$
But I am familiar with Frobenius groups only; not with their (faithful) actions on groups. ...

**2**

votes

**0**answers

194 views

### A question about generating set of groups and epimorphism

Do there exist non-isomorphic finitely generated groups, $G$ and $H$, along with epimorphisms $\phi:G\rightarrow H$ and $\psi:H\rightarrow G$, such that every generating set of these groups is an ...

**7**

votes

**1**answer

149 views

### Does every generating set of the first homology group of a Cayley graph give rise to a presentation of its group?

Let $G$ be a group, and fix a symmetric generating set $S$. Let $X$ be the corresponding Cayley graph.
Let $R$ be a set of words in $S$, each corresponding to the identity of $G$, such that the set ...

**2**

votes

**2**answers

228 views

### Behaviour of cohomology groups under extension of scalars

Let $\hat{R}\to R$ be a homomorphism of commutative unital rings and let
$\hat{M}$ be an $\hat{R}G$-module for a group $G$. Does the $R$-module isomorphism $$H^n(G,\hat{M}\otimes R)\cong ...

**-3**

votes

**1**answer

91 views

### Characterization of some finite cyclic groups [closed]

Given a finite cyclic group $G$ with order $n=p_1^{n_1}p_2^{n_2}\cdots p_r^{n_r}$, where $p_i$s are distinct prime numbers $n_i>1$ for all $i$. Let $H$ be any abelian group. Assume that ...

**0**

votes

**1**answer

287 views

### Which finite groups can be characterized by their automorphism groups?

Given a finite group G, we denote by Aut(G) the group automorphisms of G . Which finite groups G can be characterized by the group Aut(G), i.e. Aut(H)≅Aut(G) implies H≅G?