Definition:General Linear Group