2013/1
http://hdl.handle.net/11012/23991
2020-09-21T09:49:39ZSome applications of infinitary logical languages in universal algebra
http://hdl.handle.net/11012/23998
Some applications of infinitary logical languages in universal algebra
Pinus, Aleksandr G.
Some examples are given of applications of an in nite logical language
in universal algebra, in the algebraic geometry of universal algebras, in the theory
of implicit operations on algebras, in the Galois theory between automorphisms of
universal algebras and its subalgebras of xed points, in the theory of Hamiltonian
closure of subalgebras and other areas.
2013-01-01T00:00:00ZThe Baker-Campbell-Hausdorff formula and the Zassenhaus formula in synthetic differential geometry
http://hdl.handle.net/11012/23997
The Baker-Campbell-Hausdorff formula and the Zassenhaus formula in synthetic differential geometry
Nishimura, Hirokazu
After the torch of Anders Kock [6], we will establish the Baker-Campbell-
Hausdor formula as well as the Zassenhaus formula in the theory of Lie groups.
2013-01-01T00:00:00ZAxiomatic differential geometry II-2 - differential forms
http://hdl.handle.net/11012/23996
Axiomatic differential geometry II-2 - differential forms
Nishimura, Hirokazu
We refurbish our axiomatics of di erential geometry introduced in [5].
Then the notion of Euclideaness can naturally be formulated. The principal ob-
jective of this paper is to present an adaptation of our theory of di erential forms
developed in [3] to our present axiomatic framework.
2013-01-01T00:00:00ZSome Wolstenholme type congruences
http://hdl.handle.net/11012/23995
Some Wolstenholme type congruences
Meštrović, Romeo
In this paper we give an extension and another proof of the following
Wolstenholme's type curious congruence established in 2008 by J. Zhao. Let s and
l be two positive integers and let p be a prime such that p ls + 3. Then
H(fsgl; p1) S(fsgl; p1)
8>><
>>:
s(ls + 1)p2
2(ls + 2)
Bpls2 (mod p3) if 2 - ls
(1)l1 sp
ls + 1
Bpls1 (mod p2) if 2 j ls:
APs an application, for given prime p 5, we obtain explicit formulae for the sum
1 k1< <kl p1 1=(k1 kl) (mod p3) if k 2 f1; 3; : : : ; p 2g, and for the sum P
1 k1< <kl p1 1=(k1 kl) (mod p2) if k 2 f2; 4; : : : ; p 3g
2013-01-01T00:00:00Z