Search results for "Universal Algebra"
showing 10 items of 93 documents
The adiabatic strictly-correlated-electrons functional : kernel and exact properties
2016
We investigate a number of formal properties of the adiabatic strictly-correlated electrons (SCE) functional, relevant for time-dependent potentials and for kernels in linear response time-dependent density functional theory. Among the former, we focus on the compliance to constraints of exact many-body theories, such as the generalised translational invariance and the zero-force theorem. Within the latter, we derive an analytical expression for the adiabatic SCE Hartree exchange-correlation kernel in one dimensional systems, and we compute it numerically for a variety of model densities. We analyse the non-local features of this kernel, particularly the ones that are relevant in tackling p…
ChemInform Abstract: Modular Metal Chalcogenide Chemistry: Secondary Building Blocks as a Basis of the Silicate-Type Framework Structure of CsLiU(PS4…
2012
The new title compound is synthesized from a mixture of U, P2S5, Li2S, Cs2S, and S in the molar ratio 2:2:1:1:4 (sealed silica tube, 700 °C, 3 d).
Permutability of injectors with a central socle in a finite solvable group
2017
In response to an Open Question of Doerk and Hawkes [5, IX Section 3, page 615], we shall show that if Zπ is the Fitting class formed by the finite solvable groups whose π-socle is central (where π is a set of prime numbers), then the Zπ-injectors of a finite solvable group G permute with the members of a Sylow basis in G. The proof depends on the properties of certain extraspecial groups [4].
Are locally finite MV-algebras a variety?
2021
We answer Mundici's problem number 3 (D. Mundici. Advanced {\L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? We prove: (i) The category of locally finite MV-algebras is not equivalent to any finitary variety. (ii) More is true: the category of locally finite MV-algebras is not equivalent to any finitely-sorted finitary quasi-variety. (iii) The category of locally finite MV-algebras is equivalent to an infinitary variety; with operations of at most countable arity. (iv) The category of locally finite MV-algebras is equivalent to a countably-sorted finitary variety. Our proofs rest upon th…
Correspondence between some metabelian varieties and left nilpotent varieties
2021
Abstract In the class of left nilpotent algebras of index two it was proved that there are no varieties of fractional polynomial growth ≈ n α with 1 α 2 and 2 α 3 instead it was established the existence of a variety of fractional polynomial growth with α = 7 2 . In this paper we investigate similar problems for varieties of commutative or anticommutative metabelian algebras. We construct a correspondence between left nilpotent algebras of index two and commutative metabelian algebras or anticommutative metabelian algebras and we prove that the codimensions sequences of the corresponding algebras coincide up to a constant. This allows us to transfer the above results concerning varieties of…
On a Linear Diophantine Problem of Frobenius: Extending the Basis
1998
LetXk={a1, a2, …, ak},k>1, be a subset of N such that gcd(Xk)=1. We shall say that a natural numbernisdependent(onXk) if there are nonnegative integersxisuch thatnhas a representationn=∑ki=1 xiai, elseindependent. The Frobenius numberg(Xk) ofXkis the greatest integer withnosuch representation. Selmer has raised the problem of extendingXkwithout changing the value ofg. He showed that under certain conditions it is possible to add an elementc=a+kdto the arithmetic sequencea,a+d,a+2d, …, a+(k−1) d, gcd(a, d)=1, without alteringg. In this paper, we give the setCof all independent numberscsatisfyingg(A, c)=g(A), whereAcontains the elements of the arithmetic sequence. Moreover, ifa>kthen we give …
Hypergraph functor and attachment
2010
Using an arbitrary variety of algebras, the paper introduces a fuzzified version of the notion of attachment in a complete lattice of Guido, to provide a common framework for the concept of hypergraph functor considered by different authors in the literature. The new notion also gives rise to a category of variable-basis topological spaces which is a proper supercategory of the respective category of Rodabaugh.
Nilpotent length and system permutability
2022
Abstract If C is a class of groups, a C -injector of a finite group G is a subgroup V of G with the property that V ∩ K is a C -maximal subgroup of K for all subnormal subgroups K of G. The classical result of B. Fischer, W. Gaschutz and B. Hartley states the existence and conjugacy of F -injectors in finite soluble groups for Fitting classes F . We shall show that for groups of nilpotent length at most 4, F -injectors permute with the members of a Sylow basis in the group. We shall exhibit the construction of a Fitting class and a group of nilpotent length 5, which fail to satisfy the result and show that the bound is the best possible.
Varieties with at most quadratic growth
2010
Let V be a variety of non necessarily associative algebras over a field of characteristic zero. The growth of V is determined by the asymptotic behavior of the sequence of codimensions cn(V); n = 1; 2, … and here we study varieties of polynomial growth. Recently, for any real number a, 3 < a < 4, a variety V was constructed satisfying C1n^a < cn(V) < C2n^a; for some constants C1;C2. Motivated by this result here we try to classify all possible growth of varieties V such that cn(V) < Cn^a; with 0 < a < 2, for some constant C. We prove that if 0 < a < 1 then, for n large, cn(V) ≤ 1, whereas if V is a commutative variety and 1 < a < 2, then lim logn cn(V) = 1 o…
On the exponential growth of graded Capelli polynomials
2013
In a free superalgebra over a field of characteristic zero we consider the graded Capelli polynomials Cap M+1[Y,X] and Cap L+1[Z,X] alternating on M+1 even variables and L+1 odd variables, respectively. Here we compute the superexponent of the variety of superalgebras determinated by Cap M+1[Y,X] and Cap L+1[Z,X]. An essential tool in our computation is the generalized-six-square theorem proved in [3].