Loop-theoretic properties of H-spaces

1991 ◽  
Vol 110 (1) ◽  
pp. 121-136 ◽  
Author(s):  
Martin Arkowitz ◽  
Gregory Lupton
Keyword(s):  
Topological Space ◽  
Classical Result ◽  
Binary Operation ◽  
Identity Element ◽  
Base Point ◽  
The Other ◽  
Homotopy Classes ◽  
Algebraic Loop

If X is a topological space with base point, then a based map m: X × X → X is called a multiplication if m restricted to each factor of X × X is homotopic to the identity map of X. The pair (X, m) is then called an H-space. If A is a based topological space and (X, m) is an H-space, then the multiplication m induces a binary operation on the set [A, X] of based homotopy classes of maps of A into X. A classical result due to James [6, theorem 1·1 asserts that if A is a CW-complex and (X, m) is an H-space, then the binary operation gives [A, X] the structure of an algebraic loop. That is, [A, X] has a two-sided identity element and if a, b ∈[A, X], then the equations ax = b and ya = b have unique solutions x, y ∈ [A, X]. Thus it is meaningful to consider loop-theoretic properties of H-spaces. In this paper we make a detailed study of the following loop-theoretic notions applied to H-spaces: inversivity, power-associativity, quasi-commutativity and the Moufang property – see Section 2 for the definitions. If an H-space is Moufang, then it has the other three properties. Moreover, an associative loop is Moufang, and so a homotopy-associative H-space has all four properties. Since many of the standard H-spaces are homotopy-associative, we are particularly interested in determining when an H-space, in particular a finite CW H-space, does not have one of these properties.

On Anti-Commutative Algebras and Analytic Loops

1965 ◽  
Vol 17 ◽  
pp. 550-558 ◽  
Author(s):  
Arthur A. Sagle
Keyword(s):  
Lie Algebra ◽  
Lie Group ◽  
Binary Operation ◽  
Identity Element ◽  
Unique Element ◽  
Commutative Algebras ◽  
Algebraic Properties

In (4) Malcev generalizes the notion of the Lie algebra of a Lie group to that of an anti-commutative "tangent algebra" of an analytic loop. In this paper we shall discuss these concepts briefly and modify them to the situation where the cancellation laws in the loop are replaced by a unique two-sided inverse. Thus we shall have a set H with a binary operation xy defined on it having the algebraic properties(1.1) H contains a two-sided identity element e;(1.2) for every x ∊ H, there exists a unique element x-1 ∊ H such that xx-1 = x-1x = e;

Classifying Algebras for the K-Theory of σ-C*-Algebras

1989 ◽  
Vol 41 (6) ◽  
pp. 1021-1089 ◽  
Author(s):  
N. Christopher Phillips
Keyword(s):  
Hilbert Space ◽  
Topological Space ◽  
Fredholm Operators ◽  
Classifying Space ◽  
Homotopy Classes ◽  
Infinite Dimensional ◽  
C Algebras ◽  
Infinite Dimensional Hilbert Space ◽  
Continuous Maps ◽  
Group Structures

In topology, the representable K-theory of a topological space X is defined by the formulas RK0(X) = [X,Z x BU] and RKl(X) = [X, U], where square brackets denote sets of homotopy classes of continuous maps, is the infinite unitary group, and BU is a classifying space for U. (Note that ZxBU is homotopy equivalent to the space of Fredholm operators on a separable infinite-dimensional Hilbert space.) These sets of homotopy classes are made into abelian groups by using the H-group structures on Z x BU and U. In this paper, we give analogous formulas for the representable K-theory for α-C*-algebras defined in [20].

scholarly journals A Lemma on Continuous Functions

1960 ◽  
Vol 3 (2) ◽  
pp. 186-187
Author(s):  
J. Lipman
Keyword(s):  
Topological Space ◽  
Fundamental Group ◽  
Closed Interval ◽  
Continuous Functions ◽  
The Other ◽  
Special Consideration ◽  
Boundary Lines

The point of this note is to get a lemma which is useful in treating homotopy between paths in a topological space [1].As explained in the reference, two paths joining a given pair of points in a space E are homotopic if there exists a mapping F: I x I →E (I being the closed interval [0,1] ) which deforms one path continuously into the other. In practice, when two paths are homotopic and the mapping F is constructed, then the verification of all its required properties, with the possible exception of continuity, is trivial. The snag occurs when F is a combination of two or three functions on different subsets of I x I. Then the boundary lines between these subsets have to be given special consideration, and although the problems resulting are routine their disposal can involve some tedious calculation and repetition. In the development [l] of the fundamental group of a space, for example, this sort of situation comes up four or five times.

scholarly journals SKEW CATEGORY ALGEBRAS ASSOCIATED WITH PARTIALLY DEFINED DYNAMICAL SYSTEMS

2012 ◽  
Vol 23 (04) ◽  
pp. 1250040 ◽  
Author(s):  
PATRIK LUNDSTRÖM ◽  
JOHAN ÖINERT
Keyword(s):  
Dynamical Systems ◽  
Topological Space ◽  
Large Class ◽  
Additive Group ◽  
Nonzero Ideal ◽  
Intersection Property ◽  
The Other ◽  
The One ◽  
Category Algebras ◽  
The Ideal

We introduce partially defined dynamical systems defined on a topological space. To each such system we associate a functor s from a category G to Topop and show that it defines what we call a skew category algebra A ⋊σ G. We study the connection between topological freeness of s and, on the one hand, ideal properties of A ⋊σ G and, on the other hand, maximal commutativity of A in A ⋊σ G. In particular, we show that if G is a groupoid and for each e ∈ ob (G) the group of all morphisms e → e is countable and the topological space s(e) is Tychonoff and Baire. Then the following assertions are equivalent: (i) s is topologically free; (ii) A has the ideal intersection property, i.e. if I is a nonzero ideal of A ⋊σ G, then I ∩ A ≠ {0}; (iii) the ring A is a maximal abelian complex subalgebra of A ⋊σ G. Thereby, we generalize a result by Svensson, Silvestrov and de Jeu from the additive group of integers to a large class of groupoids.

GENERALIZED COMPOSITIONS OF FUZZY RELATIONS

2002 ◽  
Vol 10 (supp01) ◽  
pp. 149-163 ◽  
Author(s):  
JÓZEF DREWNIAK ◽  
KRZYSZTOF KULA
Keyword(s):  
Binary Operation ◽  
Identity Element ◽  
Fuzzy Relations ◽  
Triangular Norms ◽  
Algebraic Properties

We examine compositions of fuzzy relations based on a binary operation *. We discuss the dependences between algebraic properties of the operation * and the induced sup –* composition. It is examined independently for monotone operations, for operations with idempotent, zero or identity element, for distributive and associative operations. Finally, we present consequences of these results for compositions based on triangular norms, triangular conorms and uninorms.

Automorphism groups with some finiteness conditions

2017 ◽  
Vol 67 (4) ◽  
Author(s):  
Konrad Pióro
Keyword(s):  
Lower Bound ◽  
Binary Operation ◽  
Automorphism Groups ◽  
The Other ◽  
Finiteness Conditions ◽  
Other Hand ◽  
The Right

AbstractAll considered groups are torsion or do not contain infinitely generated subgroups. If such a groupNext, we show that ifThe Birkhoff’s construction can be slightly modified so as to obtain a smaller set of operations. In fact, it is enough to take the right multiplications by generators. Moreover, we show that this is the best possible lower bound for the number of unary operations in the case of groups considered here. If we admit non-unary operations, then for finite and countable groups we can reduce the number of operations to one binary operation. On the other hand, if

scholarly journals Study of T-norms and Quantum Logic Functions on BL-algebra and Their Relationships to the Classical Probability Structures

2020 ◽  
pp. 591-599
Author(s):  
Ahmed AL-Adilee ◽  
Habeeb Kareem Abdullah ◽  
Hawraa A. AL-Challabi
Keyword(s):  
Quantum Logic ◽  
Probability Space ◽  
Binary Operation ◽  
The Other ◽  
Symmetric Difference ◽  
Logic Function ◽  
Classical Probability ◽  
Binary Operations ◽  
Basic Probability ◽  
Logic Functions

This paper is concerned with the study of the T-norms and the quantum logic functions on BL-algebra, respectively, along with their association with the classical probability space. The proposed constructions depend on demonstrating each type of the T-norms with respect to the basic probability of binary operation. On the other hand, we showed each quantum logic function with respect to some binary operations in probability space, such as intersection, union, and symmetric difference. Finally, we demonstrated the main results that explain the relationships among the T-norms and quantum logic functions. In order to show those relations and their related properties, different examples were built.

scholarly journals A study of some aspects of topological groups

Filomat ◽  
2007 ◽  
Vol 21 (1) ◽  
pp. 55-65
Author(s):  
M.R. Adhikari ◽  
M. Rahaman
Keyword(s):  
Topological Group ◽  
Group Structure ◽  
Base Point ◽  
Homotopy Category ◽  
Topological Spaces ◽  
Topological Groups ◽  
Homotopy Classes ◽  
Continuous Maps

The aim of this paper is to find a generalization of topological groups. The concept arises out of the investigation to obtain a group structure on the set [X,Y], of homotopy classes of maps from a space X to a given space Y for all X which is natural with respect to X. We also study the generalized topological groups. Finally, associated with each generalized topological group we construct a contra variant functor from the homotopy category of pointed topological spaces and base point preserving continuous maps to the category of groups and homomorphism.

scholarly journals Computational Thinking in Mathematics and Computer Science: What Programming Does to Your Head

2021 ◽  
Vol 11 (1) ◽  
pp. 346-363
Author(s):  
Al Cuoco ◽  
Paul Goldenberg
Keyword(s):  
Computer Science ◽  
Classical Result ◽  
Computational Thinking ◽  
Computer Programs ◽  
The Other ◽  
Greatest Common Divisor ◽  
Euclid’S Algorithm ◽  
And Mathematics ◽  
Euclid's Algorithm

How you think about a phenomenon certainly influences how you create a program to model it. The main point of this essay is that the influence goes both ways: creating programs influences how you think. The programs we are talking about are not just the ones we write for a computer. Programs can be implemented on a computer or with physical devices or in your mind. The implementation can bring your ideas to life. Often, though, the implementation and the ideas develop in tandem, each acting as a mirror on the other. We describe an example of how programming and mathematics come together to inform and shape our interpretation of a classical result in mathematics: Euclid's algorithm that finds the greatest common divisor of two integers.

Products of lengths of line segments associated with elliptical chords

2006 ◽  
Vol 90 (517) ◽  
pp. 13-20 ◽  
Author(s):  
Thomas E. Price
Keyword(s):  
Unit Circle ◽  
Base Point ◽  
The Other ◽  
Line Segments ◽  
Related Article

Suppose the unit circle is divided into n > 1 equal arcs and points are placed at the ends of the arcs. Choose one of these points to be the ‘base point’ and draw chords connecting each of the other points to the base point. (See Figure 1 for the case n = 8.) Then the product of the lengths of these chords equals n (see Sichardt). In a related article, Eisemann considered the product of the lengths of the (nondegenerate) perpendiculars drawn from the centre of the unit circle to these chords.

Sign in / Sign up

Export Citation Format

Share Document