相关论文: Symmetric Boolean Algebras

Following the usual definition of $\lambda$-symmetries of differential equations, we introduce the analogous concept for difference equations and apply it to some examples.

We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models and, hence, the results apply to a wide class of modal logics including, for example,…

This paper concerns the notion of a symmetric algebra and its generalization to a quasi-symmetric algebra. We study the structure of these algebras in respect to their hull-kernel regularity and existence of some ideals, especially the…

These notes present a compact and self-contained approach to iterated forcing with a particular emphasis on semiproper forcing. We tried to make our presentation accessible to any scholar who has some familiarity with forcing and boolean…

In this paper we give a new definition of symmetric special multiserial algebras in terms of defining cycles. As a consequence, we show that every special multiserial algebra is a quotient of a symmetric special multiserial algebra.

We give two examples where symmetric polynomials play an important role in physics: First, the partition functions of ideal quantum gases are closely related to certain symmetric polynomials, and a part of the corresponding theory has a…

The symmetries play important roles in physical systems. We study the symmetries of a Hamiltonian system by investigating the asymmetry of the Hamiltonian with respect to certain algebras. We define the asymmetry of an operator with respect…

In the paper the main attention is paid to conditions on algebras from a given variety which provide coincidence of their algebraic geometries. The main part here play the notions mentioned in the title of the paper.

We give a geometric method for determining the cohomology groups of a polyhedral product under suitable freeness conditions or with coefficients taken in a field. This is done by considering first the special case for which the pairs of…

We present higher order polynomial algebras which are the dynamical symmetry algebras of a wide class of multi-mode boson systems in non-linear optics. We construct their unitary representations and the corresponding single-variable…

In this paper, we study the symmetric rank of products of linear forms and an irreducible quadratic form. The main result presents a new, non-trivial lower bound for the rank, and the arguments rely on the apolarity lemma. In the special…

Lie derivatives of various geometrical and physical quantities define symmetries and conformal symmetries in general relativity. Thus we obtain motions, collineations, conformal motions and conformal collineations. These symmetries are used…

Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This…

In this paper we establish two symmetric identities on sums of products of Euler polynomials.

In this note, we outline the general development of a theory of symmetric homology of algebras, an analog of cyclic homology where the cyclic groups are replaced by symmetric groups. This theory is developed using the framework of crossed…

Valuations, as additive functionals, allow various applications in Stochastic Geometry, yielding mean value formulas for specific random closed sets and processes of convex or polyconvex particles. In particular, valuations are especially…

We consider homogeneity properties of Boolean algebras that have nonprincipal ultrafilters which are countably generated.It is shown that a Boolean algebra B is homogeneous if it is the union of countably generated nonprincipal ultrafilters…

There are versions of "calculus" in many settings, with various mixtures of algebra and analysis. In these informal notes we consider a few examples that suggest a lot of interesting questions.

We define a class of rational numbers including, as a particular case, the classical harmonic numbers. For one particular instance we apply it to the expansion into powers series of a special function, and also detail its relashionship with…

This is a survey on the amalgamated limit, a limit construction for complete Boolean algebras in iterated forcing theory, which generalizes both the direct limit and the two-step amalgamation. We focus in particular on examples of the…