Most learning systems applied to problem solving have the goal of learning knowledge for solving problems more eeciently. However, very few systems have focused on the acquisition of planning operator descriptions. In this paper, we present a system that learns operator deenitions from the interaction with a completely unknown environment. In order to achieve better learning convergence, severa...

Let G be a simple algebraic group over C with the Weyl group W . For a unipotent element u ∈ G, let Bu be the variety of Borel subgroups of G containing u. Let L be a Levi subgroup of a parabolic subgroup of G with the Weyl subgroup WL of W . Assume that u ∈ L and let B L u be a similar variety as Bu for L. We describe, for a certain choice of u ∈ L and e ≥ 1, the W -module ⊕ n≡k mod e H2n(Bu) ...

Motivated by quotient algorithms, such as the well-known $p$-quotient or solvable we describe how to compute extensions $\tilde H$ of a finite group $H$ direct sum isomorphic simple $\mathbb{Z}_p H$-modules that and have same number generators. Similar other our description will be via suitable covering $H$. Defining this requires study representation module, introduced Gasch\"utz in 1954. Our ...

In this paper, we introduce an algebra H from a subspace lattice with respect to a fixed flag which contains its incidence algebra as a proper subalgebra. We then establish a relation between the algebra H and the quantum affine algebra Uq1/2(ŝl2), where q denotes the cardinality of the base field. It is an extension of the well-known relation between the incidence algebra of a subspace lattice...

Let H be a bialgebra and D an H-bimodule algebra and H-bicomodule coalgebra. We find sufficient conditions on D for the L-R-smash product algebra and coalgebra structures on D ⊗ H to form a bialgebra (in this case we say that (H,D) is an L-R-admissible pair), called L-R-smash biproduct. The Radford biproduct is a particular case, and so is, up to isomorphism, a double biproduct with trivial pai...

The purpose of this paper is to initiate a new attack on Arveson’s resistant conjecture, that all graded submodules of the d-shift Hilbert module H are essentially normal. We introduce the stable division property for modules (and ideals): a normed module M over the ring of polynomials in d variables has the stable division property if it has a generating set {f1, . . . , fk} such that every h ...

We construct quantum commutators on module-algebras of quasitriangular Hopf algebras. These are quantum-group covariant, and have generalized antisymmetry and Leibniz properties. If the Hopf algebra is triangular they additionally satisfy a generalized Jacobi identity, turning the modulealgebra into a quantum-Lie algebra. The purpose of this short communication is to present a quantum commutato...

in this paper, we nd the relationships between module contractibility of abanach algebra and its ideals. we also prove that module contractibility ofa banach algebra is equivalent to module contractibility of its module uniti-zation. finally, we show that when a maximal group homomorphic image ofan inverse semigroup s with the set of idempotents e is nite, the moduleprojective tensor product ...

Let R be a commutative Noetherian ring, I an ideal of R and M a non-zero R-module. In this paper we calculate the extension of annihilator of local cohomology modules H^t_I(M), t≥0, under the ring extension R⊂R[X] (resp. R⊂R[[X]]). By using this extension we will present some of the faithfulness conditions of local cohomology modules, and show that if the Lynch's conjecture, i...