Lexikon der Mathematik: MacLane, Satz von
gibt eine algebraische Charakterisierung planarer Graphen an.
Ein Graph G ist genau dann planar, wenn sein Zyklenraum eine schlichte Basis besitzt.
Der Satz wurde 1937 von S. MacLane bewiesen. Dabei heißt eine Teilmenge K′ des Zyklenraumes schlicht, wenn jede Kante des Graphen in höchstens zwei Mengen aus K′ liegt.
Der Satz von MacLane läßt sich aus dem Satz von Kuratowski folgern.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.