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

learn more… | top users | synonyms

0
votes
0answers
20 views

Let $ K/L $ be a chief factor of $ G $ and $ M $ be the smallest normal subgroup of $ K $ such that $ K/M $ is nilpotent

Let $ G $ is soluble group with $ \Phi(G) = 1 $ and assume that each minimal normal subgroup has prime order or order $ 4 $. Let $ K/L $ be a chief factor of $ G $ and $ M $ be the smallest normal ...
1
vote
1answer
58 views

Assume that $ G = MC $, for some cyclic subgroup $ C $. Is $ M \cap C $ a normal subgroup of $ G $?

Let $ G $ is a solvable finite group and $ M $ be a maximal subgroup of $ G $, and assume that $ G = MC $, for some cyclic subgroup $ C $. If $ M_{G} = 1 $ that $ M_{G} $ is core of $ M $ in $ G $, ...
0
votes
1answer
28 views

existence of a subgroup of a solvable group G of order d for any divisor d of |G|, with d<|G|^(1/2)

Let $G$ be a solvable group of order $n$ and $d<\sqrt{n}$ be any divisor of $n$. Is there any subgroup of $G$ of order $d$?
1
vote
0answers
28 views

$Z(\mathcal{L}^{(n)}) \subset Z(\mathcal{L})$ for solvable Lie algebras?

$X$ Banach space. $\mathcal{L} \in B(X) $ is solvable Lie Algebra. Then for some n, $\mathcal{L} \supset \mathcal{L}^{(1)}=[\mathcal{L},\mathcal{L}] \supset ...
1
vote
2answers
65 views

Quotients of Solvable Groups are Solvable

I just proved that subgroups of solvable groups are solvable. So given that $G$ is solvable there is $1=G_0 \unrhd G_1 \unrhd \cdots \unrhd G_s=G$ where $G_{i+1}/G_i$ is abelian and for $N$ a normal ...
0
votes
1answer
72 views

Solvability of transitive group

Let $G$ be a transitive subgroup of $S_p$ where $p$ is an odd prime number. Now consider the following assumptions - $(i)$ $G$ is solvable. $(ii)$ If $\sigma \in G$ and there exist $h\ne j$ such ...
-1
votes
1answer
43 views

Soluble(solvable) and nilpotent groups

Defn 1.1. Let $\gamma _{0}(G)=G$, and $\gamma _{c}(G)=[\gamma _{c-1}(G),G]$ for $c\geq 1$. The lower central series of $G$ is a chain of subgroups of $G$: $$G=\gamma_0(G) \geq \gamma_1(G) \geq \cdots ...
2
votes
2answers
143 views

subtracting inequalities if difference is positive

$$ x \geq y $$ $$ a \geq b $$ $$x+a \geq y+b $$ is valid but $$ x-a \geq y-b $$ is not valid Can we say the latter is valid if $x-a \geq 0$ ? Is it a proof or am I wrong? Are there counter ...
0
votes
1answer
23 views

Derived length of direct product of 2 soluble groups

I'm struggling with an assignment question on the topic of soluble groups. The question is to prove that if $G = H \times K$ is a soluble group, and $H$ and $K$ have derived lengths $n$ and $m$ ...
0
votes
2answers
49 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
33 views

Show that if $A, B$ are groups, then $A \times B$ is solvable if and only if both $A$ and $B$ are solvable? [closed]

Show that if $A, B$ are groups, then $A \times B$ is solvable if and only if both $A$ and $B$ are solvable? Why is obvious that if $A$ and $B$ are solvable then $A \times B$ is solvable?
0
votes
1answer
47 views

Consequences of $G$ having exactly $3$ irreducible characters

Suppose a finite group $G$ has exactly irreducible characters $\chi_1 = \mathbb{I}, \chi_2,\chi_3$. i) Show that G is soluble and deduce it has a non-trivial one-dimensional character $\chi_2$. ii) ...
0
votes
1answer
39 views

Carter Subgroups and Projectors

R. Carter prooved that in finite soluble groups $G$ Carter subgroups $C$ exist and that they are conjugated. Furthermore they are exactly the nilpotent projectors: For every normal subgroup $N$ of $G$ ...
0
votes
2answers
89 views

group of order 135 solvable?

I need to prove that a group G of order 135 is solvable. $|G| = 135 = 5\cdot 3^3$ i found that the Sylow-subgroups are unique, so they are both normal. Let H be the Sylow-5-subgroup and F be the ...
0
votes
0answers
38 views

Locally graded groups

I have to prove that a solvable group is locally graded and I have thought to proceed by induction on the derived length of G. However, I can not prove the inductive basis. If der(G) = 1, G is ...
7
votes
3answers
103 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 ...
1
vote
1answer
67 views

Solvable groups

I am practicing the concepts of solvable groups. I need help making sure my proof is correct and understanding an example from my lecture notes. Show that every group of order $500$ is solvable. ...
4
votes
2answers
81 views

Subgroups of smallest possible index in a solvable group

The following question appears in Isaacs' Finite Group Theory: 3B.15) (Berkovich) Let $G$ be solvable, and let $H<G$ be a proper subgroup having the smallest possible index in $G$. Show that ...
1
vote
1answer
79 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.
3
votes
3answers
72 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 ...
1
vote
1answer
62 views

Prove $G$ is cyclic if for every $n\in \Bbb{N}$, there are at most $n$ solutions to the equation $x^n=e$. [duplicate]

Let $G$ be a finite group. Prove G is cyclic if for every $n\in \Bbb{N}$, there are at most $n$ solutions to the equation $x^n=e$. I am stuck with this :( Would appreciate your help.
2
votes
1answer
77 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 ...
1
vote
2answers
145 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 ...
4
votes
1answer
64 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 ...
0
votes
0answers
24 views

$S/R_u(S)$ for solvable groups

Consider a solvable linear algebraic group $S$ over a field $F$ with $char(F)=0$. Let $R_u(S)$ be the unipotent radical of $S$. If $S$ were connected, then $S/R_u(S)$ would be a torus. In ...
6
votes
1answer
79 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 ...
2
votes
2answers
96 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
1answer
54 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 ...
3
votes
1answer
24 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? ...
0
votes
0answers
25 views

Is this a valid way to extend the proof of the insolubility of the quintic?

I'm just musing here, this is only (barely even) a half-formed idea, but I'm just wondering if it's at all a valid train of thought. The proof I read of the insolubility of the quintic polynomial ...
1
vote
1answer
55 views

Minimal non-countable Groups

I was thinking the following thing: Is there an uncountable group whose all proper subgroups are countable which is also for instance locally soluble? I've found some example of minimal ...
0
votes
2answers
39 views

Intersection of composition factors

For $G=HK$, and $K= K_1\cap K_2$, both normal in $G$, if $G/K_1$ and $G/K_2$ are solvable, show that $G/K$ is solvable. By the Third Isomorphism Theorem, $$\frac{G/K}{K_i/K}\cong \frac{G}{K_i}$$ ...
1
vote
0answers
30 views

Generating a group by its $q$-elements.

Let $G=PQ$ be a solvable group where $P$ and $Q$ are $p$-subgroup and $q$-subgroup of $G$ respectively. Also suppose that $Q$ is not normal in $G$. Is it true that the group generated by all ...
1
vote
0answers
40 views

If all sylow subgroups are cyclic, prove that G is solvable

I came across a statement which I am unable to prove by myself that if $G$ is a finite group then if all its sylow subgroups are cyclic, prove that G is solvable. If it has been asked before please ...
0
votes
1answer
53 views

Nilpotent torsion-free Groups with a fixed Soluble length

Let $s$ be a natural number. Is it possible to find, for each $n$ natural number greater than some arbitrary constant, a torsion-free group whose nilpotency class is $n$ and soluble length is $s$?
0
votes
2answers
22 views

Isomorphism type of two quotient groups of $G=\mathbb{Z}^\times_{16}$

I'm supposed to determine the isomorphism type of $G/\langle 15\rangle $ and $G/\langle 9 \rangle$. I've determined the order of both subgroups ($\langle 15\rangle$ and $\langle 9\rangle$), and it is ...
1
vote
0answers
41 views

Solvability by radicals of Polynomials defined by a recurrence relation

I want to determine the smallest integer $m$ such that the polynomial $P_{n}(x)$, $n\geq m$, given by : $$\left \lbrace \begin{array}{l} P_{n+1}(x) = P_n(x) (x-n-1) + \prod\limits_{i = 0}^n x-i\\ ...
1
vote
0answers
50 views

Lucido's three prime lemma

I am looking for proof of this statement I encountered in a paper. $\textbf{(Lucido’s Three Primes Lemma)}$- Let $G$ be a finite solvable group. If $p, q, r $ are distinct primes dividing |$G$|, ...
0
votes
0answers
106 views

finite solvable group with a certain property

Let $G$ be a finite solvable group and for each proper normal subgroup $N$ of $G$, $\frac{G}{G^{\prime}N}\cong \Bbb{Z}_p\times\Bbb{Z}_p$ or $\Bbb{Z}_{p^n}$, where $n\geq 1$, $p$ is a prime number ...
2
votes
1answer
69 views

Clarification on proof that all groups of order $< 60$ are solvable

I've manged to prove that all groups of order $< 60$ are solvable, using Burnside's theorem. However, I found an alternate proof here Question about solvable groups It states that: "Note that ...
1
vote
1answer
115 views

Hall's Subgroup Theorem

I am currently looking into the extension of Sylow's theorems, namely through Hall-$\pi$-subgroups and Hall's Theorem. I currently have the theorem as; Let $G$ be a finite solvable group a $\pi$ be ...
1
vote
0answers
63 views

Supersolvable groups of order $pq^m$

According to Burnside's classification in his book "Theory of groups of finite order", one of the types of non-abelian groups of order $pq^2$ ($p$ and $q$ are distinct primes), has the presentation ...
0
votes
0answers
31 views

Lie algebra: If ad(g) is solvable then g solvable?

I'm trying to prove that if the image of the adjoint representation of a Lie algebra g is solvable then g is solvable, ie, if for some n (ad(g))^(n) = 0 then there exists a m such that g^(m) = 0 My ...
1
vote
1answer
230 views

Solvable implies quotient group is solvable: Proof check.

I'd like to check the veracity of my proof. I've seen several proofs using different methods (some I'm allowed to use with lots of element-pushing and others using ideas I'm not allowed), but none ...
4
votes
1answer
80 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
1answer
81 views

Characterization of solvable groups in terms of subgroups of certain orders?

In this question, the OP mentions the following result: a finite group $G$ is solvable if and only if $$\text{for all $n$ dividing $|G|$ such that $\gcd(\frac{|G|}{n},n)=1$, $G$ has a subroup order ...
8
votes
1answer
82 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 ...
3
votes
0answers
41 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 ...
4
votes
0answers
86 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 ...
6
votes
1answer
81 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 ...