in this paper, we extend the construction of a fuzzy subgroup generated by a fuzzy subset to $l$-setting. this construction is illustrated by an example. we also prove that for an $l$-subset of a group, the subgroup generated by its level subset is the level subset of the subgroup generated by that $l$-subset provided the given $l$-subset possesses sup-property.

The utility of data-driven techniques in the end-to-end problem of temporal information extraction is unclear. Recognition of temporal expressions yields readily to machine learning, but normalization seems to call for a rule-based approach. We explore two aspects of the (potential) utility of data-driven methods in the temporal information extraction task. First, we look at whether improving r...

1. The statement of theorems. Let G be a connected complex Lie group and let B be a closed complex Lie subgroup in G. The left coset space G/B is a complex manifold, which will be called a complex coset space. We denote by Bo the identity connected component of B and U the normalizer of BoThe canonical projection p of G/B onto G/ U defines a holomorphic fibre bundle, and the complex Lie group U...

In this paper we present an Agda formalization of a normalizer for simply-typed lambda terms. The first step is to write a coinductive evaluator using the delay monad. The other component of the normalizer, a type-directed reifier from values to η-long β -normal forms, resides in the delay monad as well. Their composition, normalization-by-evaluation, is shown to be a total function, using a st...

The concept of a framed vertex operator algebra (FVOA) is new (cf. [DGH]). This article contributes to this theory with a full analysis of all Virasoro frame stabilizers in V , the important example of the E8 level 1 affine Kac-Moody VOA, which is isomorphic to the lattice VOA for the root lattice of E8(C). We analyze the frame stabilizers, both as abstract groups and as subgroups of Aut(V ) ∼=...

The normalizer of an element of a group is defined as the subgroup of all elements commuting with it; this subgroup is often also called the centralizer of the given element. In the second version [F-GM] the authors switched to the latter terminology, and we will also use the term “centralizer”. The conjecture was supported by a new algorithm for finding generators of a centralizer, suggested i...

The action of a torus group T on a symplectic toric manifold (M, ω) often extends to an effective action of a (nonabelian) compact Lie group G. We may think of T and G as compact Lie subgroups of the symplectomorphism group Symp(M, ω) of (M, ω). On the other hand, (M, ω) is determined by the associated moment polytope P by the result of Delzant [4]. Therefore, the group G should be estimated in...

Let p be a prime number, G a finite group, Q a p-subgroup of G and L any subgroup of G containing the normalizer NG(Q) of Q in G. Let k be a field of positive characteristic p. In [2] J.A. Green demonstrates a fundamental correspondence between finitely generated kG-modules with vertex Q and finitely generated kL-modules with vertex Q. When L = NG(Q) the Green correspondence allows for the redu...