GOMOTOPIK GURUHLARNING ALGEBRAIK XOSSALARI

Abstract

Annotatsiya: Maqolada nuqtasi belgilangan topologik fazolarning gomotopik guruhlari algebraik nuqtayi nazardan tahlil qilinadi. Asosiy e’tibor fundamental guruh va yuqori gomotopik guruhlarni bir-biridan ajratadigan strukturaviy belgilarga, amallarning gomotopiya sinflarida aniqlanishiga hamda hisoblashda qo‘llanadigan tabiiy gomomorfizmlarga qaratiladi. Tadqiqot mantiqiy-deduktiv tahlil, kub modeli, Ekkmann–Hilton argumenti va standart fazolardagi hisoblashlarni taqqoslashga asoslanadi. Aylana, tor, sfera va ko‘paytma fazolar misolida gomotopik invariantlarning qanday ma’lumot berishi ko‘rsatiladi. Yuqori gomotopik guruhlarning abel bo‘lishi, dekart ko‘paytmada ajralishi, uzluksiz akslantirishlarning induksiyalangan gomomorfizmlari hamda Gyurevich gomomorfizmining hisoblashdagi vazifasi izchil yoritiladi.

Аннотация: В статье систематически рассматриваются алгебраические свойства гомотопических групп топологических пространств с отмеченной точкой. Анализируются отличие фундаментальной группы от высших гомотопических групп, корректность групповой операции на классах гомотопии, функториальность и вычислительные следствия. Методологическую основу составляют дедуктивный анализ, кубическая модель гомотопических групп, аргумент Экмана–Хилтона и сравнение стандартных примеров. На примере окружности, тора, сферы и произведений пространств обсуждается содержание гомотопических инвариантов. Описываются связь с гомологиями через гомоморфизм Гуревича и роль точных последовательностей фибраций.

Abstract: This paper offers a structured analysis of the algebraic properties of homotopy groups of pointed topological spaces. It distinguishes the potentially noncommutative fundamental group from higher homotopy groups, explains group operations on homotopy classes, and examines functoriality and its computational consequences. The approach combines deductive reasoning, the cubical description of homotopy groups, the Eckmann–Hilton argument, and comparisons of familiar spaces. The circle, torus, sphere, and products illustrate how these invariants encode geometric information. The Hurewicz homomorphism and the long exact sequence associated with a fibration are discussed as bridges between abstract structure and practical computation.