Results 131 to 140 of about 26,193 (159)

Subgroups of Central Separable Algebras

Canadian Journal of Mathematics, 1973
In [8] I. N. Herstein conjectured that all the finite odd order sub-groups of the multiplicative group in a division ring are cyclic. This conjecture was proved false in general by S. A. Amitsur in [1]. In his paper Amitsur classifies all finite groups which can appear as a multiplicative subgroup of a division ring. Let D be a division ring with prime
openaire   +1 more source

Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences

Siberian Mathematical Journal, 2022
R N Dadazhanov, N Kh Kasymov, I A Khodzhamuratova   +2 more
exaly  

Lower Semilattices of Separable Congruences of Numbered Algebras

Siberian Mathematical Journal, 2023
N Kh Kasymov, A S Morozov
exaly  

Separable Cowreaths Over Clifford Algebras

Advances in Applied Clifford Algebras, 2023
Claudia Menini, B Torrecillas
exaly  

Separable Algebras

1994
Yurij A. Drozd, Vladimir V. Kirichenko
openaire   +2 more sources

Weakly separable algebras

Linear and Multilinear Algebra, 2021
Sergey Víctor Ludkowski
exaly  

T1-Separable Numberings of Subdirectly Indecomposable Algebras

Algebra and Logic, 2021
N Kh Kasymov, A S Morozov
exaly  

Algebraic Calculi for Separation Logic.

2015
A major research topic for the discipline of software engineering is the development of formal methods that ensure correctness of computer programs w.r.t. their specifications. Various approaches have been developed over the last decades, especially in the field of logical methods.
openaire   +1 more source

Homomorphisms onto effectively separable algebras

Siberian Mathematical Journal, 2016
N Kh Kasymov
exaly  

Disjunctive optimization, max-separable problems and extremal algebras

Theoretical Computer Science, 2003
Karel Zimmermann
exaly