비유클리드 기하학: 대수적 구조와 행렬 표현