• Journal of applied mathematics & informatics
• /
• v.41 no.3
• /
• pp.657-685
• /
• 2023

This paper aims to apply the concept of Pythagorean fuzzy soft sets (PFSSs) to UP-algebras. Then we introduce five types of PFSSs over UP-algebras, study their generalization, and provide illustrative examples. In addition, we study the results of four operations of two PFSSs over UP-algebras, namely, the union, the restricted union, the intersection, and the extended intersection. Finally, we will also discuss t-level subsets of PFSSs over UP-algebras to study the relationships between PFSSs and special subsets of UP-algebras.

• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.521-531
• /
• 2000

Graph C*-algebras C*(E) are the universal C*-algebras generated by partial isometries satisfying the Cuntz-Krieger relations determined by directed graphs E, and it is known that a simple graph C*-algebra is extremally rich in sense that it contains enough extreme consider a sufficient condition on a graph for which the associated graph algebra(possibly nonsimple) is extremally rich. We also present examples of nonextremally rich prime graph C*-algebras with finitely many ideals and with real rank zero.

• Journal of applied mathematics & informatics
• /
• v.33 no.5_6
• /
• pp.739-748
• /
• 2015

The notion of quasi-lattice implication algebras is a generalization of lattice implication algebras. In this paper, we give an optimized definition of quasi-lattice implication algebra and show that this algebra is a distributive lattice and that this algebra is a lattice implication algebra. Also, we define a congruence relation Φ_F induced by a filter F and show that every congruence relation on a quasi-lattice implication algebra is a congruence relation Φ_F induced by a filter F.

• Communications of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.23-26
• /
• 2014

Let E be a graded central division algebra (GCDA) over a grade field R. Let S be an unramified graded field extension of R. We describe the grading on the underlying GCDA E' of $E{\otimes}_RS$ which is analogous to the valuation on a tame division algebra over Henselian valued field.

• Korean Journal of Mathematics
• /
• v.26 no.4
• /
• pp.701-708
• /
• 2018

In this paper, seminormality and t-closedness in ring extensions involving amalgamated algebras are studied. Let $R{\subseteq}T$ be a ring extension with ideals $I{\subseteq}J$, respectively such that J is contained in the conductor of R in T. Assume that T is integral over R. Then it is shown that ($R{\bowtie}I$, $T{\bowtie}J$) is a seminormal (resp., t-closed) pair if and only if (R, T) is a seminormal (resp., t-closed) pair.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.225-234
• /
• 2021

Let D be a division ring and n > 1 be an integer. In this paper, it is shown that if D ≠ ��3, then every subpermutable subgroup of the general skew linear group GLn(D) is normal. By applying this result, we show that every subpermutable subgroup of the unit group (ℝG)∗ of the real group algebras RG of finite groups G is normal in (ℝG)∗.

• Honam Mathematical Journal
• /
• v.26 no.4
• /
• pp.365-378
• /
• 2004

The orders in quaternion algebras play central role in the theory of Hecke operators. In this paper, we study the order of two sided ideal group in orders of a quaternion algebra.

• Journal of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.279-284
• /
• 1997

Let L/F be a finite separable extension of Henselian valued fields with same residue fields $\overline{L} = \overline{F}$. Let D be an inertially split division algebra over L, and let $^cD$ be the underlying division algebra of the corestriction $cor_{L/F} (D)$ of D. We show that the index $ind(^cD) of ^cD$ divides $[Z(\overline{D}) : Z(\overline {^cD})] \cdot ind(D), where Z(\overline{D})$ is the center of the residue division ring $\overline{D}$.

• Journal of Convergence for Information Technology
• /
• v.7 no.3
• /
• pp.65-71
• /
• 2017

The quantum logic was introduced by G. Birkhoff and 1. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.

• Journal of Convergence for Information Technology
• /
• v.9 no.5
• /
• pp.7-13
• /
• 2019

Role-based access or attribute-based access control in cloud environment or big data environment need requires a suitable mathematical structure to represent a hierarchical model. This paper define the notion of multipliers and simple multipliers of lattice implication algebras that can implement a hierarchical model of role-based or attribute-based access control, and prove every multiplier is simple multiplier. Also we research the relationship between multipliers and homomorphisms of a lattice implication algebra L, and prove that the lattice [0, u] is isomorphic to a lattice $[u^{\prime},1]$ for each $u{\in}L$ and that L is isomorphic to $[u,1]{\times}[u^{\prime},1]$ as lattice implication algebras for each $u{\in}L$ satisfying $u{\vee}u^{\prime}=1$.