Groups of order 51 and 39 (Sylow theorems).

  • Thread starter Thread starter vikkivi
  • Start date Start date
  • Tags Tags
    Groups
Click For Summary
SUMMARY

This discussion focuses on classifying groups of order 51 and 39 using Sylow theorems. For order 51, the only group identified is C51, while for order 39, the groups are Z3 x Z13 and Z13 x Z3, along with a semi-direct product defined by the presentation . The classification leverages the properties of non-Abelian groups and their Sylow subgroups, confirming that groups of these orders can be systematically identified based on their prime factors.

PREREQUISITES
  • Understanding of Sylow theorems
  • Knowledge of group theory, specifically non-Abelian groups
  • Familiarity with group presentations and semi-direct products
  • Basic concepts of prime factorization in group orders
NEXT STEPS
  • Study the application of Sylow theorems in group classification
  • Explore the properties of non-Abelian groups in detail
  • Learn about group presentations and their implications in group theory
  • Investigate examples of semi-direct products in various group orders
USEFUL FOR

Mathematicians, particularly those specializing in abstract algebra, students studying group theory, and anyone interested in the classification of finite groups.

vikkivi
Messages
4
Reaction score
0

Homework Statement



a) Classify all groups of order 51.
b) Classify all groups of order 39.

Homework Equations


Sylow theorems.

The Attempt at a Solution



a) C51
b) Z3 X Z13
and Z13 x Z3, the semi-direct product with presentation <a,b|a13=b3=1, ab=a3 >

Are these all of the groups? Am I missing any? Do you think these are sufficient answers?
Thank you!
 
Physics news on Phys.org
Yes, I understand that 51 is not a prime, but 51 is a multiple of 3 and 17.

So, I'm using this theorem:

Theorem 1. Suppose G is a non-Abelian group whose order is divisible by at least two
distinct primes and all of whose proper subgroups have prime-power order. Then
(i) absolutevalue[G] = p" q where p and q are primes;
(ii) the Sylow p-subgroup of G is the unique nontrivial proper normal subgroup of G and
is elementary Abelian;
(iii) absolutevalue[G'] = p";
(iv) absolutevalue[Z(G)] = 1;
(v) G has p" Sylow q-subgroups and when n > 1, q divides (p" - t)/(p - 1).

I know that groups of order 3 are the C3.
Groups of order 17 are C17.
So, I think that 51 must be C51.
Any help would be appreciated!
 
Last edited:
i'm telling tyler
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
2K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
Replies
7
Views
3K
Replies
12
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
6K
  • · Replies 1 ·
Replies
1
Views
4K