Basic conceptsGroup actions on manifolds, algebraic varieties and other sets, and geometric objects have played an important role in geometry, analysis, representation theory, and physics for a long time. The book by D. A. Timashev is a welcome survey of old and new results on actions of algebraic groups on algebraic varieties. Basic facts on algebraic groups, homogeneous spaces, and equivariant embeddings are presented. Then the discussion concentrates more on a detailed description of special and interesting classes where deeper results can be obtained. Those cases include symmetric spaces, weakly symmetric spaces, spherical varieties, spaces of lower rank and complexity, and so-called wonderful varieties. Classification of several categories of homogeneous spaces are given. The book is about the algebraic side of group actions, but to complement the book, we take a more analytic viewpoint.Let us start by recalling some basic concepts. Let G be a group, and let X be a set. A G-action on X is a map GˆX Ñ X, often written as pa, xq Þ Ñ a¨x " a pxq, such that a Þ Ñ a is a group homomorphism from G into the group of bijections on X. If a G-action on X is given, then X is said to be a G-set. For a fixed x P X the map a Þ Ñ a¨x is the orbit map and G¨x is a G-orbit. The subgroup G x " ta P G | a¨x " xu is the stabilizer of x in G. We say that X is homogeneous if X " G¨x for some point, x P X. In that case X " G¨x for all points x in X. If X and Y are two G-sets, then a map ϕ : X Ñ Y is G-equivariant, or a G-map, if ϕpa¨xq " a¨ϕpxq for all a P G and all x P X. If X is homogeneous, thenIf G is a Lie group acting smoothly on a manifold X (always assumed separable), then G x is closed for all x P X and G{G x is a manifold. The group G acts smoothly on G{G x and G{G x is isomorphic to X as a manifold and as a G-space. In the algebraic category, the variety G{G x » X if the map aG x Þ Ñ a¨x o is separable. To explain the title of the book we can now say that G{H ϕ ãÑ X is an equivariant embedding if X is a normal variety with a G-action and ϕ is G-equivariant map with an open image in X. In that case it is common to identify G{H with ϕpG{Hq Ă X. Finally, if τ : G Ñ G