Preferencje
Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł książki

## Algebra in the superextensions of twinic groups

Autorzy
Seria
Rozprawy Matematyczne tom/nr w serii: 473 wydano: 2010
Zawartość
Warianty tytułu
Abstrakty
EN
Given a group X we study the algebraic structure of the compact right-topological semigroup λ(X) consisting of all maximal linked systems on X. This semigroup contains the semigroup β(X) of ultrafilters as a closed subsemigroup. We construct a faithful representation of the semigroup λ(X) in the semigroup $𝖯(X)^{𝖯(X)}$ of all self-maps of the power-set 𝖯(X) and show that the image of λ(X) in $𝖯(X)^{𝖯(X)}$ coincides with the semigroup $End_{λ}(𝖯(X))$ of all functions f: 𝖯(X) → 𝖯(X) that are equivariant, monotone and symmetric in the sense that f(X∖A)=X∖f(A) for all A ⊂ X. Using this representation we describe the minimal ideal 𝖪(λ(X)) and minimal left ideals of the superextension λ(X) of a twinic group X. A group X is called twinic if it admits a left-invariant ideal 𝓘⊂ 𝖯(X) such that $xA=_{𝓘}yA$ for all subsets A ⊂ X and points x,y ∈ X with $xA ⊂ _{𝓘}X∖A ⊂ _{𝓘}yA$. The class of twinic groups includes all amenable groups and all groups with periodic commutators but does not include the free group F₂ with two generators. We prove that for any twinic group X, there is a cardinal m such that all minimal left ideals of λ(X) are algebraically isomorphic to
$2^{m} × ∏_{1≤k≤∞} C_{2^{k}}^{q(X,C_{2^{k}})} × ∏_{3≤k≤∞} Q_{2^{k}}^{q(X,C_{2^{k}})}$
for some cardinals $q(X,C_{2^{k}})$ and $q(X,Q_{2^{k}})$, k ∈ ℕ ∪ {∞}. Here $C_{2^{k}}$ is the cyclic group of order $2^{k}$, $C_{2^{∞}}$ is the quasicyclic 2-group and $Q_{2^{k}}$, k ∈ ℕ ∪ {∞}, are the groups of generalized quaternions. If the group X is abelian, then $q(X,Q_{2^{k}}) = 0$ for all k and $q(X,C_{2^{k}})$ is the number of subgroups H ⊂ X with quotient X/H isomorphic to $C_{2^{k}}$. If X is an abelian group (admitting no epimorphism onto $C_{2^{∞}}$), then each minimal left ideal of the superextension λ(X) is algebraically (and topologically) isomorphic to the product $∏_{1≤k≤∞} (C_{2^{k}} × 2^{2^{k-1}-k})^{q(X,C_{2^{k}})}$ where the cube $2^{2^{k-1}-k}$ (equal to $2^{ω}$ if k = ∞) is endowed with the left zero multiplication. For an abelian group X, all minimal left ideals of λ(X) are metrizable if and only if X has finite ranks r₀(X) and r₂(X) and admits no homomorphism onto the group $C_{2^{∞}} ⊕ C_{2^{∞}}$. Applying this result to the group ℤ of integers, we prove that each minimal left ideal of λ(ℤ) is topologically isomorphic to $2^{ω}×∏_{k=1}^{∞}C_{2^{k}}$. Consequently, all subgroups in the minimal ideal 𝖪(λ(ℤ)) of λ(ℤ) are profinite abelian groups. On the other hand, the superextension λ(ℤ) contains an isomorphic topological copy of each second countable profinite topological semigroup. This results contrasts with the famous Zelenyuk Theorem saying that the semigroup β(ℤ) contains no finite subgroups. At the end of the paper we describe the structure of minimal left ideals of finite groups X of order |X| ≤ 15.
Słowa kluczowe
Tematy
Kategoryzacja MSC:
Miejsce publikacji
Warszawa
Seria
Rozprawy Matematyczne tom/nr w serii: 473
Liczba stron
74
Liczba rozdzia³ów
Opis fizyczny
Daty
wydano
2010
Twórcy
autor
• Department of Mathematics, Ivan Franko National University of Lviv, Universytetska 1, Lviv 79000, Ukraine
• Instytut Matematyki, Uniwersytet Humanistyczno-Przyrodniczy w Kielcach, Świetokrzyska 15, Kielce, Poland
autor
• Faculty of Mathematics and Computer Sciences, Vasyl Stefanyk Precarpathian National University, Shevchenko St. 57, Ivano-Frankivsk 76025, Ukraine
Bibliografia
Języki publikacji
 EN
Uwagi