-metric space 上の -quadratic form とは， でをみたすもののこと．ここで， を -quadratic space という． 有限次元 -quadratic space は以下のものの直和に同型： の4次元部分空間で に含まれるものは拡大 Hamming コードに他ならない．