Matrix Algebra
7.3.O-Lattice Theory
7.3.2 Working with the O-Lattice