ON CONDITIONS PROVIDED BY NILRADICALS

Moduli of Einstein and Non-Einstein Nilradicals

The subject of left-invariant Ricci soliton metrics on nilpotent Lie groups has enjoyed quite a bit of attention in the past several years. These metrics are intimately related to left-invariant Einstein metrics on non-unimodular solvable Lie groups. In fact, a classification of one is equivalent to a classification of the other. In this note, we focus our attention on nilpotent Lie groups and ...

On Defining the Service Provided by TCP

Should Clinical Services Provided by Pharmacists be Compensated?

Auditing User-Provided Axioms in Software Verification Conditions

A common approach to formally checking assertions inserted into a program is to first generate verification conditions, logical sentences that, if then proven, ensure the assertions are correct. Sometimes users provide axioms that get incorporated into verification conditions. Such axioms can capture aspects of the program’s specification or can be hints to help automatic provers. There is alwa...

Solvable Lie algebras with triangular nilradicals

All finite-dimensional indecomposable solvable Lie algebras L(n, f), having the triangular algebra T (n) as their nilradical, are constructed. The number of nonnilpotent elements f in L(n, f) satisfies 1 ≤ f ≤ n− 1 and the dimension of the Lie algebra is dim L(n, f) = f + 1 2 n(n − 1).