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

learn more… | top users | synonyms

30
votes
1answer
432 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 ...
13
votes
2answers
259 views

What can be said about two groups with isomorphic derived factors?

The third isomorphism theorem states that we can relate an isomorphic relation between two normal subgroups of a group $G$. My question is can we infer anything about the two groups structures itself ...
13
votes
1answer
316 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 ...
12
votes
4answers
510 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
2answers
219 views

Free groups in some classes?

I understand that the only free groups that are abelian are 1 and Z, hence a difference between 'free abelian groups' and 'abelian free groups'. Can someone please tell me what are the solvable free ...
8
votes
1answer
70 views

Solvable groups and orders of elements

I am trying to prove the following result. Let $G$ be a group containing elements $x$ and $y$ such that the orders of $x$, $y$, and $xy$ are pairwise relatively prime; prove that $G$ is not ...
7
votes
4answers
549 views

Understanding non-solvable algebraic numbers

Background We know from Galois theory that the zeros of a polynomial with rational coefficients whose Galois group is solvable can be expressed in a formula that involves rational powers of the ...
7
votes
1answer
273 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
2answers
233 views

Solvability by radicals of an equation of prime degree

For which prime $p$ the equation $x^p-p^px+p=0$ is solvable by radicals? I don't know how to solve this for primes $p\neq 2$, so any help is welcome.
7
votes
0answers
63 views

Cover and avoidance properties of chief factors: can we avoid exactly the ones we want?

If $G$ is a finite solvable group with chief series $1 = G_0 \leq \ldots \leq G_n = G$ (so each $G_i \unlhd G$ and if $G_{i-1} < H < G_i$ then $H$ is not normal in $G$) and $I \subseteq \{ ...
6
votes
3answers
341 views

Show that a group of order $p^2q^2$ is solvable

I am trying to prove that a group of order $p^2q^2$ where $p$ and $q$ are primes is solvable, without using Burnside's theorem. Here's what I have for the moment: If $p = q$, then $G$ is a $p$-group ...
6
votes
1answer
70 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 ...
6
votes
1answer
95 views

If $G$ is solvable and $G/[G,G]$ is cyclic, can $G\times G$ be generated by 2 elements?

I doubt this is true, but I haven't found any small counterexamples (there are no counterexamples with $|G| < 1536, |G| \neq 768$): Suppose $G$ is finite, solvable, 2-generated, and $G/[G,G]$ ...
6
votes
0answers
62 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 ...
5
votes
2answers
256 views

Is $(\mathbb{Z},+)$ a solvable group?

Ok, so abelian groups are solvable. And Thm II.8.5 of Hungerford says A group is solvable iff it has a solvable series. (The group may be finite or infinite.) However, I can't seem to find a ...
5
votes
2answers
334 views

Why is a group of order 135 nilpotent?

Why does order 135 imply nilpotent?
5
votes
1answer
513 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 ...
4
votes
1answer
522 views

How to prove that a group of order $72=2^3\cdot 3^2$ is solvable?

Let $G$ be a group of order $$72=2^3\cdot 3^2$$ Without using Burnside's Theorem, how to show that $G$ is solvable? Atempt: If we can show that $G$ has at least one non-trivial normal subgroup $N$, ...
4
votes
1answer
72 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?
4
votes
1answer
223 views

Solvable and nilpotent groups, normal series and intuition

I'm reading Hungerford's algebra and I'm on Nilpotent and solvable groups chapter. Hungerford starts with: Consider the following conditions on a finite group G: i) G is the direct product ...
4
votes
1answer
123 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
53 views

A Galois Extension over a field of characteristic p

Hi! I've been having a bit of trouble with this question, namely the very last part. It's from a past paper for a Galois Theory course, in which I have an exam on Monday. Basically, I can show every ...
4
votes
1answer
94 views

Is there a simple construction of a finite solvable group with a given derived length?

Given some integer $n$, is there an easy way to construct a finite solvable group of derived length $n$? It would seem that given a solvable group of length $n-1$, one should be able to form the ...
4
votes
1answer
82 views

Groups of order $p^aq^br^c$ containing elements of order $pq$, $qr$, and $pr$, but not $pqr$

Let $G$ be a solvable group of order $p^aq^br^c$ (for distinct prime $p,q,r$) containing elements of orders $pq$, $qr$, and $pr$, but no element of order $pqr$. Furthermore, assume that $G$ is ...
4
votes
1answer
184 views

If $N$ and $G/N$ are virtually solvable, then $G$ is virtually solvable?

("Virtually solvable" means there's a solvable subgroup of finite index.) I know this statement holds if "virtually solvable" is replaced by "solvable", but I want to knock it down to the ...
4
votes
1answer
58 views

Is “being solvable” a geometric property for linear algebraic groups?

Say $G$ is a solvable linear algebraic group over some field $k$ of characteristic 0. This means that its derived series eventually terminates with a 1. My question is: Is "being solvable" a ...
4
votes
0answers
70 views

Does there exist an infinite solvable group with no normal abelian subgroups?

This is impossible if $G$ is finite and solvable, because then $G$ has a (nontrivial) minimal normal subgroup $A$, which can be shown (using a trick) to be abelian. I'm trying to mimic the same ...
4
votes
1answer
59 views

solvable subalgebra

I want to show that a set $B\subset L$ is a maximal solvable subalgebra. With $L = \mathscr{o}(8,F)$, $F$ and algebraically closed field, and $\operatorname{char}(F)=0$ and $$B= ...
3
votes
4answers
196 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 ...
3
votes
2answers
86 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
3answers
69 views

Existence a certain subgroup of a group

‎Let ‎‎$G$ ‎be a‎ ‎finite group ‎such ‎that ‎‎$G=P\rtimes Q‎‎‎‎$ ‎where ‎‎$P\in {\rm Syl}_p(G)‎‎$;‎ ‎‎$‎‎P\cong \Bbb{Z}_p\times \Bbb{Z}_p‎$ ‎‎‎‎ and ‎$Q\in {\rm Syl}_q(G)$; ‎$‎‎|Q|=q$ (‎$‎‎p, q$ ‎are ...
3
votes
1answer
165 views

Solvable by radicals or not?

Let $f=2x^5-5x^4+5\in \Bbb Q[x]$. Then, how to prove that it's not solvable by radicals? Since $f$ is solvable by radicals iff $Gal(f)$ is solvable and $Gal(f)\subset S_5$ (up to isomorphism), I ...
3
votes
3answers
115 views

A well-known theorem of O. Schmidt

Prove that if all the proper subgroups of a finite group $G$ are nilpotent, then $G$ is soluble. How to I prove it? Thanks in advance.
3
votes
2answers
274 views

Index of maximal subgroups of $p$-solvable groups

If $G$ is finite $p$-solvable group (every chief factor has order either a power $p$ or relatively prime to $p$) must every maximal subgroup have index either a power of $p$ or relatively prime to ...
3
votes
1answer
54 views

Clarification of Abel-Ruffini theorem statement

From what I've studied, Abel-Ruffini theorem states that we can't find all the roots of some polynomials with degree above 5, using only radicals and arithmetic operations. How does it imply that we ...
3
votes
1answer
86 views

Does the class of soluble groups whose $p$-length is $\leq 1$ for all $p$ form a saturated Fitting formation?

Let $\mathcal{F}$ be the class of all soluble groups $G$ such that the $p$-length $l_{p}(G) \leq 1$ for all primes $p$. How do I show ‎$\mathcal{F}$ is a saturated Fitting formation?
3
votes
1answer
22 views

show a group with prime order product is solvable

Is a group with order $16*17$ solvable? I know that from Burnside this is solvable since 2 and 17 are prime and 4 is greater than 0. However, I am not allowed to use it, so what should I do? ...
3
votes
1answer
74 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 ...
3
votes
1answer
60 views

Is meta-$p$-nilpotent for all $p$ the same as meta-nilpotent?

I've been working on understanding solvable groups one prime at a time, and it has been very helpful. Perhaps this question is enjoyable to more than just me: Definition: A finite group is said to be ...
3
votes
1answer
84 views

Index of maximal proper subgroup of a solvable group

This is problem 2.7.15 from Hungerford's Algebra: If $H$ is a maximal proper subgroup of a finite solvable group $G$, then $[G:H]$ is a prime power. If $G$ is abelian, then it's easy to show ...
3
votes
0answers
38 views

Determining if a given equation is solvable given a set of ultra-radicals

So suppose someone is armed with the tools of standard arithmetic, exponents (and of course that comes along with roots) AS WELL AS a set of inverses for some polynomials which are not solvable using ...
2
votes
2answers
72 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 ...
2
votes
2answers
83 views

Finite extensions of nilpotent groups

Let $G$ be a torsion free, nilpotent group and let $H$ be a normal subgroup of $G$ such that $G/H$ is a finite cyclic factor group. It is true that if $H$ is nilpotent of class $c$ then also $G$ ...
2
votes
3answers
177 views

Is this group solvable?

Let $G=H\times K$ (a direct product of $H , K$) where $H$ is an abelian 2-group and $K$ is a non-abelian simple group. Is $G$ solvable? why? These three answers are true, and I thought so. But in a ...
2
votes
1answer
44 views

Finding a particular chief series for a supersolvable group

Let $G$ be a finite supersolvable group. Since it is supersolvable it has (by definition) some normal series $1=N_0 \le N_1 \le \cdots \le N_n=G$ such that each factor $N_i/N_{i+1}$ is cyclic. Also ...
2
votes
1answer
568 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.
2
votes
2answers
28 views

Some solvable Lie algebra but not nilpotent

Can someone provide two concrete examples the Lie algebra which is solvable, but not nilpotent? -- And further explain the subtle differences between the solvable Lie algebra and the ...
2
votes
1answer
137 views

Show that the minimal polynomial of every element in $K=\mathbb{Q}(\zeta)$ is solvable by radicals, where $\zeta$ is a primitive 9th root of unity.

I have found the minimal polynomial if $\zeta$ over $\mathbb{Q}$ is $x^{6}+x^{3}+1$. $\mathbb{Q}(\zeta)\colon\mathbb{Q}$ is a normal and separable extension so ...
2
votes
1answer
126 views

Infinite group with no maximal normal solvable subgroup

If $G$ is a finite group, then it has a maximal solvable normal subgroup. I think that this fails for infinite groups, but I don't know an example. Can you name one?
2
votes
1answer
23 views

Understanding the definition of solvable by radicals.

I am currently studying the third edition of Ian Stewart's book "Galois Theory". In the book, solvability of a polynomial by radicals is defined as follows: Let $f$ be a polynomial over a subfield ...