>>277？

> よってaNa^(-1)∈N
> 同様にしてa^(-1)Na∈NだからN∈aNa^(-1)

N∈aNa^(-1)だと記号がおかしいだろ？
N⊂aNa^(-1)の間違いじゃないのか。
別にわかればいいが。