Embeddings of partial T-partitions of finite vector spaces (Q2266226): Difference between revisions

In Verallgemeinerung und Modifizierung der ''partial-t-spreads'' eines endlichen projektiven Raumes PG(d,q) werden für eine endliche Menge T natürlicher Zahlen partielle T-Partitionen \(\pi\) eines Vektorraumes V über GF(q) definiert durch: \(U\cap U'=\{0\}\) für \(U,U'\in \pi,\) \(U\neq U';\) \(U\subseteq V\), dim \(U\in T\) für \(U\in \pi\); zu \(t\in T\) gibt es \(U\in \pi\) mit \(\dim U=t.\) Ist außerdem noch \(V=\cup \pi,\) so wird \(\pi\) als T-Partition von V bezeichnet. Es ergeben sich die folgenden Einbettungssätze: Gilt \(\dim V\leq \dim V'=2^{-1}\dim V''\) und hat V' eine T'-Partition, so läßt sich jede partielle T-Partition von V mit \(T\supseteq T'\) in eine T-Partition von V'' einbetten. Eine T-Partition von V läßt sich in eine T- Partition von V' einbetten, falls \(d=\dim V'-\dim V\) positiv ist und ein d-dimensionaler Vektorraum eine T'-Partition mit T'\(\subseteq T\) besitzt.