Topological Frobenius Reciprocity for Projective Limits of Lie Groups.
R. Felix, R.W. Henrichs, H. Skudlarek (1979)
Mathematische Zeitschrift
Similarity:
Displaying similar documents to “Lie-projective groups.”
Topological Frobenius Reciprocity for Projective Limits of Lie Groups.
Projective Lie Algebra Bases of a Locally Compact Group and Uniform Differentiability.
Eike Born (1988/89)
Mathematische Zeitschrift
Similarity:
Large automorphism groups of 16-dimensional planes are Lie groups.
Priwitzer, Barbara, Salzmann, Helmut (1998)
Journal of Lie Theory
Similarity:
-projective symmetries of fibered manifolds
Cătălin Tigăeru (1998)
Archivum Mathematicum
Similarity:
We prove that the set of the -projective symmetries is a Lie algebra.
Combinatorial Grassmannians
Andrzej Owsiejczuk (2007)
Formalized Mathematics
Similarity:
In the paper I construct the configuration G which is a partial linear space. It consists of k-element subsets of some base set as points and (k + 1)-element subsets as lines. The incidence is given by inclusion. I also introduce automorphisms of partial linear spaces and show that automorphisms of G are generated by permutations of the base set.
Homography in ℝℙ
Roland Coghetto (2016)
Formalized Mathematics
Similarity:
The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by Nicolas Magaud, Julien Narboux and Pascal Schreck [12]. Some definitions on the real projective spaces were introduced early in the Mizar Mathematical Library by Wojciech Leonczuk [9], Krzysztof Prazmowski [10] and by Wojciech Skaba [18]. In this article, we check with the Mizar system [4], some properties on the determinants and the Grassmann-Plücker relation in rank 3 [2], [1], [7],...
Projective spaces of second order.
Andrzej Miernowski, Witold Mozgawa (1997)
Collectanea Mathematica
Similarity:
Grassmannians of higher order appeared for the first time in a paper of A. Szybiak in the context of the Cartan method of moving frame. In the present paper we consider a special case of higher order Grassmannian, the projective space of second order. We introduce the projective group of second order acting on this space, derive its Maurer-Cartan equations and show that our generalized projective space is a homogeneous space of this group.
On the coexistence of various geometries
Marek Kordos (1989)
Colloquium Mathematicae
Similarity:
A projective characterization of cyclicity.
Boskoff, Wladimir G., Suceavă, Bogdan D. (2008)
Beiträge zur Algebra und Geometrie
Similarity:
Deforming real projective structures.
Gallo, Daniel M. (1997)
Annales Academiae Scientiarum Fennicae. Mathematica
Similarity:
Lie systems: theory, generalisations, and applications
J. F. Cariñena, J. de Lucas
Similarity:
Lie systems form a class of systems of first-order ordinary differential equations whose general solutions can be described in terms of certain finite families of particular solutions and a set of constants, by means of a particular type of mapping: the so-called superposition rule. Apart from this fundamental property, Lie systems enjoy many other geometrical features and they appear in multiple branches of mathematics and physics. These facts, together with the authors' recent findings...