Linearly independent field homomorphisms.

Click For Summary
SUMMARY

The discussion centers on the equivalence between the linear independence of field homomorphisms and the existence of specific elements in a field K. Specifically, for field homomorphisms g1, ..., gn: K -> K, the linear independence is equivalent to the existence of elements a1, ..., an in K such that the determinant det| gi(aj)| is non-zero. This relationship is established through the Dedekind lemma, which asserts that if the determinant is non-zero, the homomorphisms are not linearly independent. The challenge lies in demonstrating that linear independence of the homomorphisms guarantees the existence of such elements.

PREREQUISITES
  • Understanding of field theory and field homomorphisms
  • Familiarity with linear algebra concepts, particularly determinants
  • Knowledge of Dedekind lemma in the context of field homomorphisms
  • Basic proficiency in abstract algebra
NEXT STEPS
  • Study the proof of Dedekind lemma in detail
  • Explore examples of field homomorphisms and their properties
  • Learn about determinants in the context of linear transformations
  • Investigate applications of linear independence in abstract algebra
USEFUL FOR

Mathematicians, graduate students in algebra, and anyone studying field theory and linear algebra concepts, particularly those interested in the properties of homomorphisms and determinants.

NoDoubts
Messages
20
Reaction score
0
Should be simple, but can't figure out :)

Why is that , for a field K, the linear independence of field homomorphisms g1, ..., gn: K -> K
equivalent to the existence of elements a1, ..., an \in K such that the determinant

det| gi(aj)| != 0 (...so, just like in a case of linear independence of vectors).Thanks!
 
Physics news on Phys.org
I mean, one direction is clear i.e. if there exist n elements with the det != 0 then homomorphisms are clearly not linearly independent...

I don't see the other direction i.e. given n linearly independent homomorphisms why there exists n elements with the above property?
 
guys, need help. this should be easy. pls let me know if anything is unclear.

the statement about different field homomorphisms being linearly independent is called Dedekind lemma. My question is why being linearly independent in this case implies existence of n elements a1, ..., an \in K such that determinant of g_i (a_j) is not zero.

thanks a lot!
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
5K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K