もともとjまたは大文字のJ(=j/1728)は、4次方程式の4つの根から生じる不変式
（GL(2,C)不変）としてあらわれていたのであった。
（この群は整数性とは無関係であることに注意。）
このことは、"モジュラー判別式Δ"という名称にも残っていて、この「判別式」
というのは文字通り4次方程式の判別式から来ている（はず）。
つまり、jという量は元々、不変式論においてあらわれていたはずで、19世紀人にとっては
そのことは常識だったと思われる。
保型函数としてのPSL(2,Z)対称性は、これとはまったく別のものだから
当時も新しかったことは確かだろう。（実はガウスは未公表ながら持っていて
基本領域の図をいたずら書きのように残していた。）