Definition:Complex Multiplication