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

learn more… | top users | synonyms (1)

1
vote
1answer
143 views

'Accidental' isomorphisms for $Spin^C(n)$

The complex spin groups $Spin^C(n)$ appear in the fibration $Spin(n)\rightarrow Spin^C(n)\rightarrow\ S^1$ which must split since $BSpin(n)$ is 3-connected to give a homotopy equivalence $Spin^C(n)\...
2
votes
0answers
78 views

Groups with special character degrees

Let $G$ be a finite group of order $p_1^{a_1}\times p_2^{a_2}\times\cdots \times p_n^{a_n}$. Is there any classification for simple groups such that for each $i$, $p_i^{a_i}$ is an irreducible ...
1
vote
2answers
224 views

Nilpotency of Lie Algebra from Structure Constants

Suppose we have a Lie algebra with structure constants $$\mathrm{d}e^i=\sum_{j<k}a_{ijk}e^j\wedge e^k$$ for some coefficients $a_{ijk}$. In this setting, how may be checked (perhaps ...
3
votes
1answer
176 views

Representations of p-groups where 1 is never an eigenvalue

Fix some $n \geq 1$ and some prime $p$. I'm looking for finite $p$-groups $G$ and finite-dimensional complex representations $V$ of $G$ with the following two properties: The abelianization of $G$ ...
12
votes
2answers
265 views

Are finitely generated amenable groups positively finitely generated?

Let $G$ be a finitely generated amenable group. Is there a positive integer $n$ such that $n$ random elements of $G$ generate it with positive probability? Being more formal, note that $G^n$ is ...
7
votes
3answers
471 views

Which groups are Galois over some p-adic field?

Suppose I have some finite $p$-group $G$, or a little extension of it. How do I know if there exists a prime $l$ and a finite extension $K$ of $\mathbb{Q}_l$ such that $G$ is the Galois group of ...
3
votes
1answer
191 views

Symmetry Group of a Polynomial

Given a polynomial $P \in \mathbb{Z}[X_1,\ldots,X_n]$, is there a poly-time algorithm which computes the group of permutations of variables that leaves $P$ unchanged? (Clearly, the trivial $O(n!)$-...
5
votes
1answer
189 views

Hyperoctahedral group acting on a special permutation

Let $[n]=\{1,...,n\}$ and $[\hat n]=\{\hat 1,...,\hat n\}$. Realize the hyperoctahedral group $H_n$ as the centralizer of the permutation $(1\hat 1)\cdots (n \hat n)$. It has $2^n n!$ elements. Let $...
6
votes
1answer
566 views

Positivity of the alternating sum of indices for boolean interval of finite groups

Let $G$ be a finite group and $H$ a subgroup such that the interval $[H,G]$ is a boolean lattice. Let $L_1, \dots , L_n$ be the maximal subgroups of $G$ containing $H$. Let the alternative sum ...
5
votes
1answer
110 views

A sum over characters of $S_{2n}$ and zonal spherical functions of $(S_{2n},H_n)$

The hyperoctahedral group $H_n$ can be seen as the centralizer of the permutation $(12)(34)\cdots (2n-1\,2n)$ in $S_{2n}$. It has $2^nn!$ elements. The quantities $$ \omega_\lambda(\pi)=\frac{1}{2^...
2
votes
0answers
90 views

Centralizer of a dense subgroup in a maximal subgroup of a reductive group

I am looking for a reference to the following statement "Let $G$ be a reductive algebraic group and $K$ a maximal compact subgroup of $G$. If $H$ is a dense subgroup in $K$, then the centralizer of $H$...
0
votes
1answer
298 views

When are groups subgroups of a same group?

I put this question on Stackexchange : http://math.stackexchange.com/questions/1659760/when-are-groups-subgroups-of-a-same-group but it got no answer, so I post it here. Let $\mathcal{G}$ be a ...
13
votes
2answers
677 views

Torsion-freeness of two groups with 2 generators and 3 relators and Kaplansky Zero Divisor Conjecture

Let $G_1$ and $G_2$ be the groups with the following presentations: $$G_1=\langle a,b \;|\; (ab)^2=a^{-1}ba^{-1}, (a^{-1}ba^{-1})^2=b^{-2}a, (ba^{-1})^2=a^{-2}b^2 \rangle,$$ $$G_2=\langle a,b \;|\; ...
1
vote
0answers
134 views

the braid groups on the sphere

The braid group $B_n(S^2)$ on the sphere possesses a finite element of order which generates a cyclic group $M$ in $B_n(S^2)$. My question is this: What is the index of $H$ in $B_n (S^2)$? Same ...
2
votes
0answers
85 views

Dicks–Dunwoody almost stability theorem

In the book 'Groups acting on graphs' (1989), Dicks and Dunwoody prove the following theorem (paraphrased): Let $G$ be a group acting on a set $E$, let $E'$ be a subset of $E$ and let $V$ be the set ...
1
vote
1answer
105 views

Can the reversed lattice of a subgroups interval be represented?

Let $G$ be a finite group and $H$ a subgroup. The interval $[H,G]$ is the lattice of overgroups of $H$. It is an open problem to know if every finite lattice can be represented by such an interval (...
3
votes
0answers
62 views

Infinite finitely generated groups whose Frattini factors are Klein 4-group

Is there an infinite finitely generated group whose Frattini factor is isomorphic to Klein 4-group?
4
votes
1answer
316 views

Maximal set of non commuting elements in a conjugacy class of $S_8$

Can someone calculate by computer or prove the subset of maximal order of pairwise non commuting elements in the set of conjugacy class containing $(123)(45)$ in $S_8$? I mean a subset of conjugacy ...
-1
votes
1answer
122 views

Can someone explain how Sims's algorithm works on a permutation group with a simple example? [closed]

Can someone explain how Sims's algorithm works on a permutation group with a simple example? The book "Permutation group algorithms" by Seress is a pretty hard read with a whole bunch of confusing ...
2
votes
1answer
255 views

A presentation for $GL(2,\mathbb{Z}/p^n \mathbb{Z})$

In 'A presentation of $PGL(2,p)$ with three defining relations' by E.F.Robertson and P.D.Williams, we can find a presentation of $PGL(2,p)$: $\langle a,b | a^2 = b^p = (a b^2 a b^r)^2 = (abab^r)^3 = ...
0
votes
1answer
90 views

Uniform pro-p groups as a semi-direct product

Let $G$ a finitely generated uniform pro-$p$ group. Then $G/[G,G]$ is abelian and so it is of the form $\mathbb{Z}_p^r\times T$ for some integer $r$ and finite $p$-group $T$. Therefore, $[G,G]$ is ...
3
votes
3answers
674 views

Square of non-zero element in group algebra is always non-zero?

Consider a finite group $G$ and complex group algebra $\mathbb{C}(G)$, i.e. formal sums $$ \sum_{g \in G} a_gg, \ a_g \in \mathbb{C},$$ with algebra structure: $$ \sum_g a_gg+\sum_gb_gg=\sum_g(a_g+...
5
votes
1answer
240 views

Zero-sum sets in union-closed families

The Davenport constant $D(G)$ of a finite abelian group $G$ is the minimum integer $n$ such that whenever $a_1, \ldots, a_n \in G$ (not necessarily distinct), there is a non-empty $I \subseteq [n]$ ...
6
votes
1answer
129 views

boundary of semihyperbolic groups

There are various definitions of boundary of a hyperbolic group. Which of those generalize to semi-hyperbolic groups (in the sense of Alonso and Bridson)? The example I have in mind is a semisimple ...
6
votes
1answer
154 views

Class number of Burnside groups

Let $B(m,n)$ be the Burnside group on $m$ generators of exponent $n$. Suppose the class number - the number of conjugacy classes - of $B(m,n)$ is finite. Does it imply that $B(m,n)$ is finite?
1
vote
1answer
102 views

Centralizer of a central involution in a simple group of Lie type

Let $G$ be a finite simple group of Lie type and $x$ be a central involution (that is, an involution which is contained in the center of a Sylow $2$-subgroup). Is it true that, if $y$ is another ...
1
vote
1answer
128 views

When the reduced $C^*$-algebra of $\Gamma$ admits character then $\Gamma$ is amenable [closed]

Suppose that $C^*_r(\Gamma)$ admits some character (homomorphism into $\mathbb{C}$)-here $\Gamma$ is discrete group and $C^*_r(\Gamma)$ is the closure of the image of the group ring $\mathbb{C}\Gamma$ ...
1
vote
0answers
93 views

to what extent is a reductive group hyperbolic?

The group $SL(2,F)$ where $F$ is a local nonArchemidian field is hyperbolic. Various generalizations of the notion of hyperbolicity have been studied in the literature (I've seen terms like "...
6
votes
3answers
330 views

Asymptotics for the number of abelian groups of order at most $x.$

The number of abelian groups of order $n$ (call it $a(n)$ is a studied subject (see http://oeis.org/A000688), but I can't seem to find any asymptotic results. Obviously, there is no asymptotic for $a(...
0
votes
0answers
60 views

HNN extension group with finitely generated base

Let $B$ be a group and let $A_1$ and $A_2$ subgroups of $B$ with $\phi :A_1\rightarrow A_2$ an isomorphism. Let $\left<t\right>$ be the infinite cyclic group, generated by a new element $t$. The ...
2
votes
1answer
319 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
1answer
143 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?
13
votes
2answers
240 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 ...
0
votes
1answer
69 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|}$,...
2
votes
0answers
158 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.
2
votes
0answers
99 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
2answers
102 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. ...
9
votes
1answer
172 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
0answers
142 views

Braids with an infinite number of strings

Has anyone developed a theory for braids with an infinite number of strings?
1
vote
1answer
152 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 ...
-3
votes
1answer
137 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\}$) ...
6
votes
2answers
227 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
1answer
192 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
1answer
186 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 ...
5
votes
0answers
161 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
2answers
132 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$-...
17
votes
2answers
654 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/...
21
votes
4answers
925 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 ...
12
votes
1answer
152 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 ...
5
votes
2answers
222 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$ ...