Questions tagged [gr.group-theory]
Questions about the branch of algebra that deals with groups.
7,941
questions
2
votes
1
answer
643
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,555
2
votes
1
answer
750
views
p-groups with unique normal minimal subgroup
Have $p$-groups with a unique normal minimal subgroup been classified? Is there any article on the subject?
- 21
14
votes
2
answers
415
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 ...
- 183
0
votes
1
answer
80
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 \frac{|G|}{|A|}$, ...
- 995
2
votes
0
answers
195
views
Groups with isomorphic quotients [closed]
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.
- 93
2
votes
0
answers
122
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 ...
- 153
7
votes
2
answers
463
views
Invertibility of group Laplacian in $\ell^1$
Let $G$ be a discrete group and let $S$ be a generating set for $G$; assume that $S$ is symmetric (i.e., $g\in S$ iff $g^{-1}\in S$). Let $L=L_S=\frac{1}{|S|}(\sum_{g\in S} g-1)$ be an element of the ...
- 231
3
votes
2
answers
155
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. ...
- 31
10
votes
1
answer
204
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 ...
- 31k
3
votes
0
answers
254
views
Braids with an infinite number of strings
Has anyone developed a theory for braids with an infinite number of strings?
- 1,161
1
vote
1
answer
513
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 ...
- 6,240
-3
votes
1
answer
171
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\}$)
...
- 995
6
votes
2
answers
453
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$ ...
- 4,716
8
votes
1
answer
277
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,031
5
votes
1
answer
390
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 ...
- 421
6
votes
0
answers
291
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 ...
- 1,046
5
votes
2
answers
543
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 $T$-...
- 308
20
votes
2
answers
1k
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, http://www.jstor.org/stable/...
- 383
22
votes
4
answers
2k
views
Technical issue in the approach to Lie groups taken in a book
I'm teaching Lie groups and Lie Algebras out of Brian C. Hall's book (Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Springer), which I've enjoyed using. I'm confused about ...
- 27.8k
12
votes
1
answer
239
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 ...
8
votes
2
answers
2k
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$ of ...
- 2,791
3
votes
1
answer
747
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 ...
- 261
2
votes
1
answer
518
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.
user76479
3
votes
0
answers
200
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 ...
- 11.2k
2
votes
1
answer
598
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),\;\;\; r(a,...
- 312
3
votes
0
answers
196
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,118
4
votes
1
answer
545
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 ...
- 1,651
3
votes
1
answer
408
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 ...
- 1,961
8
votes
1
answer
543
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?
- 3,708
11
votes
2
answers
756
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,669
5
votes
1
answer
377
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 ...
user6671
2
votes
1
answer
164
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 ...
- 2,118
7
votes
1
answer
349
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 ...
- 798
6
votes
0
answers
219
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: ...
- 3,708
7
votes
1
answer
502
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 ...
- 213
3
votes
1
answer
487
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 G\longrightarrow\...
- 647
4
votes
0
answers
247
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 ...
- 6,257
5
votes
1
answer
206
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,590
10
votes
1
answer
438
views
Perfect group of order 190080
I need to know some properties of the perfect group of order $190080$
which is the Schur cover of the Mathieu group ${\rm M}_{12}$, but
when using ...
- 191
7
votes
0
answers
305
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 ...
- 2,433
5
votes
1
answer
737
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 := \...
- 347
1
vote
1
answer
347
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: https://math.stackexchange.com/questions/1597321/generalization-of-hkh-kk-cap-h
Suppose we are given subgroups $H,K$ of a ...
- 45
8
votes
3
answers
660
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
$$N:=...
- 51.6k
2
votes
2
answers
583
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 Hausdorff ...
- 98
3
votes
1
answer
127
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 ...
- 13.7k
15
votes
2
answers
819
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 $(...
- 2,527
3
votes
2
answers
334
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. ...
- 261
4
votes
2
answers
457
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 ...
- 2,118
8
votes
1
answer
319
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 ...
- 1,854
4
votes
2
answers
631
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 H^n(G,\hat{M}...
- 51