We construct a -homogeneous universal simple matroid of rank , i.e. a countable simple rank~ matroid which -embeds every finite simple rank matroid, and such that every isomorphism between finite -subgeometries of extends to an automorphism of . We also construct a -homogeneous matroid which is universal for the class of finite simple rank matroids omitting a given finite projective plane . We then prove that these structures are not -categorical, they have the independence property, they admit a stationary independence relation, and that their automorphism group embeds the symmetric group . Finally, we use the free projective extension of to conclude the existence of a countable projective plane embedding all the finite simple matroids of rank and whose automorphism group contains , in fact we show that .

生成讲解博客的中文版本

生成AI智能校验的中文版本