+ 1)-系である(スタイナー系参照)。逆に N ≥ 2 に対するこの形のスタイナー系が射影平面となることが証明できる。 位数 N の互いに直交するラテン方格の総数は高々 N − 1 である。これが N − 1 となりうる必要十分条件は、その位数の射影平面が存在することである。
射影加群
\operatorname {Hom} (P,K)\to 0} が完全となる加群 P のことを射影加群と呼ぶ。 R を単位元をもつ環とし、以下では加群はすべて左 R 加群、射はすべて左 R 加群の準同型を指すことにする。 加群 P が射影加群である、あるいは射影的とは次の同値な条件のいずれかが成り立つことをいう。 関手
数学における射影線型群(しゃえいせんけいぐん、英: projective linear group)あるいは射影一般線型群(しゃえいいっぱんせんけいぐん、英: projective general linear group)とは一般線型群の中心による剰余群のことである。 同様に、射影特殊線型群(しゃえいとくしゅせんけいぐん、英: