Results 41 to 50 of about 18,642 (313)
On analogs of some classical group-theoretic results in Poisson algebras
Доповiдi Нацiональної академiї наук України, 2021 We investigate the Poisson algebras, in which the n-th hypercenter (center) has a finite codimension. It was established that, in this case, the Poisson algebra P includes a finite-dimensional ideal K such that P/K is nilpotent (Abelian).
L.A. Kurdachenko +2 more
doaj +1 more source
Division algebras over Henselian fields
Journal of Algebra, 1990 The authors develop a general valuation theory for finite dimensional division algebras over Henselian fields. More strictly, let k be a valued field and \({\mathcal D}\) be a finite dimensional central division algebra over it, \(v_{{\mathcal D}}^ a \)valuation on \({\mathcal D}\), \(\Gamma_{{\mathcal D}}\) the value group, V the valuation ring of ...
Jacob, Bill, Wadsworth, Adrian
openaire +1 more source
Noetherian algebras over algebraically closed fields
Journal of Algebra, 2007 Let $k$ be an uncountable algebraically closed field and let $A$ be a countably generated left Noetherian $k$-algebra. Then we show that $A \otimes_k K$ is left Noetherian for any field extension $K$ of $k$. We conclude that all subfields of the quotient division algebra of a countably generated left Noetherian domain over $k$ are finitely generated ...
openaire +2 more sources
Algebraic leaves of algebraic foliations over number fields [PDF]
Publications Mathématiques de l'IHÉS, 2001 We prove an algebraicity criterion for leaves of algebraic foliations defined over number fields. Namely, consider a number field K embedded in C , a smooth ...
openaire +2 more sources
International Journal of Adaptive Control and Signal Processing, EarlyView.This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir +2 more
wiley +1 more source
Embeddings of fields into simple algebras over global fields [PDF]
Asian Journal of Mathematics, 2014 Let $F$ be a global field, $A$ a central simple algebra over $F$ and $K$ a finite (separable or not) field extension of $F$ with degree $[K:F]$ dividing the degree of $A$ over $F$. An embedding of $K$ in $A$ over $F$ exists implies an embedding exists locally everywhere. In this paper we give detailed discussions when the converse (i.e.
Shih, Sheng-Chi +2 more
openaire +3 more sources
Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots
Advanced Robotics Research, EarlyView.A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun +3 more
wiley +1 more source
On upper modular subalgebras of a Lie algebra. [PDF]
, 2004 This paper is a further contribution to the extensive study by a number of authors of the subalgebra lattice of a Lie algebra. We give some necessary and some sufficient conditions for a subalgebra to be upper modular.
Bowman, Kevin +2 more
core
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
A Geometric Algebra Co-Processor for Color Edge Detection
, 2015 This paper describes advancement in color edge detection, using a dedicated Geometric Algebra (GA) co-processor implemented on an Application Specific Integrated Circuit (ASIC).
Wilcock, Reuben +5 more
core +1 more source