Displaying similar documents to “The Double Tangency Symmetries in Laguerre Plane”

Central Automorphisms of Veblenian Nearaffine Planes

Kinga Cudna-Lasecka, Jan Jakóbowski (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

The paper deals with nearaffine planes described by H. A. Wilbrink. We consider their central automorphisms, i.e. automorphisms satisfying the Veblen condition, which become central collineations in connected projective planes. Moreover, a concept of central pseudo-automorphism is considered, i.e. some bijections in a nearaffine plane are not automorphisms but they become central collineations in the related projective planes.

A note on central automorphisms of groups

Giovanni Cutolo (1992)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

A characterization of central automorphisms of groups is given. As an application, we obtain a new proof of the centrality of power automorphisms.

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.

Notes on automorphisms of ultrapowers of II₁ factors

David Sherman (2009)

Studia Mathematica

Similarity:

In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II₁ factors. Here are some sample results: (1) an automorphism is approximately inner if and only if its ultrapower is ℵ₀-locally inner; (2) the ultrapower of an outer automorphism is always outer; (3) for unital *-homomorphisms from a separable nuclear C*-algebra into an ultrapower of a II₁ factor, equality of the induced traces...

Linear differential equations and Hurwitz series

William F. Keigher, V. Ravi Srinivasan (2011)

Banach Center Publications

Similarity:

In this article, we study solutions of linear differential equations using Hurwitz series. We first obtain explicit recursive expressions for solutions of such equations and study the group of differential automorphisms of the solutions. Moreover, we give explicit formulas that compute the group of differential automorphisms. We require neither that the underlying field be algebraically closed nor that the characteristic of the field be zero.

On the automorphisms of the spectral unit ball

Jérémie Rostand (2003)

Studia Mathematica

Similarity:

Let Ω be the spectral unit ball of Mₙ(ℂ), that is, the set of n × n matrices with spectral radius less than 1. We are interested in classifying the automorphisms of Ω. We know that it is enough to consider the normalized automorphisms of Ω, that is, the automorphisms F satisfying F(0) = 0 and F'(0) = I, where I is the identity map on Mₙ(ℂ). The known normalized automorphisms are conjugations. Is every normalized automorphism a conjugation? We show that locally, in a neighborhood of a...

Group of Homography in Real Projective Plane

Roland Coghetto (2017)

Formalized Mathematics

Similarity:

Using the Mizar system [2], we formalized that homographies of the projective real plane (as defined in [5]), form a group. Then, we prove that, using the notations of Borsuk and Szmielew in [3] “Consider in space ℝℙ2 points P1, P2, P3, P4 of which three points are not collinear and points Q1,Q2,Q3,Q4 each three points of which are also not collinear. There exists one homography h of space ℝℙ2 such that h(Pi) = Qi for i = 1, 2, 3, 4.” (Existence Statement 52 and Existence Statement 53)...

Pascal’s Theorem in Real Projective Plane

Roland Coghetto (2017)

Formalized Mathematics

Similarity:

In this article we check, with the Mizar system [2], Pascal’s theorem in the real projective plane (in projective geometry Pascal’s theorem is also known as the Hexagrammum Mysticum Theorem)1. Pappus’ theorem is a special case of a degenerate conic of two lines. For proving Pascal’s theorem, we use the techniques developed in the section “Projective Proofs of Pappus’ Theorem” in the chapter “Pappus’ Theorem: Nine proofs and three variations” [11]. We also follow some ideas from Harrison’s...