Iterative Algebras without Projections

We deal with iterative algebras of functions of -valued logic lacking projections, which we call algebras without projections. It is shown that a partially ordered set of algebras of functions of -valued logic, for , without projections contains an interval isomorphic to the lattice of all iterative algebras of functions of -valued logic. It is found out that every algebra without projections is contained in some maximal algebra without projections, which is the stabilizer of a semigroup of non-surjective transformations of the basic set. It is proved that the stabilizer of a semigroup of all monotone non-surjective transformations of a linearly ordered 3-element set is not a maximal algebra without projections, but the stabilizer of a semigroup of all transformations preserving an arbitrary non one-element subset of the basic set is.     

On Poisson–Malcev Structures

Malcev–Poisson structure on a manifold is analogous to a Poisson structure with the Lie identity replaced by a slightly more general Malcev identity. Examples of such structures arise naturally. In the second part of the paper we study Malcev bialgebras. A theorem of characterization is proved.     

The Lattice of Deductive Systems on Hilbert Algebras

The concept of deductive system on a Hilbert algebra was introduced by A. Diego. We show that the set Ded A of all deductive systems on a Hilbert algebra A forms an algebraic lattice which is distributive.AMS Classification (2000): 06F35, 03G25, 08A30     

Computation of Almost Split Sequences with Applications to Relatively Projective and Prinjective Modules

Let be an Artin algebra, let mod be the category of finitely generated -modules, and let Amod be a contravariantly finite and extension closed subcategory. For an indecomposable and not Ext-projective module CA, we compute the almost split sequence 0ABC0 in A from the almost split sequence 0DTrCEC0 in mod. Since the computation is particularly simple if the minimal right A-approximation of DTrC is indecomposable for all indecomposable and not Ext-projective CA, we manufacture subcategories A with the desired property using orthogonal subcategories. The method of orthogonal subcategories is applied to compute almost split sequences for relatively projective and prinjective modules.     

Symmetry of the Barochronous Motions of a Gas

We study the system of nonlinear differential equations which expresses the constancy of the algebraic invariants of the Jacobian matrix for smooth vector fields in three-dimensional space. This system is equivalent to the equations of gas dynamics which describe the barochronous motions of a gas (the pressure and density depend only on the time). We present the results of computation of the admissible local Lie group and construction of the general solution of the system. We mention a few new problems that arise here.     

KamiWaAI – interactive 3D sketching with Java based on Cl(4, 1) conformal model of Euclidean space

This paper introduces the new interactive Java sketching software KamiWaAi, recently developed at the University of Fukui. Its graphical user interface enables the user without any knowledge of both mathematics or computer science, to do full three dimensional “drawings” on the screen. The resulting constructions can be reshaped interactively by dragging its points over the screen. The programming approach is new. KamiWaAi implements geometric objects like points, lines, circles, spheres, etc. directly as software objects (Java classes) of the same name. These software objects are geometric entities mathematically defined and manipulated in a conformal geometric algebra, combining the five dimensions of origin, three space and infinity. Simple geometric products in this algebra represent geometric unions, intersections, arbitrary rotations and translations, projections, distance, etc. To ease the coordinate free and matrix free implementation of this fundamental geometric product, a new algebraic three level approach is presented. Finally details about the Java classes of the new GeometricAlgebra software package and their associated methods are given. KamiWaAi is available for free internet download.     

nvolutorial Płonka sums

The construction of the sum of a direct (semilattice ordered) system of algebras introduced by J. Plonka – later known as the Plonka sum – is one of the most important methods of composition in universal algebra, having a number of applications in different algebraic theories, such as semigroup theory, semiring theory, etc. In this paper we present a more general way for constructing algebras with involution, that is, algebraic systems equipped with a unary involutorial operation which is at the same time an antiautomorphism of the underlying algebra. It is the sum – involutorial Plonka sum, as we call it – of an involution semilattice ordered system of algebras. We investigate its basic properties, as well as the problem of its subdirect decomposition.     

Prolongations of Vector Fields on Lie Groups and Homogeneous Spaces

We introduce the notion of the -prolongation of Lie algebras of differential operators on homogeneous spaces. The -prolongations are topological invariants that coincide with one-dimensional cohomologies of the corresponding Lie algebras in the case where V is a homogeneous space. We apply the obtained results to the spaces S ¹ (the Virasoro algebra) and .     

A continuous function space with a Faber basis

Let be compact with #S=∞ and let C(S) be the set of all real continuous functions on S. We ask for an algebraic polynomial sequence (P_n)_n=0^∞ with deg P_n=n such that every fC(S) has a unique representation f=∑_i=0^∞ α_iP_i and call such a basis Faber basis. In the special case of , 0<q<1, we prove the existence of such a basis. A special orthonormal Faber basis is given by the so-called little q-Legendre polynomials. Moreover, these polynomials state an example with A(S_q)≠U(S_q)=C(S_q), where A(S_q) is the so-called Wiener algebra and U(S_q) is the set of all fC(S_q) which are uniquely represented by its Fourier series.     

A Generalization of a Two-Parameter Quantization for the Group GL 2(k)

We generalize a well-known two-parameter quantization for the group GL ₂(k) (over an arbitrary field k). Specifically, a certain class of Hopf algebras is constructed containing that quantization. The algebras are constructed given an arbitrary coalgebra and an arbitrary pair of its commuting anti-isomorphisms, and are defined by quadratic relations. They are densely linked to the compact quantum groups introduced by Woronowicz. We give examples of Hopf algebras that can be rowed up to the two-parameter quantization for GL ₂(k).