摘要:
Let G be a group. The family of all sets which are closed in every Hausdorff group topology of G form the family of closed sets of a T1 topology MG on G called the Markov topology. Similarly, the family of all algebraic subsets of G forms a family of closed sets for another T1 topology ZG on G called the Zariski topology. A subgroup H of G is said to be Markov (resp. Zariski) embedded if the equality MG ↾ H = MH(resp. ZG ↾ H = ZH) holds. It's proved that an arbitrary subgroup of a free group is both Zariski and Markov embedded in it.