Definition:Algebraic Matroid

Definition
Let $L / K$ be a field extension.

Let $S \subseteq L$ be a finite subset of $L$.

Let $\struct{S, \mathscr I}$ be the matroid induced by Algebraic Independence over $K$ on $S$.

From Leigh.Samphier/Sandbox/Matroid Induced by Algebraic Independence is Matroid, $\struct{S, \mathscr I}$ is a matroid.

Then any matroid isomorphic to $\struct{S, \mathscr I}$ is called an algebraic matroid.

Also see

 * Leigh.Samphier/Sandbox/Definition:Matroid Induced by Algebraic Independence
 * Leigh.Samphier/Sandbox/Matroid Induced by Algebraic Independence is Matroid