ΜΚΔ(φ(n),n)=1
Συντονιστής: nkatsipis
- grigkost
- Διαχειριστής
- Δημοσιεύσεις: 3053
- Εγγραφή: Πέμ Δεκ 18, 2008 12:54 pm
- Τοποθεσία: Ιωάννινα
- Επικοινωνία:
ΜΚΔ(φ(n),n)=1
Να εξετασθεί αν ισχύει η παρακάτω πρόταση:
αν και μόνο αν ο είναι πρώτος αριθμός, όπου η (αριθμητική) συνάρτηση του Euler.
αν και μόνο αν ο είναι πρώτος αριθμός, όπου η (αριθμητική) συνάρτηση του Euler.
-
- Επιμελητής
- Δημοσιεύσεις: 15763
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: ΜΚΔ(φ(n),n)=1
Δεν ισχύει: Για τον σύνθετο είναιgrigkost έγραψε:Να εξετασθεί αν ισχύει η παρακάτω πρόταση:
αν και μόνο αν ο είναι πρώτος αριθμός, όπου η (αριθμητική) συνάρτηση του Euler.
- grigkost
- Διαχειριστής
- Δημοσιεύσεις: 3053
- Εγγραφή: Πέμ Δεκ 18, 2008 12:54 pm
- Τοποθεσία: Ιωάννινα
- Επικοινωνία:
Re: ΜΚΔ(φ(n),n)=1
Μιχάλη,Mihalis_Lambrou έγραψε:Δεν ισχύει: Για τον σύνθετο είναιgrigkost έγραψε:Να εξετασθεί αν ισχύει η παρακάτω πρόταση:
αν και μόνο αν ο είναι πρώτος αριθμός, όπου η (αριθμητική) συνάρτηση του Euler.
ευχαριστούμε για την άμεση απάντηση.
Ας "χαλαρώσουμε" την συνθήκη "ο είναι πρώτος αριθμός":
Να εξετασθεί αν ισχύει η παρακάτω πρόταση:
αν και μόνο αν ο είναι είναι γινόμενο της μορφής , όπου διακεκριμένοι πρώτοι αριθμοί, δηλ. .
-
- Δημοσιεύσεις: 412
- Εγγραφή: Δευ Μαρ 01, 2010 2:07 pm
Re: ΜΚΔ(φ(n),n)=1
Καλημέρα στην παρέα του mathematica μετά από καιρό!grigkost έγραψε:Μιχάλη,Mihalis_Lambrou έγραψε:Δεν ισχύει: Για τον σύνθετο είναιgrigkost έγραψε:Να εξετασθεί αν ισχύει η παρακάτω πρόταση:
αν και μόνο αν ο είναι πρώτος αριθμός, όπου η (αριθμητική) συνάρτηση του Euler.
ευχαριστούμε για την άμεση απάντηση.
Ας "χαλαρώσουμε" την συνθήκη "ο είναι πρώτος αριθμός":
Να εξετασθεί αν ισχύει η παρακάτω πρόταση:
αν και μόνο αν ο είναι είναι γινόμενο της μορφής , όπου διακεκριμένοι πρώτοι αριθμοί, δηλ. .
Ούτε το παραπάνω ισχύει. Για τον "square-free" αριθμό έχουμε . Άρα το ζητούμενο δεν ισχύει. Θέλει λίγο περισσότερη προσοχή για να βρει κάποιος μια "καλή" περιγραφή των αριθμών με την εν λόγω ιδιότητα. Ειδικότερα, αφήνω μια αρκετά γνωστή ιδιότητα :
Έστω . Τότε υπάρχει μοναδική ομάδα τάξης (up to isomorphism).
Φιλικά,
Νίκος
Νίκος Αθανασίου
Μεταδιδακτορικός ερευνητής, τμήμα μαθηματικών- Πανεπιστήμιο Κρήτης
Μεταδιδακτορικός ερευνητής, τμήμα μαθηματικών- Πανεπιστήμιο Κρήτης
- emouroukos
- Συντονιστής
- Δημοσιεύσεις: 1447
- Εγγραφή: Δευ Δεκ 22, 2008 1:27 pm
- Τοποθεσία: Αγρίνιο
Re: ΜΚΔ(φ(n),n)=1
Το έχουμε δει (μαζί με το αντίστροφό του) εδώ, όπου αποδεικνύεται και ότι αν και μόνο αν , όπου διαφορετικοί πρώτοι αριθμοί με για κάθε μεnickthegreek έγραψε: Έστω . Τότε υπάρχει μοναδική ομάδα τάξης (up to isomorphism).
Βαγγέλης Μουρούκος
Erro ergo sum.
Erro ergo sum.
- grigkost
- Διαχειριστής
- Δημοσιεύσεις: 3053
- Εγγραφή: Πέμ Δεκ 18, 2008 12:54 pm
- Τοποθεσία: Ιωάννινα
- Επικοινωνία:
Re: ΜΚΔ(φ(n),n)=1
Νίκο,nickthegreek έγραψε:Ούτε το παραπάνω ισχύει. Για τον "square-free" αριθμό έχουμε . Άρα το ζητούμενο δεν ισχύει.grigkost έγραψε: Να εξετασθεί αν ισχύει η παρακάτω πρόταση:
αν και μόνο αν ο είναι είναι γινόμενο της μορφής , όπου διακεκριμένοι πρώτοι αριθμοί, δηλ. .
ευχαριστούμε για το αντιπαράδειγμα. Δεν ισχύει:
Αν ο είναι ελεύθερος τετραγώνου, τότε .
Το αντίστροφο; Δηλαδή:
Αν , τότε ο είναι ελεύθερος τετραγώνου.
-
- Επιμελητής
- Δημοσιεύσεις: 15763
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: ΜΚΔ(φ(n),n)=1
Ισχύει.grigkost έγραψε: Αν , τότε ο είναι ελεύθερος τετραγώνου.
Αν τότε . Οπότε αν (όμοια τα υπόλοιπα) τότε ο θα ήταν παράγοντας και του και του , που σημαίνει , άρα όχι . Άτοπο. Και λοιπά.
- Tolaso J Kos
- Δημοσιεύσεις: 5226
- Εγγραφή: Κυρ Αύγ 05, 2012 10:09 pm
- Τοποθεσία: Λάρισα, Βαρκελώνη
- Επικοινωνία:
Re: ΜΚΔ(φ(n),n)=1
Ισχύει και το ισχυρότερο αποτέλεσμα.nickthegreek έγραψε: Έστω . Τότε υπάρχει μοναδική ομάδα τάξης (up to isomorphism).
Το αποτέλεσμα αυτό φέρει και όνομα.Θεώρημα:
Κάθε θετικός ακέραιος ικανοποιεί τη σχέση αν και μόνο αν κάθε ομάδα τάξης είναι μηδενοδύναμη. (nilpotent)
Η φαντασία είναι σημαντικότερη από τη γνώση !
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: ΜΚΔ(φ(n),n)=1
Το θεώρημα που παραθέτει ο Τόλης δεν είναι αληθές.
Δεν ισχύει για το εννέα.
The theory of Groups
An Itroduction
Josep J Rotman.
σελ 119 Lemma 6.24
Every finite p-GROUP G is nilpotent.
Δεν ισχύει για το εννέα.
The theory of Groups
An Itroduction
Josep J Rotman.
σελ 119 Lemma 6.24
Every finite p-GROUP G is nilpotent.
- Tolaso J Kos
- Δημοσιεύσεις: 5226
- Εγγραφή: Κυρ Αύγ 05, 2012 10:09 pm
- Τοποθεσία: Λάρισα, Βαρκελώνη
- Επικοινωνία:
Re: ΜΚΔ(φ(n),n)=1
Ναι σωστά.. γιατί το χω γράψει λάθος. Το κάθε πρέπει να γίνει ένας. Οπότε λοιπόν, η σωστή διατύπωση είναι αυτή:
Ευχαριστώ για τη διευκρίνιση.Tolaso J Kos έγραψε:Το αποτέλεσμα αυτό φέρει και όνομα.Θεώρημα:
Ένας θετικός ακέραιος ικανοποιεί τη σχέση αν και μόνο αν κάθε ομάδα τάξης είναι μηδενοδύναμη. (nilpotent)
Η φαντασία είναι σημαντικότερη από τη γνώση !
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: ΜΚΔ(φ(n),n)=1
Τόλη καλημέρα.
Αν το κάθε το κάνεις μία πάλι είναι λάθος.
Αφού έχει όνομα γράψε ποιο είναι.
Μάλλον έχεις μεταφράσει λάθος.
Τα παρακάτω τα υποθέτω.
Υπάρχει η άσκηση 2.55 στο Problems in GROUP THEORY J.D Dixon
που αποδίδεται στον Burnside και έχει σχέση με το θέμα.
Αν εννοείς αυτή τότε ουσιαστικά είναι το ίδιο με αυτό που έγραψε ο Νίκος,
και δεν έχει καμμία σχέση με μηδενοδύναμες ομάδες
Αν το κάθε το κάνεις μία πάλι είναι λάθος.
Αφού έχει όνομα γράψε ποιο είναι.
Μάλλον έχεις μεταφράσει λάθος.
Τα παρακάτω τα υποθέτω.
Υπάρχει η άσκηση 2.55 στο Problems in GROUP THEORY J.D Dixon
που αποδίδεται στον Burnside και έχει σχέση με το θέμα.
Αν εννοείς αυτή τότε ουσιαστικά είναι το ίδιο με αυτό που έγραψε ο Νίκος,
και δεν έχει καμμία σχέση με μηδενοδύναμες ομάδες
- Tolaso J Kos
- Δημοσιεύσεις: 5226
- Εγγραφή: Κυρ Αύγ 05, 2012 10:09 pm
- Τοποθεσία: Λάρισα, Βαρκελώνη
- Επικοινωνία:
Re: ΜΚΔ(φ(n),n)=1
Τελικά θέλουμε γυαλιά. Το αρχικό κείμενο δεν έχει αλλά μία πολλαπλασιαστική συνάρτηση η οποία ορίζεται ως εξής:
Θεώρημα:[Pazderski] Ένας θετικός ακέραιος ικανοποιεί τη σχέση αν και μόνο αν κάθε ομάδα τάξης είναι μηδενοδύναμη. (nilpotent)
Ζητώ συγνώμη για τις αβλεψίες.
- και
- όπου πρώτος και
Θεώρημα:[Pazderski] Ένας θετικός ακέραιος ικανοποιεί τη σχέση αν και μόνο αν κάθε ομάδα τάξης είναι μηδενοδύναμη. (nilpotent)
Ζητώ συγνώμη για τις αβλεψίες.
Η φαντασία είναι σημαντικότερη από τη γνώση !
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 12 επισκέπτες