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