Related papers: Extending $\pi$-systems to bases of root systems

A group $G$ is called root graded if it has a family of subgroups $G_\alpha$ indexed by roots from a root system $\Phi$ satisfying natural conditions similar to Chevalley groups over commutative unital rings. For any such group there is a…

We study a family of piecewise expanding maps on the plane, generated by composition of a rotation and an expansive similitude of expansion constant $\beta$. We give two constants $B_1$ and $B_2$ depending only on the fundamental domain…

A doubly infinite set of series expansion for $1/\pi$ are reported. They follow trivially from a formal expansion for the quotient of the values taken by the gamma function for two (complex) arguments differing by an integer plus one half,…

This is an exposition in order to give an explicit way to understand (1) a non-topological proof for an existence of a base of an affine root system, (2) a Serre-type definition of an elliptic Lie algebra with rank =>2, and (3) the…

We introduce and study a combinatorially defined notion of root basis of a (real) root system of a possibly infinite Coxeter group. Known results on conjugacy up to sign of root bases of certain irreducible finite rank real root systems are…

This article establishes some elementary dualities for root systems with automorphisms. We give several applications to reductive groups over nonarchimedean local fields: (1) the proof of a conjecture of Pappas-Rapoport-Smithling…

We revisit the concept of special algebras, also known as \textit{purely inseparable ring extensions}. This concept extends the notion of purely inseparable field extensions to the more general context of extensions of commutative rings. We…

The notion of a root functional of a system of polynomials or ideal of polynomials is a generalization of the notion of a root, in particular, for a multiple root. A root functional is a linear functional that is defined on a polynomial…

Let R be an o-minimal expansion of the real field, and let L(R) be the language consisting of all nested Rolle leaves over R. We call a set nested subpfaffian over R if it is the projection of a boolean combination of definable sets and…

An open partition \pi{} [Cod09a, Cod09b] of a tree T is a partition of the vertices of T with the property that, for each block B of \pi, the upset of B is a union of blocks of \pi. This paper deals with the number, NP(n), of open…

Root systems are sets with remarkable symmetries and therefore they appear in many situations in mathematics. Among others, denominator formulae of root systems are very beautiful and mysterious equations which have several meanings from a…

We study $\alpha$-adic expansions of numbers in an extension field, that is to say, left infinite representations of numbers in the positional numeration system with the base $\alpha$, where $\alpha$ is an algebraic conjugate of a Pisot…

We consider extension of a closure system on a finite set S as a closure system on the same set S containing the given one as a sublattice. A closure system can be represented in different ways, e.g. by an implicational base or by the set…

A module is called absolutely indecomposable if it is directly indecomposable in every generic extension of the universe. We want to show the existence of large abelian groups that are absolutely indecomposable. This will follow from a more…

We prove that every automorphism of the restricted root system of a real semisimple Lie algebra -- when defined properly -- can be lifted to an automorphism of that Lie algebra. In particular, this can be applied to automorphisms of the…

The traditional Pi-theorem tells us that for any dimensionally invariant relation there exists a full set of independent dimensionless "Pi groups" which can be used to nondimensionalise the relation. In this paper, we seek to understand…

We prove that the complement of a $\sigma$-compact subset of a topological space that has a $\pi$-tree also has a $\pi$-tree. To do this, we construct the foliage hybrid operation, which deals with foliage trees (that is, set-theoretic…

A set of real $n$th roots that is pairwise linearly independent over the rationals must also be linearly independent. We show how this result may be extended to more general fields.

A cycle basis in an undirected graph is a minimal set of simple cycles whose symmetric differences include all Eulerian subgraphs of the given graph. We define a rooted cycle basis to be a cycle basis in which all cycles contain a specified…

We prove that any incomplete system of complex exponentials $\{e^{i\lambda_n t}\}$ in $L^2(-\pi,\pi)$ is a subset of some complete and minimal system of exponentials. In addition, we prove analogous statement for systems of reproducing…