User talk:TakuyaMurata/Linear algebraic group action