Finitely continuous differentials on generalized power series

2014 ◽  
Vol 64 (2) ◽  
Author(s):  
I-Chiau Huang
Keyword(s):  
Abelian Group ◽  
Power Series ◽  
Vector Space ◽  
Inversion Formula ◽  
Finitely Generated ◽  
Generalized Power Series

AbstractLet κ[[eG]] be the field of generalized power series with exponents in a totally ordered Abelian group G and coefficients in a field κ. Given a subgroup H of G such that G/H is finitely generated, we construct a vector space ΩG/H of differentials as a universal object in certain category of κ[[eH]]-derivations on κ[[eG]]. The vector space ΩG/H together with logarithmic residues gives rise to a framework for certain combinatorial phenomena, including the inversion formula for diagonal delta sets.

On the Distribution of Sum of Independent Positive Binomial Variables

1970 ◽  
Vol 13 (1) ◽  
pp. 151-152 ◽  
Author(s):  
J. C. Ahuja
Keyword(s):  
Power Series ◽  
Inversion Formula ◽  
Probability Function ◽  
Random Variables ◽  
Random Variable ◽  
Characteristic Functions ◽  
Binomial Probability ◽  
Generalized Power Series ◽  
Alternative Derivation ◽  
Image Position

Let X1, X2, …, Xn be n independent and identically distributed random variables having the positive binomial probability function1where 0 < p < 1, and T = {1, 2, …, N}. Define their sum as Y=X1 + X2 + … +Xn. The distribution of the random variable Y has been obtained by Malik [2] using the inversion formula for characteristic functions. It appears that his result needs some correction. The purpose of this note is to give an alternative derivation of the distribution of Y by applying one of the results, established by Patil [3], for the generalized power series distribution.

The Tor-Groups of Modules of Generalized Power Series

2005 ◽  
Vol 12 (03) ◽  
pp. 477-484 ◽  
Author(s):  
Zhongkui Liu ◽  
Javed Ahsan
Keyword(s):  
Power Series ◽  
Noetherian Ring ◽  
Abelian Groups ◽  
Finitely Generated ◽  
Generalized Power Series ◽  
Ordered Monoid ◽  
The Right

Let (S,≤) be a strictly ordered monoid, and R a right noetherian ring. Assume that M is a finitely generated right R-module and N a left R-module. Denote by [[MS,≤]] (resp., [[NS,≤]]) the right (resp., left) [[RS,≤]]-module of generalized power series over M (resp., over N). Then we show that there exists an isomorphism of abelian groups [Formula: see text].

scholarly journals Maximal perpendicularity in certain Abelian groups

2017 ◽  
Vol 9 (1) ◽  
pp. 235-247
Author(s):  
Mika Mattila ◽  
Jorma K. Merikoski ◽  
Pentti Haukkanen ◽  
Timo Tossavainen
Keyword(s):  
Abelian Group ◽  
Vector Space ◽  
Binary Relation ◽  
Abelian Groups ◽  
The Other ◽  
Finitely Generated ◽  
Other Hand

AbstractWe define perpendicularity in an Abelian group G as a binary relation satisfying certain five axioms. Such a relation is maximal if it is not a subrelation of any other perpendicularity in G. A motivation for the study is that the poset (𝒫, ⊆) of all perpendicularities in G is a lattice if G has a unique maximal perpendicularity, and only a meet-semilattice if not. We study the cardinality of the set of maximal perpendicularities and, on the other hand, conditions on the existence of a unique maximal perpendicularity in the following cases: G ≅ ℤn, G is finite, G is finitely generated, and G = ℤ ⊕ ℤ ⊕ ⋯. A few such conditions are found and a few conjectured. In studying ℝn, we encounter perpendicularity in a vector space.

scholarly journals Existence of prime elements in rings of generalized power series

2001 ◽  
Vol 66 (3) ◽  
pp. 1206-1216 ◽  
Author(s):  
Daniel Pitteloud
Keyword(s):  
Abelian Group ◽  
Power Series ◽  
Prime Ideal ◽  
Additive Group ◽  
Convex Subgroup ◽  
Generalized Power Series ◽  
Irreducible Elements ◽  
Closed Fields ◽  
Proper Convex ◽  
Prime Elements

AbstractThe field K((G)) of generalized power series with coefficients in the field K of characteristic 0 and exponents in the ordered additive abelian group G plays an important role in the study of real closed fields. Conway and Gonshor (see [2, 4]) considered the problem of existence of non-standard irreducible (respectively prime) elements in the huge “ring” of omnific integers, which is indeed equivalent to the existence of irreducible (respectively prime) elements in the ring K((G≤0)) of series with non-positive exponents. Berarducci (see [1]) proved that K((G≤0)) does have irreducible elements, but it remained open whether the irreducibles are prime i.e., generate a prime ideal. In this paper we prove that K((G≤0)) does have prime elements if G = (ℝ, +) is the additive group of the reals, or more generally if G contains a maximal proper convex subgroup.

Additive bases via Fourier analysis

2021 ◽  
pp. 1-12
Author(s):  
Bodan Arsovski
Keyword(s):  
Abelian Group ◽  
Fourier Analysis ◽  
Vector Space ◽  
Abelian Groups ◽  
Finite Abelian Group ◽  
Probabilistic Method ◽  
Additive Basis ◽  
Generating Sets

Abstract Extending a result by Alon, Linial, and Meshulam to abelian groups, we prove that if G is a finite abelian group of exponent m and S is a sequence of elements of G such that any subsequence of S consisting of at least $$|S| - m\ln |G|$$ elements generates G, then S is an additive basis of G . We also prove that the additive span of any l generating sets of G contains a coset of a subgroup of size at least $$|G{|^{1 - c{ \in ^l}}}$$ for certain c=c(m) and $$ \in = \in (m) < 1$$ ; we use the probabilistic method to give sharper values of c(m) and $$ \in (m)$$ in the case when G is a vector space; and we give new proofs of related known results.

scholarly journals ABELIAN GROUPS WITH A p2-BOUNDED SUBGROUP, REVISITED

2011 ◽  
Vol 10 (03) ◽  
pp. 377-389
Author(s):  
CARLA PETRORO ◽  
MARKUS SCHMIDMEIER
Keyword(s):  
Abelian Group ◽  
Prime Number ◽  
Maximal Ideal ◽  
Abelian Groups ◽  
Finitely Generated ◽  
Uniserial Ring

Let Λ be a commutative local uniserial ring of length n, p be a generator of the maximal ideal, and k be the radical factor field. The pairs (B, A) where B is a finitely generated Λ-module and A ⊆B a submodule of B such that pmA = 0 form the objects in the category [Formula: see text]. We show that in case m = 2 the categories [Formula: see text] are in fact quite similar to each other: If also Δ is a commutative local uniserial ring of length n and with radical factor field k, then the categories [Formula: see text] and [Formula: see text] are equivalent for certain nilpotent categorical ideals [Formula: see text] and [Formula: see text]. As an application, we recover the known classification of all pairs (B, A) where B is a finitely generated abelian group and A ⊆ B a subgroup of B which is p2-bounded for a given prime number p.

On Commutator Length and Square Length of the Wreath Product of a Group by a Finitely Generated Abelian Group

2010 ◽  
Vol 17 (spec01) ◽  
pp. 799-802 ◽  
Author(s):  
Mehri Akhavan-Malayeri
Keyword(s):  
Abelian Group ◽  
Wreath Product ◽  
Finitely Generated ◽  
Commutator Length

Let W = G ≀ H be the wreath product of G by an n-generator abelian group H. We prove that every element of W′ is a product of at most n+2 commutators, and every element of W2 is a product of at most 3n+4 squares in W. This generalizes our previous result.

scholarly journals RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT

2012 ◽  
Vol 14 (03) ◽  
pp. 1250017 ◽  
Author(s):  
LEONARDO CABRER ◽  
DANIELE MUNDICI
Keyword(s):  
Abelian Group ◽  
Algebraic Topology ◽  
Lattice Structure ◽  
Order Unit ◽  
Finitely Generated ◽  
Lattice Order ◽  
Translation Invariant ◽  
Projective Lattice ◽  
Rational Polyhedra ◽  
Finitely Presented

An ℓ-groupG is an abelian group equipped with a translation invariant lattice-order. Baker and Beynon proved that G is finitely generated projective if and only if it is finitely presented. A unital ℓ-group is an ℓ-group G with a distinguished order unit, i.e. an element 0 ≤ u ∈ G whose positive integer multiples eventually dominate every element of G. Unital ℓ-homomorphisms between unital ℓ-groups are group homomorphisms that also preserve the order unit and the lattice structure. A unital ℓ-group (G, u) is projective if whenever ψ : (A, a) → (B, b) is a surjective unital ℓ-homomorphism and ϕ : (G, u) → (B, b) is a unital ℓ-homomorphism, there is a unital ℓ-homomorphism θ : (G, u) → (A, a) such that ϕ = ψ ◦ θ. While every finitely generated projective unital ℓ-group is finitely presented, the converse does not hold in general. Classical algebraic topology (à la Whitehead) is combined in this paper with the Włodarczyk–Morelli solution of the weak Oda conjecture for toric varieties, to describe finitely generated projective unital ℓ-groups.

scholarly journals Mackey-complete spaces and power series – a topological model of differential linear logic

2016 ◽  
Vol 28 (4) ◽  
pp. 472-507 ◽  
Author(s):  
MARIE KERJEAN ◽  
CHRISTINE TASSON
Keyword(s):  
Power Series ◽  
Vector Space ◽  
Topological Vector Space ◽  
Taylor Expansion ◽  
Entire Functions ◽  
Linear Logic ◽  
Quantitative Model ◽  
Linear Functions ◽  
Topological Model ◽  
Bounded Linear

In this paper, we describe a denotational model of Intuitionist Linear Logic which is also a differential category. Formulas are interpreted as Mackey-complete topological vector space and linear proofs are interpreted as bounded linear functions. So as to interpret non-linear proofs of Linear Logic, we use a notion of power series between Mackey-complete spaces, generalizing entire functions in $\mathbb{C}$. Finally, we get a quantitative model of Intuitionist Differential Linear Logic, with usual syntactic differentiation and where interpretations of proofs decompose as a Taylor expansion.

Sign in / Sign up

Export Citation Format

Share Document