Tight connections between leaf languages and strings compressed by straightline programs (SLPs) are established. It is shown that the compressed membership problem for a language L is complete for the leaf language class defined by L via logspace machines. A more difficult variant of the compressed membership problem for L is shown to be complete for the leaf language class defined by L via pol...

generalization of Rosenfeld's fuzzy subgroup, and Bhakat and Das's fuzzy subgroup is given in [20]. Lie algebras are so-named in honor of Sophus Lie, a Norwegian mathematician who pioneered the study of these mathematical objects. Lie's discovery was tied to his investigation of continuous transformation groups and symmetries. The structure of the laws in physics is largely based on symmetries....

The purpose of this paper is to initiate the concept of n-dimensional (∈γ ,∈γ ∨qδ)-fuzzy subalgebra in BRK-algebra and investigate some of their related properties. We also show that the relationship between n-dimensional (∈γ ,∈γ ∨qδ)-fuzzy subalgebra and the crisp subalgebra in BRK-algebra are discussed.

The notions of coupled N -subalgebra, coupled (positive implicative) N -ideals of d-algebras are introduced, and related properties are investigated. Characterizations of a coupled N -subalgebra and a coupled (positive implicative) N -ideals of d-algebras are given. Relations among a coupled N -subalgebra, a coupled N -ideal and a coupled positive implicative N -ideal of d-algebras are discussed.

There have been several papers over the last ten years that consider the number of queries needed to compute a function as a measure of its complexity. The following function has been studied extensively in that light: Ft(xl,. . .,x0) = ,4(x,). .A(x,). We are interested in the complexity (in terms of the number of queries) of approximating Fi. Let b <a and let f be any function such that Ft(xl,...

Let Σ̄ be a Noetherian subalgebra equipped with a p-adic, one-to-one, completely parabolic equation. A central problem in potential theory is the computation of functions. We show that every measurable, analytically closed path is Minkowski. A central problem in arithmetic is the derivation of almost everywhere abelian paths. Therefore in future work, we plan to address questions of injectivity ...

We construct a counterexample to Solel’s[25] conjecture that the range of any contractive, idempotent, MASA bimodule map on B(H) is necessarily a ternary subalgebra. Our construction reduces this problem to an analogous problem about the ranges of idempotent maps that are equivariant with respect to a group action. Such maps are important to understand Hamana’s theory of G-injective operator sp...

We address three questions of Donald Monk. Two of them, [M2, Problems 50, 54], are related to attainment problems in equivalent definitions of hereditary density hd and hereditary Lindelöf degree hL. The third problem is [M2, Problem 14] and it is about subalgebra– Depth–relation. ∗ The second author thanks KBN (Polish Committee of Scientific Research) for partial support through grant 2 P03 A ...

The purpose of this paper is to define the notion of an interval-valued fuzzy BCI-subalgebra (briefly, an i-v fuzzy BCI-subalgebra) of a BCI-algebra. Necessary and sufficient conditions for an i-v fuzzy set to be an i-v fuzzy BCI-subalgebra are stated. A way to make a new i-v fuzzy BCI-subalgebra from old one is given. The images and inverse images of i-v fuzzy BCI-subalgebras are defined, and ...

Let H be a finite dimensional semisimple Hopf algebra over an algebraically closed field of characteristic zero. In this note we give a short proof of the fact that a Hopf subalgebra of H is a depth two subalgebra if and only if it is normal Hopf subalgebra.