Serre책에 quadratic form 보는 중인데 vector space의 base field가 char 2가 아닐 때는 nondegenerate quadratic form을 determinant가 0이 아닌 대칭행렬에 자연스러운 대응을 시킬 수 있고, 이때 항상 orthogonal basis를 찾을 수 있다는 정리를 찾을 수 있었음

이 정리가 base field이 char 2가 아니면 대칭행렬이 항상 대각화 가능하다는 말이랑 동치인건지 헷갈려서 누가 확인 좀 해주시면 감사...

char 2일때 반례도 궁금한데 대충 생각해보니까 (0 1 \\ 1 0)이면 대각화가 안될거같음

내가 검색을 못하는건지 구글링하면 real matrix에서의 결과만 나오더라