What is the smallest non-solvable group and how can it be proven?

  • Thread starter Savaros
  • Start date
  • Tags
    Group
In summary, the conversation discusses the preparation of a referate on induction proof for the group order of non-solvable groups. The individual is seeking help in finding a starting case for the induction, possibly a dihedral group. They also need to prove that G=G' (the commutator group) and ({y}, G)=G for any y from G. The conversation also delves into the definition of commutators, commutator subgroups, and solvable groups. It is mentioned that the group with one element is solvable, but it is not suitable for the proof. The individual also shares their findings on solvable groups of order less than 60, and asks for help in proving the existence of a non
  • #1
Savaros
3
0
hello,

as part of a referate i prepare, i have to do an induction proof about the group order of non solvable groups.
however the publication i have to present proceeds this proof without giving a starting case and neither did i easily find one in my litarature.
maybe this is a very trivial question, but I am not that familiar with this and for me it isnt.
so could anyone help me finding a start for my induction? maybe a dyhedral group?
in addition i need to show that for this Group that G = G'(where G' is the Commutatorgroup) and also ({y}, G) = G for any y from G(in my paper this is called commutator simple, but i got no clue, if this is a common definition), the group should also not be too huge ;)
any help would be appreciated.
 
Physics news on Phys.org
  • #2
What do you mean by 'non-solvable'?

I expect that the group with one element meets all of the requirements that you listed, but is not suitable for your proof?
 
  • #3
ok. here some explanations.
first of all i need to define what a commutator is.

lets define [a, b] as a*b*a^-1*b^-1. let us call this the commutator from a and b.

similary for 2sets A, B we call [A, B] = {a*b*a^-1*b^-1 | a from A, b from B} the commutator from A and B.

so for a group G we can determine [G, G]. note that this isn't a group again in general.

now we define G' = K(G) as the smallest subgroup from G which contains [G, G]. and call it the commutator subrgoup.

for easier understanding one should also notice that for elements from the centre of G(which contains all the commutative elements...there for each element a from the centre a*b=b*a is true for all b from G) the commutator is always the idendity.

therefore the commutator subgroup is a measurment of how "abelian" a group is(for a abelian group its just the id.

Now we define K(2)(G) as K(K(G)) and K(n)(G) as K(K(n-1)(G)).

since our group is of finite size we can now obviously derrive a series:
G > K(G) > ... > K(n-1)(G) = K(n)(G).
it should be easy to observe that (if at all) the size of commutator subgroup differs from the one of its origin it can only be smaller and on the other hand the id is always a member of the commutator subgroup.

now we call a group G solvable group, if this series terminates in K(n)(G) = {id}.and ofcourse we call groups which don't satisfy this non-solvable groups. this series always terminates in maximum the group order steps.

as an example that solvable groups arent identically to the abelian Groups you can look at S4.
K(S4) = A4
K(A4) = V4
K(V4) = {id}
therefore S4 is non-abelian, but
solvable.

now since obviously all abelian groups are solvable, since K(G) = {id}, if G is abelian.

the group consisting only of one element is ofcourse solvable too. all Symmetric groups for n>=5 are non-solvable, but the order of S5 is allrdy 120.
now since we have K(Sn) = An, An ofcourse is not solvable either, but still has order 60.
the question is, if this one is allrdy the smallest.
im actually hoping for another one, since i also need to prove that K(G) = [{y}, G] for each y from G. hereby [{y}, G] describes the smallest subgroup containing [{y}, G] ofcourse or look for another way to prove my base case. in anyway i need the smallest non-solvable group first ;)

P.S. i hope its understandable, obviously english isn't my native language ;)
 
Last edited:
  • #4
The term "solvable" is from Galois theory: a polynomial equation is "solvable by radicals" if and only if its Galois group is a solvable group.

Since, for any positive integer n, there is an nth order polynomial equation such that its Galois group is Sn. Since Sn is NOT solvable for n>4, polynomials of degree 5 or greater are not all solvable by radicals (and so there can be no formula for their solution).

S5 which has order 5!= 120 is NOT solvable- that's about the best I can do!
 
  • #5
most likely A5 is the smallest non-solvable group. its atleast non-solvable and K(A5)=A5 as well as commutator simple. it has order 60.
i can't prove its the smallest, but i couldn't find a smaller one.
for my referate though i found another solution and it went very well ;)
 
  • #7
here are some facts you might find useful

let p,q,r be distinct primes

every group of order p^a.q^b is solvable,
every group of order pqr is solvable

there is therefore no non-solvable group of order less than 60.

prove there is a non-solvable group of order 60. hint, it suffices to show there is a simple non-abelian group of this order, which can be done simply by examining conjugacy classes (easy) or by other methonds (harder)
 

What is the definition of the smallest non-solvable group?

The smallest non-solvable group is a finite group that cannot be broken down into simpler groups and is not solvable, meaning it cannot be solved using a series of subgroups.

How is the smallest non-solvable group determined?

The smallest non-solvable group is determined by examining all possible finite groups and finding the smallest one that cannot be solved.

What are the properties of the smallest non-solvable group?

The smallest non-solvable group is non-abelian, meaning its elements do not commute with each other, and it has a composition series with non-trivial factors.

Why is the smallest non-solvable group significant in mathematics?

The smallest non-solvable group is significant because it is the smallest example of a non-solvable group, making it a fundamental building block in the study of solvable and non-solvable groups.

What are some real-world applications of the smallest non-solvable group?

The smallest non-solvable group has applications in cryptography, coding theory, and other areas of computer science where finite groups are used to encrypt and secure data.

Similar threads

  • Linear and Abstract Algebra
Replies
3
Views
2K
  • Linear and Abstract Algebra
Replies
8
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
17
Views
4K
  • Linear and Abstract Algebra
Replies
4
Views
1K
  • Linear and Abstract Algebra
Replies
6
Views
1K
  • Linear and Abstract Algebra
Replies
2
Views
3K
  • Linear and Abstract Algebra
Replies
8
Views
2K
  • Linear and Abstract Algebra
Replies
7
Views
5K
  • Special and General Relativity
Replies
22
Views
2K
Back
Top