A class of nilpotent Lie algebras admitting a compact subgroup of automorphisms

Abstract The realification of the ( 2 n + 1 ) -dimensional complex Heisenberg Lie algebra is a ( 4 n + 2 ) -dimensional real nilpotent Lie algebra with a 2-dimensional commutator ideal coinciding with the centre, and admitting the compact algebra sp ( n ) of derivations. We investigate, in general, whether a real nilpotent Lie algebra with 2-dimensional commutator ideal coinciding with the centre admits a compact Lie algebra of derivations. This also gives us the occasion to revisit a series of classic results, with the expressed aim of attracting the interest of a broader audience.

Multiplicative loops of 2-dimensional topological quasifields

We determine the algebraic structure of the multiplicative loops for locally compact $2$-dimensional topological connected quasifields. In particular, our attention turns to multiplicative loops which have either a normal subloop of positive dimension or which contain a $1$-dimensional compact subgroup. In the last section we determine explicitly the quasifields which coordinatize locally compact translation planes of dimension $4$ admitting an at least $7$-dimensional Lie group as collineation group.

k-rational generators of elliptic curves and abelian varieties

On 2-(n^2,2n,2n-1) designs with three intersection numbers

The simple incidence structure $${\mathcal{D}(\mathcal{A},2)}$$ , formed by the points and the unordered pairs of distinct parallel lines of a finite affine plane $${\mathcal{A}=(\mathcal{P}, \mathcal{L})}$$ of order n > 4, is a 2 --- (n 2,2n,2n---1) design with intersection numbers 0,4,n. In this paper, we show that the converse is true, when n ? 5 is an odd integer.

Binomial coefficients modulo p^2

Steiner Loops of Affine Type

Steiner loops of affine type are associated to arbitrary Steiner triple systems. They behave to elementary abelian 3-groups as arbitrary Steiner Triple Systems behave to affine geometries over GF(3). We investigate algebraic and geometric properties of these loops often in connection to configurations. Steiner loops of affine type, as extensions of normal subloops by factor loops, are studied. We prove that the multiplication group of every Steiner loop of affine type with n elements is contained in the alternating group An and we give conditions for those loops having An as their multiplication groups (and hence for the loops being simple).

Su certe classi di gruppi unipotenti

We introduce some results characterizing unipotent algebraic groups having a chain as the lattice of connected subgroups and we discuss some consequent results.

Fermat quotient and the p-th root of a p-adic integer

The action of a compact Lie group on nilpotent Lie algebras of type {{n,2}}

Abstract We classify finite-dimensional real nilpotent Lie algebras with 2-dimensional central commutator ideals admitting a Lie group of automorphisms isomorphic to SO 2 ⁢ ( ℝ ) ${{\mathrm{SO}}_{2}(\mathbb{R})}$ . This is the first step to extend the class of nilpotent Lie algebras 𝔥 ${{\mathfrak{h}}}$ of type { n , 2 } ${\{n,2\}}$ to solvable Lie algebras in which 𝔥 ${{\mathfrak{h}}}$ has codimension one.

Solvable Extensions of Nilpotent Complex Lie Algebras of Type {2n,1,1}

We investigate derivations of nilpotent complex Lie algebras of type {2n, 1, 1} with the aim to classify nilpotent complex Lie algebras the commutator ideals of which have codimension one and are nilpotent Lie algebras of type {2n, 1, 1}

Universal scaling for the quantum Ising chain with a classical impurity

We study finite size scaling for the magnetic observables of an impurity residing at the endpoint of an open quantum Ising chain in a transverse magnetic field, realized by locally rescaling the magnetic field by a factor $\mu \neq 1$. In the homogeneous chain limit at $\mu = 1$, we find the expected finite size scaling for the longitudinal impurity magnetization, with no specific scaling for the transverse magnetization. At variance, in the classical impurity limit, $\mu = 0$, we recover finite scaling for the longitudinal magnetization, while the transverse one basically does not scale. For this case, we provide both analytic approximate expressions for the magnetization and the susceptib…

Monothetic algebraic groups

AbstractWe call an algebraic group monothetic if it possesses a dense cyclic subgroup. For an arbitrary field k we describe the structure of all, not necessarily affine, monothetic k-groups G and determine in which cases G has a k-rational generator.

Locally compact (2, 2)-transformation groups

We determine all locally compact imprimitive transformation groups acting sharply 2-transitively on a non-totally disconnected quotient space of blocks inducing on any block a sharply 2-transitive group and satisfying the following condition: if Δ1, Δ2 are two distinct blocks and Pi, Qi ∈ Δi (i = 1, 2), then there is just one element in the inertia subgroup which maps Pi onto Qi. These groups are natural generalizations of the group of affine mappings of the line over the algebra of dual numbers over the field of real or complex numbers or over the skew-field of quaternions. For imprimitive locally compact groups, our results correspond to the classical results of Kalscheuer for primitive l…

The periods of the generalized Jacobian of a complex elliptic curve

Abstract We show that the toroidal Lie group G = ℂ2/Λ, where Λ is the lattice generated by (1, 0), (0, 1) and (τ̂, τ͂), with τ̂ ∉ ℝ, is isomorphic to the generalized Jacobian JL of the complex elliptic curve C with modulus τ̂, defined by any divisor class L ≡ (M) + (N) of C fulfilling M − N = [℘ (τ͂) : ℘´(τ͂) : 1] ∈ C. This follows from an apparently new relation between the Weierstrass sigma and elliptic functions.

Kronecker modules and reductions of a pair of bilinear forms

We give a short overview on the subject of canonical reduction of a pair of bilinear forms, each being symmetric or alternating, making use of the classification of pairs of linear mappings between vector spaces given by J. Dieudonné.

A spinorial decomposition of gl_4(R)

We determine six invariant subspaces of the 16-dimensional space gl_4(R) under the conjugation by any element in Spin_3(R). Four of them add up to the 10-dimensional space of symmetric matrices and the other two add up to the 6-dimensional space of skew-symmetric matrices.

Algebraic Groups and Lie Groups with Few Factors

In the theory of locally compact topological groups, the aspects and notions from abstract group theory have conquered a meaningful place from the beginning (see New Bibliography in [44] and, e.g. [41–43]). Imposing grouptheoretical conditions on the closed connected subgroups of a topological group has always been the way to develop the theory of locally compact groups along the lines of the theory of abstract groups. Despite the fact that the class of algebraic groups has become a classical object in the mathematics of the last decades, most of the attention was concentrated on reductive algebraic groups. For an affine connected solvable algebraic group G, the theorem of Lie–Kolchin has b…

Derivations of the (n, 2, 1)-nilpotent Lie Algebra

In this paper, we study derivations of the (2, n, 1)-nilpotent Lie Algebra

Trigonometry on a finite cyclic group

Multiplicative Loops of Quasifields Having Complex Numbers as Kernel

We determine the multiplicative loops of locally compact connected 4-dimensional quasifields Q having the field of complex numbers as their kernel. In particular, we turn our attention to multiplicative loops which have either a normal subloop of dimension one or which contain a subgroup isomorphic to $$Spin_3({\mathbb {R}})$$ . Although the 4-dimensional semifields Q are known, their multiplicative loops have interesting Lie groups generated by left or right translations. We determine explicitly the quasifields Q which coordinatize locally compact translation planes of dimension 8 admitting an at least 16-dimensional Lie group as automorphism group.

Nilpotent Lie algebras with 2-dimensional commutator ideals

Abstract We classify all (finitely dimensional) nilpotent Lie k -algebras h with 2-dimensional commutator ideals h ′ , extending a known result to the case where h ′ is non-central and k is an arbitrary field. It turns out that, while the structure of h depends on the field k if h ′ is central, it is independent of k if h ′ is non-central and is uniquely determined by the dimension of h . In the case where k is algebraically or real closed, we also list all nilpotent Lie k -algebras h with 2-dimensional central commutator ideals h ′ and dim k h ⩽ 11 .

NEAR-RINGS AND GROUPS OF AFFINE MAPPINGS

We classify semi-topological locally compact and semi-algebraic near-rings R where the set of non-invertible elements of R forms an ideal I of R such that the multiplicative group of R/I acts sharply transitively on I\{0}. To achieve our results we use as a main tool the classi cation of locally compact and algebraic (2; 2)-transformation groups given in two previuos papers.

Cyclotomic Polynomials and Finite Automorphisms of Groups

We introduce minimal polynomials for finite automorphisms of commutative groups and relate them to the exponent of the fixed points and to the reducibility of the group. Some results can be extended to the noncommutative case.

On the additivity of block designs

We show that symmetric block designs $${\mathcal {D}}=({\mathcal {P}},{\mathcal {B}})$$D=(P,B) can be embedded in a suitable commutative group $${\mathfrak {G}}_{\mathcal {D}}$$GD in such a way that the sum of the elements in each block is zero, whereas the only Steiner triple systems with this property are the point-line designs of $${\mathrm {PG}}(d,2)$$PG(d,2) and $${\mathrm {AG}}(d,3)$$AG(d,3). In both cases, the blocks can be characterized as the only k-subsets of $$\mathcal {P}$$P whose elements sum to zero. It follows that the group of automorphisms of any such design $$\mathcal {D}$$D is the group of automorphisms of $${\mathfrak {G}}_\mathcal {D}$$GD that leave $$\mathcal {P}$$P in…

Witt vectors and Fermat quotients

Abstract We give a representation of any integer as a vector of the Witt ring W ( Z p ) and relate it to the Fermat quotient q ( n ) = ( n p − 1 − 1 ) / p . Logarithms are introduced in order to establish an isomorphism between the commutative unipotent groups 1 + p W ( Z p ) and W ( Z p ) .

A short survey on Lie theory and Finsler geometry

The aim of this chapter is to provide readers with a common thread to the many topics dealt with in this book, which is intermediate and which aims at postgraduate students and young researchers, wishing to intrigue those who are not experts in some of the topics. We also hope that this book will contribute in encouraging new collaborations among disciplines which have stemmed from related problems. In this context, we take the opportunity to recommend the book by Hawkins [18]. A basic bibliography is outlined between the lines.

Binary Hamming codes and Boolean designs

AbstractIn this paper we consider a finite-dimensional vector space $${\mathcal {P}}$$ P over the Galois field $${\text {GF}}(2),$$ GF ( 2 ) , and the family $${\mathcal {B}}_k$$ B k (respectively, $${\mathcal {B}}_k^*$$ B k ∗ ) of all the k-sets of elements of $$\mathcal {P}$$ P (respectively, of $${\mathcal {P}}^*= {\mathcal {P}} \setminus \{0\}$$ P ∗ = P \ { 0 } ) summing up to zero. We compute the parameters of the 3-design $$({\mathcal {P}},{\mathcal {B}}_k)$$ ( P , B k ) for any (necessarily even) k, and of the 2-design $$({\mathcal {P}}^{*},{\mathcal {B}}_k^{*})$$ ( P ∗ , B k ∗ ) for any k. Also, we find a new proof for the weight distribution of the binary Hamming code. Moreover, we…

Our Friend and Mathematician Karl Strambach

This paper is dedicated to Karl Strambach on the occasion of his 80th birthday. Here we want to describe our work with Prof. Karl Strambach.

Kirkman's tetrahedron and the fifteen schoolgirl problem

We give a visual construction of two solutions to Kirkman's fifteen schoolgirl problem by combining the fifteen simplicial elements of a tetrahedron. Furthermore, we show that the two solutions are nonisomorphic by introducing a new combinatorial algorithm. It turns out that the two solutions are precisely the two nonisomorphic arrangements of the 35 projective lines of PG(3,2) into seven classes of five mutually skew lines. Finally, we show that the two solutions are interchanged by the canonical duality of the projective space.

Permutations of zero-sumsets in a finite vector space

Abstract In this paper, we consider a finite-dimensional vector space 𝒫 {{\mathcal{P}}} over the Galois field GF ⁡ ( p ) {\operatorname{GF}(p)} , with p being an odd prime, and the family ℬ k x {{\mathcal{B}}_{k}^{x}} of all k-sets of elements of 𝒫 {\mathcal{P}} summing up to a given element x. The main result of the paper is the characterization, for x = 0 {x=0} , of the permutations of 𝒫 {\mathcal{P}} inducing permutations of ℬ k 0 {{\mathcal{B}}_{k}^{0}} as the invertible linear mappings of the vector space 𝒫 {\mathcal{P}} if p does not divide k, and as the invertible affinities of the affine space 𝒫 {\mathcal{P}} if p divides k. The same question is answered also in the case where …

Universal scaling of a classical impurity in the quantum Ising chain

We study finite size scaling for the magnetic observables of an impurity residing at the endpoint of an open quantum Ising chain in a transverse magnetic field, realized by locally rescaling the magnetic field by a factor $\mu \neq 1$. In the homogeneous chain limit at $\mu = 1$, we find the expected finite size scaling for the longitudinal impurity magnetization, with no specific scaling for the transverse magnetization. At variance, in the classical impurity limit, $\mu = 0$, we recover finite scaling for the longitudinal magnetization, while the transverse one basically does not scale. For this case, we provide both analytic approximate expressions for the magnetization and the susceptib…

Additivity of affine designs

We show that any affine block design $$\mathcal{D}=(\mathcal{P},\mathcal{B})$$ is a subset of a suitable commutative group $${\mathfrak {G}}_\mathcal{D},$$ with the property that a k-subset of $$\mathcal{P}$$ is a block of $$\mathcal{D}$$ if and only if its k elements sum up to zero. As a consequence, the group of automorphisms of any affine design $$\mathcal{D}$$ is the group of automorphisms of $${\mathfrak {G}}_\mathcal{D}$$ that leave $$\mathcal P$$ invariant. Whenever k is a prime p,  $${\mathfrak {G}}_\mathcal{D}$$ is an elementary abelian p-group.

Algebraic Frobenius groups

Centralizers of unipotent subgroups

Lie Groups, Differential Equations, and Geometry. Advances and Surveys

This book collects a series of contributions addressing the various contexts in which the theory of Lie groups is applied. A preliminary chapter serves the reader both as a basic reference source and as an ongoing thread that runs through the subsequent chapters. From representation theory and Gerstenhaber algebras to control theory, from differential equations to Finsler geometry and Lepage manifolds, the book introduces young researchers in Mathematics to a wealth of different topics, encouraging a multidisciplinary approach to research. As such, it is suitable for students in doctoral courses, and will also benefit researchers who want to expand their field of interest.