parmenides51 έγραψε:4. α) Δείξτε ότι το σύνολο

των ριζών της εξίσωσης

είναι ομάδα με πράξη τον πολλαπλασιασμό στο σύνολο

.
β) Δείξτε ότι δυο οποιεσδήποτε από τις ρίζες της προηγούμενης εξισώσεως είναι γραμμικώς ανεξάρτητα στοιχεία του διανυσματικού χώρου

πάνω στο

.
(α) Λύνοντας την εξίσωση

, βρίσκουμε ότι:

, όπου
Έχουμε λοιπόν , ότι:
Το σύνολο

είναι διαάφορο του κενού
Το σύνολο

είναι κλειστό ως προς την πράξη του πολλαπλασιασμού, διότι:

και
H προσεταιριστική ιδιότητα ισχύει προφανώς αφού η δοθείσα πράξη είναι η πράξη του πολλαπλασιασμού μιγαδικών αριθμών
Ουδέτερο (μοναδιαίο) στοιχείο υπάρχει και είναι το
Και τέλος, κάθε στοιχείο του

, έχει το συμμετρικό του μέσα στο

. Πράγματι, το συμμετρικό του

είναι
το

, διότι

, το συμμετρικό του

είναι το

, αφού

και το
συμμετρικό του

, είναι το

, προφανώς.
Άρα η δομή

είναι ομάδα (και μάλιστα αβελιανή, αφού προφανώς ισχύει και η αντιμεταθετική ιδιότητα)
(β) Θα δείξω πρώτα ότι τα στοιχεία

του

, είναι γραμμικώς ανεξάρτητα.
Έστω λοιπόν

με

. Τότε:
από όπου και έπεται ότι

και άρα έχουμε το ζητούμενο.
Όμοια δείχνουμε ότι και τα στοιχεία

είναι γραμμικώς ανεξάρτητα.
Μένει να δείξουμε ότι και τα στοιχεία

είναι και αυτά γραμμικώς ανεξάρτητα.
Έστω λοιπόν

, με
Τότε :

και
Από το παραπάνω σύστημα έχουμε

, και άρα η απόδειξη ολοκληρώθηκε.