君達のような無学な人間は知らないかもしれないが、
Unix は複素多様体の一種だよ。
そして、コンピュータの正規部分群でもある。
つまり、商群が考えられるってことだ。
ついでに、Unix のコホモロジーを考えることも出来る。
結論としては Unix と数学には密接な関係があると言える。
>>1は正しいのだ。