Primordial element (algebra)

From HandWiki - Reading time: 3 min


In algebra, a primordial element is a particular kind of a vector in a vector space.

Definition

Let V be a vector space over a field 𝔽 and let (ei)iI be an I-indexed basis of vectors for V. By the definition of a basis, every vector vV can be expressed uniquely as v=iIai(v)ei for some I-indexed family of scalars (ai)iI where all but finitely many ai are zero. Let I(v)={iI:ai(v)0} denote the set of all indices for which the expression of v has a nonzero coefficient. Given a subspace W of V, a nonzero vector pW is said to be primordial if it has both of the following two properties:[1]

  1. I(p) is minimal among the sets I(w), where 0wW, and
  2. ai(p)=1 for some index i.

References

  1. Milne, J., Class field theory course notes, updated March 23, 2013, Ch IV, §2.





Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Primordial_element_(algebra)
19 views |
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF