>>11
ありがとうございます。
結局、>>7さんの言う通り、

＞n,mが0以外の実数であれば（したがって、正負を＞問わず）
＞(a^(1/n))^m =(a^m)^(1/n)
＞は成り立つよ。

が正しくて、>>11さんの言う通り、累乗根の性質の所ではまだそこまで拡張されてないだけということなんだと理解しました。

チラっと、無理数乗も定義できるとかいてありました。高校では実数乗を含めて指数法則は習わないのかな？