Bockstein basis and resolution theorems in extension theory

We prove a generalization of the Edwards-Walsh Resolution Theorem: Theorem: Let G be an abelian group for which $P_G$ equals the set of all primes $\mathbb{P}$, where $P_G=\{p \in \mathbb{P}: \Z_{(p)}\in$ Bockstein Basis $\sigma(G)\}$. Let n in N and let K be a connected CW-complex with $\pi_n(K)\cong G$, $\pi_k(K)\cong 0$ for $0\leq k< n$. Then for every compact metrizable space X with $X\tau K$ (i.e., with $K$ an absolute extensor for $X$), there exists a compact metrizable space Z and a surjective map $\pi: Z \to X$ such that (a) $\pi$ is cell-like, (b) $\dim Z \leq n$, and (c) $Z\tau K$.Comment: 23 page

The (largest) Lebesgue number and its relative version

In this paper we compare different definitions of the (largest) Lebesgue number of a cover U for a metric space X. We also introduce the relative version for the Lebesgue number of a covering family U for a subset A ⊆ X, and justify the relevance of introducing it by giving a corrected statement and proof of the Lemma 3.4 from the paper by Buyalo and Lebedeva (2007), involving λ-quasi homothetic maps with coefficient R between metric spaces and the comparison of the mesh and the Lebesgue number of a covering family for a subset on both sides of the map

A proof of The Edwards-Walsh Resolution Theorem without Edwards-Walsh CW-complexes

In the paper titled "Bockstein basis and resolution theorems in extension theory" (arXiv:0907.0491v2), we stated a theorem that we claimed to be a generalization of the Edwards-Walsh resolution theorem. The goal of this note is to show that the main theorem from (arXiv:0907.0491v2) is in fact equivalent to the Edwards-Walsh resolution theorem, and also that it can be proven without using Edwards-Walsh complexes. We conclude that the Edwards-Walsh resolution theorem can be proven without using Edwards-Walsh complexes.Comment: 5 page

Simultaneous Z/p-acyclic resolutions of expanding sequences

We prove the following Theorem: Let X be a nonempty compact metrizable space, let $l_1 \leq l_2 \leq...$ be a sequence of natural numbers, and let $X_1 \subset X_2 \subset...$ be a sequence of nonempty closed subspaces of X such that for each k in N, $dim_{Z/p} X_k \leq l_k < \infty$. Then there exists a compact metrizable space Z, having closed subspaces $Z_1 \subset Z_2 \subset...$, and a surjective cell-like map $\pi: Z \to X$, such that for each k in N, (a) $dim Z_k \leq l_k$, (b) $\pi (Z_k) = X_k$, and (c) $\pi | {Z_k}: Z_k \to X_k$ is a Z/p-acyclic map. Moreover, there is a sequence $A_1 \subset A_2 \subset...$ of closed subspaces of Z, such that for each k, $dim A_k \leq l_k$, $\pi|{A_k}: A_k\to X$ is surjective, and for k in N, $Z_k\subset A_k$ and $\pi|{A_k}: A_k\to X$ is a UV^{l_k-1}-map. It is not required that X be the union of all X_k, nor that Z be the union of all Z_k. This result generalizes the Z/p-resolution theorem of A. Dranishnikov, and runs parallel to a similar theorem of S. Ageev, R. Jim\'enez, and L. Rubin, who studied the situation where the group was Z.Comment: 18 pages, title change in version 3, old title: "Z/p-acyclic resolutions in the strongly countable Z/p-dimensional case

Geometrija na grupama

U članku uvodimo osnovne koncepte geometrijske teorije grupa: opisujemo kako grupu možemo shvatiti kao geometrijski objekt (Cayleyev graf) te kako na grupi uvodimo metriku. Također definiramo pojam kvaziizometrije između metričkih prostora, pa ga koristimo između grupa i njihovih Cayleyevih grafova, te između grupa i prostora. Navodimo i vrlo važan rezultat u geometrijskoj teoriji grupa – Švarc-Milnorovu lemu

Geometrija na grupama

U članku uvodimo osnovne koncepte geometrijske teorije grupa: opisujemo kako grupu možemo shvatiti kao geometrijski objekt (Cayleyev graf) te kako na grupi uvodimo metriku. Također definiramo pojam kvaziizometrije između metričkih prostora, pa ga koristimo između grupa i njihovih Cayleyevih grafova, te između grupa i prostora. Navodimo i vrlo važan rezultat u geometrijskoj teoriji grupa – Švarc-Milnorovu lemu