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

learn more… | top users | synonyms

32
votes
1answer
580 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 ...
5
votes
4answers
436 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
355 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
209 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
173 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
825 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 ...
3
votes
2answers
114 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?
2
votes
0answers
200 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
122 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
0answers
79 views

Solvable group with ACC and DCC must be finite

Could some one please send me along a right path? I am unsure how to fit the "solvability" condition in this: If a solvable group's poset of subgroups satisfies both the ascending and descending ...
0
votes
2answers
104 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
702 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
473 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
90 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
192 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
0answers
231 views

Maximal subgroups of direct product of solvable groups

Let $G_1$ and $G_2$ be finite solvable groups and $M$ be a maximal subgroup of $G=G_1\times G_2$ show that one of the following holds: $$ G_1\times\{e\}\leq M,\ \{e\}\times G_2\leq M,\ M \unlhd G.$$ ...
7
votes
1answer
104 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
122 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
82 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
124 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$, ...
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
105 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 ...