Previous Page 5

Displaying 81 – 96 of 96

Showing per page

Groups – Additive Notation

Roland Coghetto (2015)

Formalized Mathematics

We translate the articles covering group theory already available in the Mizar Mathematical Library from multiplicative into additive notation. We adapt the works of Wojciech A. Trybulec [41, 42, 43] and Artur Korniłowicz [25]. In particular, these authors have defined the notions of group, abelian group, power of an element of a group, order of a group and order of an element, subgroup, coset of a subgroup, index of a subgroup, conjugation, normal subgroup, topological group, dense subset and basis...

Groups of C r , s -diffeomorphisms related to a foliation

Jacek Lech, Tomasz Rybicki (2007)

Banach Center Publications

The notion of a C r , s -diffeomorphism related to a foliation is introduced. A perfectness theorem for the group of C r , s -diffeomorphisms is proved. A remark on C n + 1 -diffeomorphisms is given.

Growth and smooth spectral synthesis in the Fourier algebras of Lie groups

Jean Ludwig, Lyudmila Turowska (2006)

Studia Mathematica

Let G be a Lie group and A(G) the Fourier algebra of G. We describe sufficient conditions for complex-valued functions to operate on elements u ∈ A(G) of certain differentiability classes in terms of the dimension of the group G. Furthermore, generalizing a result of Kirsch and Müller [Ark. Mat. 18 (1980), 145-155] we prove that closed subsets E of a smooth m-dimensional submanifold of a Lie group G having a certain cone property are sets of smooth spectral synthesis. For such sets we give an estimate...

Growth functions for some uniformly amenable groups

Janusz Dronka, Bronislaw Wajnryb, Paweł Witowicz, Kamil Orzechowski (2017)

Open Mathematics

We present a simple constructive proof of the fact that every abelian discrete group is uniformly amenable. We improve the growth function obtained earlier and find the optimal growth function in a particular case. We also compute a growth function for some non-abelian uniformly amenable group.

Currently displaying 81 – 96 of 96

Previous Page 5