Felix Klein
が定義される。これをフェリックス・クラインの j"-不変量、j"-函数、あるいは単に "j"-不変量 ("j"-invariant) という。