词条 | Algebraic matroid |
释义 |
In mathematics, an algebraic matroid is a matroid, a combinatorial structure, which expresses an abstraction of the relation of algebraic independence. DefinitionGiven a field extension L/K, Zorn's lemma can be used to show that there always exists a maximal algebraically independent subset of L over K. Further, all the maximal algebraically independent subsets have the same cardinality, known as the transcendence degree of the extension. For every finite set S of elements of L, the algebraically independent subsets of S satisfy the axioms that define the independent sets of a matroid. In this matroid, the rank of a set of elements is its transcendence degree, and the flat generated by a set T of elements is the intersection of L with the field K[T].[1] A matroid that can be generated in this way is called algebraic or algebraically representable.[2] No good characterization of algebraic matroids is known,[3] but certain matroids are known to be non-algebraic; the smallest is the Vámos matroid.[4][5] Relation to linear matroidsMany finite matroids may be represented by a matrix over a field K, in which the matroid elements correspond to matrix columns, and a set of elements is independent if the corresponding set of columns is linearly independent. Every matroid with a linear representation of this type over a field F may also be represented as an algebraic matroid over F,[5][6] by choosing an indeterminate for each row of the matrix, and by using the matrix coefficients within each column to assign each matroid element a linear combination of these transcendentals. For fields of characteristic zero (such as the real numbers) linear and algebraic matroids coincide, but for other fields there may exist algebraic matroids that are not linear;[7][8] indeed the non-Pappus matroid is algebraic over any finite field, but not linear and not algebraic over any field of characteristic zero.[6] However, if a matroid is algebraic over a field F of characteristic zero then it is linear over F(T) for some finite set of transcendentals T over F[9] and over the algebraic closure of F.[6] Closure propertiesIf a matroid is algebraic over a simple extension F(t) then it is algebraic over F. It follows that the class of algebraic matroids is closed under contraction,[10] and that a matroid algebraic over F is algebraic over the prime field of F.[11] The class of algebraic matroids is closed under truncation and matroid union.[15] It is not known whether the dual of an algebraic matroid is always algebraic[12] and there is no excluded minor characterisation of the class.[15] Characteristic setThe (algebraic) characteristic set K(M) of a matroid M is the set of possible characteristics of fields over which M is algebraically representable.[6]
Notes1. ^Oxley (1992) p.216 2. ^Oxley (1992) p.218 3. ^Oxley (1992) p.215 4. ^{{cite journal | last1 = Ingleton | first1 = A. W. | last2 = Main | first2 = R. A. | doi = 10.1112/blms/7.2.144 | journal = Bulletin of the London Mathematical Society | mr = 0369110 | zbl=0315.05018 | pages = 144–146 | title = Non-algebraic matroids exist | volume = 7 | year = 1975}}. 5. ^Oxley (1992) p.220 6. ^1 2 3 4 5 White (1987) p.24 7. ^{{cite book | last = Ingleton | first = A. W. | chapter = Representation of matroids | location = London | mr = 0278974 | zbl=0222.05025 | pages = 149–167 | publisher = Academic Press | title = Combinatorial Mathematics and its Applications (Proc. Conf., Oxford, 1969) | year = 1971}} 8. ^{{citation|title=Applied Discrete Structures|first=K. D.|last=Joshi|publisher=New Age International|year=1997|isbn=9788122408263|page=909}}. 9. ^1 Oxley (1992) p.221 10. ^Oxley (1992) p.222 11. ^Oxley (1992) p.224 12. ^Oxley (1992) p.223 13. ^{{cite journal | last=Lindström | first=Bernt | title=On the algebraic characteristic set for a class of matroids | journal=Proceedings of the American Mathematical Society | volume=95 | pages=147–151 | year=1985 | zbl=0572.05019 | jstor=2045591 | doi=10.2307/2045591}} 14. ^1 2 White (1987) p.25 References
1 : Matroid theory |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。