A generalised Mazurkiewicz-Sierpiński theorem with an application to analytic sets
Let be a field, and the set of monomials of . It is well known that the set of monomial ideals of is in a bijective correspondence with the set of all subsemiflows of the -semiflow . We generalize this to the case of term ideals of , where is a commutative Noetherian ring. A term ideal of is an ideal of generated by a family of terms , where and are integers .
We obtain an elementary geometrical proof of the classical Perron-Frobenius theorem for non-negative matrices A by using the Brouwer fixed-point theorem and by studying the dynamics of the action of A on convenient subsets of Rn.
Under 𝔭 = 𝔠, we prove that it is possible to endow the free abelian group of cardinality 𝔠 with a group topology that makes its square countably compact. This answers a question posed by Madariaga-Garcia and Tomita and by Tkachenko. We also prove that there exists a Wallace semigroup (i.e., a countably compact both-sided cancellative topological semigroup which is not a topological group) whose square is countably compact. This answers a question posed by Grant.