Parallel lines as a quotient vector space
ID: parallel-lines-as-a-quotient-vector-space
For fixed , the parallel affine lines are precisely the cosets of the indicated quotient vector space. Changing representatives adds a multiple of , so and are well-defined. The zero is the whole line , not a single point. If is a basis, the two line classes form a basis of the quotient by spanning and independence modulo .
New to topics? Read the docs here!