1. Throughout this paper, K will represent a division ring and L a galois division subring. We are interested in establishing a galois theory for the extension K/L when K/L is locally finite. In order to do this one must identify the galois subrings of K containing L. An example given by Jacobson [4] shows that not every such division subring is galois. However, we obtain that each subring subj...

The concept of right (left) quotient (or residual) of an ideal η by anideal ν of an L-subring μ of a ring R is introduced. The right (left) quotients areshown to be ideals of μ . It is proved that the right quotient [η :r ν ] of an idealη by an ideal ν of an L-subring μ is the largest ideal of μ such that[η :r ν ]ν ⊆ η . Most of the results pertaining to the notion of quotients(or residual) of ...

the concept of right (left) quotient (or residual) of an ideal η by anideal ν of an l-subring μ of a ring r is introduced. the right (left) quotients areshown to be ideals of μ . it is proved that the right quotient [η :r ν ] of an idealη by an ideal ν of an l-subring μ is the largest ideal of μ such that[η :r ν ]ν ⊆ η . most of the results pertaining to the notion of quotients(or residual) of ...

Let M∗(l) = M∗(Γ1(l),C) be the ring of holomorphic modular forms on Γ1(l). In this talk we use the combinatorics of complete toric varieties to construct a subring T∗(l) ⊂ M∗(l), the subring of toric modular forms (§2). This is a natural subring, in the sense that it behaves nicely with respect to natural operations on M∗(l) (namely, Hecke operators, Fricke involution, and the theory of oldform...

Jacobson's generalization [5, Theorem 8] of Wedderburn's theorem [8] states that an algebraic division algebra over a finite field is commutative. These algebras have the property that some power2 of each element lies in the center. Kaplansky observed in [7] that any division ring, or, more generally, any semisimple ring, in which some power of each element lies in the center is commutative. Ka...

In this paper, we construct subring homomorphic encryption scheme that is a homomorphic encryption scheme built on the decomposition ring, which is a subring of cyclotomic ring. In the scheme, each plaintext slot contains an integer in Zpl , rather than an element of GF(p) as in conventional homomorphic encryption schemes on cyclotomic rings. Our benchmark results indicate that the subring homo...

The strong ring R is a commutative ring generated by finite abstract simplicial complexes. To every G ∈ R belongs a Hodge Laplacian H = H(G) = D = (d + d∗)2 determining the cohomology and a unimodular connection operator L = L(G). The sum of the matrix entries of g = L−1 is the Euler characteristic χ(G). For any A,B ∈ R the spectra of H satisfy σ(H(A × B)) = σ(H(A)) + σ(H(B)) and the spectra of...

On a Lebesgue measure space with measure element do, and total measure finite or infinite, we consider the complex-valued measurable functions f, y, so, ., each determined only a.e., and each belonging to all L,-classes simultaneously, 1<r< a. We donote (i) by F = {f} a ring of functions with complex constants and ordinary multiplication and closed under the involution: if f -= f + if2 e F then...

A minimum depth is assigned to a ring homomorphism and a bimodule over its codomain. When the homomorphism is an inclusion and the bimodule is the codomain, the recent notion of depth of a subring in a paper by Boltje-Danz-Külshammer is recovered . Subring depth below an ideal gives a lower bound for BDK’s subring depth of a group algebra pair or a semisimple complex algebra pair.