Plan vectoriel
Un plan vectoriel (ou plus simplement un plan) est un espace vectoriel P de dimension 2 sur un corps K. Autrement dit, P est un espace vectoriel engendré par deux vecteurs non colinéaires.
Tout couple de vecteurs non colinéaires de P forme une base de P. Par exemple, K2 est un plan vectoriel sur K. Comme les K-espaces vectoriels sont classifiés par leurs dimensions, tout plan vectoriel est isomorphe à K2. Un isomorphisme explicite est ici donné par