Article
Keywords:
alternative set theory; commutative $\pi $-group; free group; inverse system of Sd-classes and Sd-maps; prolongation; set-definable; tensor product; total homomorphism
Summary:
The notion of free group is defined, a relatively wide collection of groups which enable infinite set summation (called {\bf commutative $\pi$-group}), is introduced. Commutative $\pi$-groups are studied from the set-theoretical point of view and from the point of view of free groups. Commutativity of the operator which is a special kind of inverse limit and factorization, is proved. Tensor product is defined, commutativity of direct product (also a free group construction and tensor product) with the special kind of inverse limit is proved. Some important examples of tensor product are computed.
Related articles:
References:
                        
[G] Garavaglia S.: 
Homology with equationally compact coefficients. Fund. Math. 100 (1978), 89-95. 
MR 0494066 | 
Zbl 0377.55006[S-V] Sochor A., Vopěnka P.: 
Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-629. 
MR 0555178[V1] Vopěnka P.: 
Mathematics in the alternative set theory. Teubner-Texte, Leipzig, 1979. 
MR 0581368[V2] Vopěnka P.: Mathematics in the alternative set theory (in Slovak). Alfa, Bratislava, 1989.
[W] Wattenberg F.: 
Non-standard analysis and the theory of shape. Fund. Math. 98 (1978), 41-60. 
MR 0528354[Ž1] Živaljevič R.T.: 
Infinitesimals, microsimplexes and elementary homology theory. AMM 93 (1986), 540-544. 
MR 0856293[Ž2] Živaljevič R.T.: 
On a cohomology theory based on hyperfinite sums of microsimplexes. Pacific J. Math. 128 (1987), 201-208. 
MR 0883385