Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [solvable-groups]

A solvable group is a group whose derived series terminates in the trivial subgroup.

3
votes
1answer
78 views

Commutator length in connected solvable Lie groups

Let $G$ be a connected solvable Lie group and let $H$ denote ist commutator subgroup. By definition, every element $g \in H$ can be written as a product of commutators and the minimal number of ...
5
votes
3answers
281 views

Solvable Lie algebra application

I am starting to study Lie algebras and when I reached the notion of solvable Lie algebra, I tryed to find concrete applications ( in physics for exemple) and I couldn't find one. For exemple, ...
3
votes
1answer
99 views

Bounding the derived length of a solvable group given the degrees of the irreducible monomial characters

Much is known about the derived length of a solvable group given the degrees and cardinality of the set of degrees of the irreducible characters. Martin Isaacs and Donald Passman pretty much started ...
1
vote
0answers
31 views

Irreducible characters of a semi-direct product with a p-group

Suppose G is a semi-direct product of P with H where P is a (non-abelian) p-group and G is solvable. I wonder what can be said about the irreducible characters of G given information about the ...
3
votes
1answer
126 views

Conditions for a solvable group to have a non-trivial center

I am working on a problem in character theory where I try to bound the derived length of a solvable group using information about its characters. In my specific case, it will be extremely helpful for ...
11
votes
1answer
384 views

Are all sneaky groups products of Frobenius and 2-Frobenius groups?

I've been stuck thinking about this for a while. Def. Let $G$ be a finite solvable group whose order is divisible by only three primes: $p,q,$ and $r$. Suppose that $G$ has cyclic subgroups of ...
1
vote
1answer
187 views

Portability of Thompson theorem about solvability to Moufang loops

Say we have a finite Moufang Loop $Q$, $|Q|<\infty$. There is a theorem proved by Thompson that states: Group $G$, $|G|<\infty$ is solvable $\iff$ $\forall a, b \in G \langle a, b\rangle$ is ...
5
votes
2answers
318 views

Does the group G(K) have a cocompact solvable closed subgroup?

Let $K$ be a (locally compact) local field and $G$ be a linear algebraic $K$-group. Does the topological group $G(K)$ have a cocompact solvable closed subgroup? If $\mathrm{char}(K)=0$, it is true ...
9
votes
1answer
704 views

An extension of the converse to Hall's theorem.

This is an extension of this MSE question, in which I asked whether there was a counterexample to the following statement, Conjecture. If a finite group $G$ contains a $\lbrace p,q \rbrace$-Hall ...
2
votes
4answers
601 views

Lucido's three prime lemma

Let G be a finite solvable group. If p,q,r are distinct primes dividing |G|, then G contains an element of order the product of two of these three primes. This is lucido's three prime lemma. I ...
3
votes
0answers
138 views

Is there any probabilistic characterization for generalized solvable groups?

References: This question is inspired by a conjecture of Alon Amit that is solved by Miklós Abért, Nikolay Nikolov and Dan Segal in the following papers: (1) On the probability of satisfying a ...
-7
votes
1answer
809 views

Gauss-Wantzel theorem, Fermat primes and solvability of S_n [closed]

Gauss-Wantzel theorem asserts that a polygon with $n$ sides is constructible if and only if $n$ is a product of a power of $2$ and distinct prime Fermat numbers, where the Fermat number of index $k$ ...
19
votes
2answers
703 views

Is there a big solvable subgroup in every finite group?

Definition: Let $G$ be a group, and let $H \leq G$ be a subgroup. We say that $H$ is big in $G$ if for every intermediate subgroup $H \leq L \leq G$ there exists some $x \in L$ such that $\langle H \...
5
votes
1answer
201 views

Finite solvable groups are generated by a nilpotent subgroup + K elements?

Is there a constant $K \in \mathbb{N}$ such that for every finite solvable group $G$, there exists a nilpotent subgroup $N \leq G$, and a subset $S \subseteq G$ with $|S| \leq K$, and $\langle N,S\...
3
votes
1answer
155 views

Schreier's formula and supersolvable groups

A finitely generated profinite group $G$ is said to satisfy Schreier's formula if for every open subgroup $L \leq_o G$ we have $d(L) = (d(G)-1)[G:L] + 1$. Here $d$ stands for the smallest cardinality ...
4
votes
1answer
265 views

Generators of Sylow subgroups

Is there a function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that for each finite supersolvable group $G$, and a Sylow subgroup $S \leq G$ we have $d(S) \leq f(d(G))$? Here $d(H)$ denotes the ...
2
votes
2answers
234 views

Number of generators of the commutator

Can one find a function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that for every finite supersolvable group $G$ we have: $d(G') \leq f(d(G))$? Here $d(K)$ is the cardinality of a minimal set of ...
4
votes
0answers
330 views

On the peculiar Lagrange resolvent of the septic $7x^7+14x^4+7x^3-1=0$

Given an irreducible solvable equation $P(x)=0$ of prime degree $p>2$ with rational coefficients and $\zeta^p=1$, define the usual Lagrange resolvents of the roots $x_i$ as, $$R_n = \big(x_1+x_2\...
4
votes
4answers
979 views

The Icosahedron Equation

$$1728 V^5 + F^3 = E^2 \;.$$ Can anyone point me to a concise, modern derivation and explanation of the significance of the icosahedron equation, more modern and concise than Klein's description in ...
3
votes
4answers
301 views

Can group solvability be detected from identities among the generators?

For $n=1$ the answer is "yes." -- A group is abelian iff its generators commute. Let $G_0=G$ be a group and let it be generated by $X_0=X$. For each $n>0$ let $G_n=[G_{n-1},G_{n-1}]$ and let $X_n=...
1
vote
2answers
638 views

Decomposition of solvable Lie group

Suppose $G$ is a connected Lie group whose radical is $R$. It is known that the solvable group $R$ can always be decomposed as $R=UT$ where $U$ is a simply-connected normal subgroup of $R$ and $T$ is ...
3
votes
3answers
310 views

When is a three-manifold deck transformation group solvable?

Suppose that $\pi:Y \to Y'$ is a regular covering of closed, connected, orientable three-manifolds and let $G$ be the deck transformation group. Furthermore, suppose that $Y$ is a rational homology ...
11
votes
5answers
1k views

Polynomials all of whose roots are rational

I have two questions about the class of integer-coefficient polynomials all of whose roots are rational. I asked this at MSE, but it attracted little interest (perhaps because it is not interesting!) ...
3
votes
1answer
421 views

Generalization of a Result on Solvable Groups

This question concerns finite groups. It is a well-known fact that every subgroup of a solvable group must again be solvable; this is easily proven by looking at the derived series of a given ...
5
votes
2answers
772 views

Lattices in SOL

Consider a semi-direct product $\mathbb{Z}^2\rtimes_A\mathbb{Z}$, where $A\in SL_2(\mathbb{Z})$ and $|Tr(A)|>2$. It is clear that it is isomorphic to a lattice in the 3-dimensional solvable Lie ...
4
votes
2answers
392 views

Is there any way to check whether a group is residually solvable?

For a given group presentation of a group(finitely presented), I want to check whether it is residually solvable or not. Is there any good way to do it? Actually, I'm curious whether the finitely ...
4
votes
2answers
846 views

Are all connected solvable affine algebraic groups supersolvable?

The basic question is whether there is a notion of chief factor of a connected solvable algebraic group that matches my intuition. A few smaller assertions are sprinkled through the explanation, and ...