For questions on solvable groups, their properties, and structure.

learn more… | top users | synonyms

35
votes
2answers
606 views

Is the Galois group associated to a random polynomial solvable with probability 0?

Choose a random polynomial $P\in\mathbb{Z}[x]$ of degree $n$ and coefficients $\leq n$ and $\geq-n$. Let $r_1,\ldots,r_n$ be the roots of $P$ and consider $$G=\operatorname{Gal}(\mathbb{Q}(r_1,\...
5
votes
4answers
460 views

Is a polynomial equation of degree $\ge 5$ not solvable by any way?

By Galois Theory an arbitrary polynomial equation of degree $\ge 5$ is not solvable using radicals, unlike the polynomial equation of second degree which is solvable by radicals (because of the ...
14
votes
1answer
357 views

When is $G \ast H$ solvable?

In a proof that the lamplighter group $\mathbb{Z}_2 \wr \mathbb{Z}$ is not finitely presented, I showed that $\mathbb{Z}_2 \ast \mathbb{Z}$ is not solvable. More precisely, one can prove that the ...
2
votes
2answers
223 views

Solvable equivalent to nilpotency of first derived Lie algebra?

The Wikipedia "Solvable Lie Algebra" page lists the following property as a notion equivalent to solvability: $\mathfrak{g}$ is solvable iff the first derived algebra $[\mathfrak{g},\,\mathfrak{g}]$ ...
1
vote
2answers
174 views

Reconciling Different Definitions of Solvable Group

Looks like my class note defines solvable group differently from others: A finite group $G$ is called solvable if $H' \neq H$ for each subgroup $H$ of $G$ different from $\{1\}$, where $H'$ is ...
8
votes
1answer
873 views

Group of order $8p$ is solvable, for any prime $p$

Consider the following question: Show that a group $G$ of order $8p$ is solvable, for any prime $p$. I am kind of stuck, but here are my first attempts: I chose the series of subroups $G>H_8&...
2
votes
0answers
208 views

Class of $p$-supersolvable group is saturated formation.

I want to show that the class of $p$-supersolvable groups is a saturated formation. I only have the definition of $p$-supersolvable. What do I do? A group is $p$-supersolvable iff every chief factor ...
3
votes
1answer
127 views

$G$ solvable $\implies$ composition factors of $G$ are of prime order.

I'm trying to prove the equivalency of the following definitions for a finite group, $G$: (i) $G$ is solvable, i.e. there exists a chain of subgroups $1 = G_0 \trianglelefteq G_1 \trianglelefteq \...
0
votes
2answers
107 views

Finite Group soluble $\iff G^{(k)}=\{e\}$ for some $k$

I am trying to understand the proof of the following proposition: A finite group $G$ is soluble $\iff G^{(k)}=\{e\}$ for some $k$, where $G^{(0)}=G$, $G^{(i+1)}=[G^i G^i]$ is the derived series. ...
5
votes
1answer
1k views

Every minimal normal subgroup of a finite solvable group is elementary abelian

Show that every minimal normal subgroup of a finite solvable group is an elementary abelian $p$-group for some prime $p$. I'm stuck on this one, any idea is appreciated.
13
votes
4answers
714 views

If a finite group $G$ is solvable, is $[G,G]$ nilpotent?

If $G$ is a connected solvable Lie-group, then $[G,G]$ is nilpotent. The corresponding statement for Lie algebras follows from Lie's theorem, and it then follows from connected Lie groups by ...
8
votes
1answer
480 views

Finite groups with all maximal subgroups of prime power index are solvable?

It is well known that in finite solvable groups, any maximal subgroup has prime power index. Question: If $G$ is a finite group in which any maximal subgroup has prime power index, is $G$ ...
7
votes
3answers
134 views

How can I tell if $x^5 - (x^4 + x^3 + x^2 + x^1 + 1)$ is/is not part of the solvable group of polynomials?

I have developed an interest in generalisations of the fibonacci sequence, from tribonacci sequence up to what I'll coin the 'infinibonacci' sequence. I'm aware that these nth-bonacci sequences ...
6
votes
1answer
91 views

When does a formula for the roots of a polynomial exist?

My question is straightforward to pose: given a polynomial $f$ over a subfield of $\mathbb{C}$, are there conditions which guarantee the existence of a closed formula for the roots of $f$ in terms of ...
5
votes
1answer
197 views

sylow basis of finite solvable groups

Let ‎‎$G‎‎$‎ be a‎ ‎finite ‎solvable non-$p$-group ‎and ‎‎$‎‎A$ ‎be a ‎‎‎‎maximal ‎subgroup ‎of ‎‎$G‎‎$‎. ‎ Therefore ‎$A‎‎$ ‎is ‎of ‎primary ‎index ‎‎$p^{n}‎ $‎‎, that is ‎$|G : A|=p^{n}‎$ ‎‎where ‎$‎...
4
votes
1answer
105 views

Unique normal subgroups of every possible order

Can one characterize groups $G$ for which there is a unique normal subgroup of order $d$ for every divisor of the order of $G$? For example must they be solvable?
3
votes
2answers
116 views

A proof that BS(1,2) is not polycyclic

I am looking for examples of finitely generated solvable groups that are not polycyclic. In Wikipedia Baumslag-Solitar group $BS(1,2)$ is an example. But how to prove this fact?
7
votes
1answer
107 views

Is there any relation between Galois solvability and integrability of hamiltonian systems?

Galois theory provides a method and formalism to study solutions of polynomial equations and solvability. Dynamical Hamiltonian systems have a somewhat similar concept of integrability. Since many ...
3
votes
2answers
119 views

Why is a finite group, with a maximal subgroup which is abelian, soluble?

I've come across an exercise saying the following: If $G$ is a finite group which contains a maximal subgroup $M$ which is abelian, show that $G$ is solvable and that $G^{(3)}$ (the third term in the ...
3
votes
1answer
126 views

Example of $A \le G$ solvable, $B \lhd G$ solvable, but $AB$ is not solvable

We'll denote $A \lhd G$ for $A$ a normal subgroup of $G$; and $A \leq G$ to mean $A$ is a subgroup of $G$. I don't know if it's a tricky question. But it seems strange to me. The question asks for an ...
2
votes
1answer
83 views

What is set builder of $\langle H, K \rangle$?

I am looking left and right for a lemma to solve a problem on solvable group here, and I think I have found one under commutator group: For any two subgroups $H, K$ of $G$, the $[H, K]$ is a ...
2
votes
2answers
64 views

Why is the group of unit upper triangular matrices solvable?

Let $GL_n(k)$ be the n by n general linear group over $k$, $B_n(k)$ be the subgroup of $GL_n(k)$ consisting of all upper triangular matrices, and $U_n(k)$ be the subgroup of $B_n(k)$ whose diagonal ...
2
votes
2answers
127 views

Are polynomials over $\mathbb{R}$ solvable by radicals?

I know that if $f$ is a polynomial over a subfield $F$ of $\mathbb{C}$ and $f$ is solvable by radicals, then the Galois group of $f$ over $F$ is solvable. I've also seen many applications of this fact ...
1
vote
3answers
51 views

If $G$ is a group such that any two commutators commute, $G$ is solvable

I need to prove that if $G$ is a group such that any two commutators of elements of $G$ commute, then $G$ is solvable. This is the idea that I had: The subgroup of all commutators of $G$, $G^{\prime}$...
1
vote
1answer
128 views

Ideals of solvable lie algebra

Let us say that S is a Lie algebra of dimension $n$, which is also solvable. Is it true that S contains an ideal of each dimension $d$ for $0 \leq d \leq n$? If so, how? Thanks for all the help.
0
votes
2answers
107 views

Minimal non solvable group is simple

I suppose to prove in my homework that Every minimal non solvable group is simple. I can't find the way. Thank you.
0
votes
1answer
84 views

$G$ be a non-nilpotent and supersoluble and 2-maximal subgroup of G permutes with all 3-maximal subgroup of G

Let $G$ be a non-nilpotent and supersoluble finite group. $G=Q\ltimes P$, Where $P$ is a group of order $p^{2}$($p$ is prime), all maximal subgroups of $P$ are normal in $G$, $Q=\langle a\rangle$ is ...