抄録
It will be proved that Painlevé first transcendents and their first derivatives are algebraically independent over the rational function field with complex coefficients, by the use of the irreducibility. A particular case indicates that the group of differential automorphisms of the differential field generated by a Painlevé first transcendent over the rational function field is trivial.
