Browse

You are looking at 211 - 220 of 11,061 items for :

  • Mathematics and Statistics x
  • Refine by Access: All Content x
Clear All

We present an algorithm to compute the primary decomposition of a submodule N of the free module ℤ[x 1,...,x n]m. For this purpose we use algorithms for primary decomposition of ideals in the polynomial ring over the integers. The idea is to compute first the minimal associated primes of N, i.e. the minimal associated primes of the ideal Ann (ℤ[x 1,...,x n]m/N) in ℤ[x 1,...,x n] and then compute the primary components using pseudo-primary decomposition and extraction, following the ideas of Shimoyama-Yokoyama. The algorithms are implemented in Singular.

Open access

Let A 1,...,A N and B 1,...,B M be two sequences of events and let ν N(A) and ν M(B) be the number of those A i and B j, respectively, that occur. Based on multivariate Lagrange interpolation, we give a method that yields linear bounds in terms of S k,t, k+tm on the distribution of the vector (ν N(A), ν M(B)). For the same value of m, several inequalities can be generated and all of them are best bounds for some values of S k,t. Known bivariate Bonferroni-type inequalities are reconstructed and new inequalities are generated, too.

Open access

M. Giusti’s classification of the simple complete intersection singularities is characterized in terms of invariants. This is a basis for the implementation of a classifier in the computer algebra system Singular.

Open access

Let S be a set of n points distributed uniformly and independently in a convex, bounded set in the plane. A four-gon is called empty if it contains no points of S in its interior. We show that the expected number of empty non-convex four-gons with vertices from S is 12n 2logn + o(n 2logn) and the expected number of empty convex four-gons with vertices from S is Θ(n 2).

Open access

This paper attempts an exposition of the connection between valuation theory and hyperstructure theory. In this regards, by considering the notion of totally ordered canonical hypergroup we define a hypervaluation of a hyperfield onto a totally ordered canonical hypergroup and obtain some related basic results.

Open access

We provide sufficient conditions for a mapping acting between two Banach spaces to be a diffeomorphism. We get local diffeomorhism by standard method while in making it global we employ a critical point theory and a duality mapping. We provide application to integro-differential initial value problem for which we get differentiable dependence on parameters.

Open access

We obtain new lower and upper bounds for probabilities of unions of events. These bounds are sharp. They are stronger than earlier ones. General bounds may be applied in arbitrary measurable spaces. We have improved the method that has been introduced in previous papers. We derive new generalizations of the first and second parts of the Borel-Cantelli lemma.

Open access

It is proved that there exists an NI ring R over which the polynomial ring R[x] is not an NLI ring. This answers an open question of Qu and Wei (Stud. Sci. Math. Hung., 51(2), 2014) in the negative. Moreover a sufficient condition of R[x] to be an NLI ring is included for an NLI ring R.

Open access

A space X is almost star countable (weakly star countable) if for each open cover U of X there exists a countable subset F of X such that \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $\bigcup {_{x \in F}\overline {St\left( {x,U} \right)} } = X$ \end{document} (respectively, \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $\overline {\bigcup {_{x \in F}} St\left( {x,U} \right)} = X$ \end{document}. In this paper, we investigate the relationships among star countable spaces, almost star countable spaces and weakly star countable spaces, and also study topological properties of almost star countable spaces.

Open access
Let G be a nilpotent group with finite abelian ranks (e.g. let G be a finitely generated nilpotent group) and suppose φ is an automorphism of G of finite order m. If γ and ψ denote the associated maps of G given by
\documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\gamma :g \mapsto g^{ - 1} \cdot g\phi and \psi :g \mapsto g \cdot g\phi \cdot g\phi ^2 \cdots \cdot \cdot g\phi ^{m - 1} for g \in G,$$ \end{document}
then · kerγ and · ker ψ are both very large in that they contain subgroups of finite index in G.
Restricted access