• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1431-1443
• /
• 2016

Let k be a global field of characteristic unequal to two. Let $C:y^2=f(x)$ be a nonsingular projective curve over k, where f(x) is a quartic polynomial over k with nonzero discriminant, and K = k(C) be the function field of C. For each prime spot p on k, let ${\hat{k}}_p$ denote the corresponding completion of k and ${\hat{k}}_p(C)$ the function field of $C{\times}_k{\hat{k}}_p$. Consider the map $$h:Br(K){\rightarrow}{\prod\limits_{\mathfrak{p}}}Br({\hat{k}}_p(C))$$, where p ranges over all the prime spots of k. In this paper, we explicitly describe all the constant classes (coming from Br(k)) lying in the kernel of the map h, which is an obstruction to the Hasse principle for the Brauer groups of the curve. The kernel of h can be expressed in terms of quaternion algebras with their prime spots. We also provide specific examples over ${\mathbb{Q}}$, the rationals, for this kernel.

• Journal of Educational Research in Mathematics
• /
• v.13 no.4
• /
• pp.495-506
• /
• 2003

In this study, 1 investigated some properties on the special hyper-dimensional figures made by the principle of the performance of equivalent forms representation. I supposed 2 definitions on the making n-dimensional figure : a cone type(hypercube) and a pillar type(simplex). We can explain that there exists only 6 4-dimensional regular polytopes as there exists only 5 regular polygons. And there are many hyper-dimensional figures, they all have sufficient condition to show the general Euler' Characteristics. And especially, we could certificate that the simplest cone type and pillar types are fitted to Pascal's Triangle and Hasse's Diagram, each other.

• Journal of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.101-129
• /
• 2018

From an analytical perspective, we introduce a sequence of Cartier operators that act on the field of formal Laurent series in one variable with coefficients in a field of positive characteristic p. In this work, we discover the binomial inversion formula between Hasse derivatives and Cartier operators, implying that Cartier operators can play a prominent role in various objects of study in function field arithmetic, as a suitable substitute for higher derivatives. For an applicable object, the Wronskian criteria associated with Cartier operators are introduced. These results stem from a careful study of two types of Cartier operators on the power series ring ${\mathbf{F}}_q$[[T]] in one variable T over a finite field ${\mathbf{F}}_q$ of q elements. Accordingly, we show that two sequences of Cartier operators are an orthonormal basis of the space of continuous ${\mathbf{F}}_q$-linear functions on ${\mathbf{F}}_q$[[T]]. According to the digit principle, every continuous function on ${\mathbf{F}}_q$[[T]] is uniquely written in terms of a q-adic extension of Cartier operators, with a closed-form of expansion coefficients for each of the two cases. Moreover, the p-adic analogues of Cartier operators are discussed as orthonormal bases for the space of continuous functions on ${\mathbf{Z}}_p$.

• Journal of Gifted/Talented Education
• /
• v.15 no.1
• /
• pp.85-102
• /
• 2005

Some properties on the mathematical hyper-dimensional figures by 'the principle of the permanence of equivalent forms' was investigated. It was supposed that there are 2 conjectures on the making n-dimensional figures : simplex (a pyramid type) and a hypercube(prism type). The figures which were made by the 2 conjectures all satisfied the sufficient condition to show the general Euler's Theorem(the Euler's Characteristics). Especially, the patterns on the numbers of the components of the simplex and hypercube are fitted to Binomial Theorem and Pascal's Triangle. It was also found that the prism type is a good shape to expand the Hasse's Diagram. 5 mathematically gifted high school students were mentored on the investigation of the hyper-dimensional figure by 'the principle of the permanence of equivalent forms'. Research products and ideas students have produced are shown and the 'guided re-invention method' used for mentoring are explained.

• Journal of Intelligence and Information Systems
• /
• v.17 no.1
• /
• pp.17-35
• /
• 2011

The collective intelligence is a common-based production by the collaboration and competition of many peer individuals. In other words, it is the aggregation of individual intelligence to lead the wisdom of crowd. Recently, the utilization of the collective intelligence has become one of the emerging research areas, since it has been adopted as an important principle of web 2.0 to aim openness, sharing and participation. This paper introduces an approach to seek the collective intelligence by cognition of the relation and interaction among individual participants. It describes a methodology well-suited to evaluate individual intelligence in information retrieval and classification as an application field. The research investigates how to derive and represent such cognitive intelligence from individuals through the application of fuzzy relational theory to personal construct theory and knowledge grid technique. Crucial to this research is to implement formally and process interpretatively the cognitive knowledge of participants who makes the mutual relation and social interaction. What is needed is a technique to analyze cognitive intelligence structure in the form of Hasse diagram, which is an instantiation of this perceptive intelligence of human beings. The search for the collective intelligence requires a theory of similarity to deal with underlying problems; clustering of social subgroups of individuals through identification of individual intelligence and commonality among intelligence and then elicitation of collective intelligence to aggregate the congruence or sharing of all the participants of the entire group. Unlike standard approaches to similarity based on statistical techniques, the method presented employs a theory of fuzzy relational products with the related computational procedures to cover issues of similarity and dissimilarity.