The main part of this paper contains a description of a nilpotent quotient algorithm for L-presented groups and a report on applications of its implementation in the computer algebra system GAP. The appendix introduces two new infinite series of L-presented groups. Apart from being of interest in their own right, these new L-presented groups serve as examples for applications of the nilpotent q...

BACKGROUND Cognitive impairment associated with temporal lobe epilepsy (TLE) has been recognized in multiple studies. We designed this study to find a specific cognitive profile in patients with TLE who were candidates for epilepsy surgery. We also sought to find if neuropsychological assessment could differentiate left TLE, right TLE and normal subjects. METHODS The sample of this study cons...

We study the Rayleigh quotient of a Hermitian matrix with quaternionic coefficients and prove its main properties. As an application, we give some relationships between left right eigenvalues symplectic matrices.

Many different deletion operations are investigated applied to languages accepted by one-way and twoway deterministic reversal-bounded multicounter machines, deterministic pushdown automata, and finite automata. Operations studied include the prefix, suffix, infix and outfix operations, as well as left and right quotient with languages from different families. It is often expected that language...

The articles [16], [9], [19], [18], [13], [1], [6], [21], [5], [10], [12], [17], [20], [7], [8], [15], [11], [2], [3], and [4] provide the notation and terminology for this paper. We consider structures of the type algebra as extensions of 1-sorted structure as systems 〈 a carrier, a left quotient, a right quotient, an inner product 〉, where the carrier is a set and the left quotient, the right...

This document discusses a numerical analysis method for low thrust trajectory propagation known as the proximity quotient or Q-Law. The process uses a Lyapunov feedback control law developed by Petropoulos [1] to propagate trajectories of spacecraft by minimizing the user defined function at the target orbit. A simplified propagator is created from the core mechanics of this method in MATLAB an...

In this note we first show that for a right (resp. left) Ore ring R and an automorphism σ of R, if R is σ-skew McCoy then the classical right (resp. left) quotient ring Q(R) of R is σ̄-skew McCoy. This gives a positive answer to the question posed in Başer et al. [1]. We also characterize semiprime right Goldie (von Neumann regular) McCoy (σ-skew McCoy) rings.

In this paper, we first define the notion of finitely-cosmall quotient (singly-cosmall quotient) morphisms. Then give a characterization new concept. We show that an epimorphism p:Y→U is if and only for any right R-module Z morphism g:Z→Y such pg finitely-copartial isomorphism (singly-copartial isomorphism) from to Y with codomain U finitely (singly) split epimorphism. also investigate relation...

Quotient is a basic operation of formal languages, which plays key role in the construction minimal deterministic finite automata (DFA) and universal automata. In this paper, we extend to power series systemically investigate its implications study weighted particular, define two quotient operations for are called (left or right) quotients residuals respectively. Algebraic properties closure (w...