• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.485-491
• /
• 2004

We shall discuss irreducible and primitive S-automata. A variety of properties of transitive and primitive semigroups associated with them have been obtained. Also a classification of primitive semi groups will be given with S-automata.

• Communications of the Korean Mathematical Society
• /
• v.21 no.3
• /
• pp.577-586
• /
• 2006

In this paper we will propose the methods for finding the non-invertible ideals corresponding to non-primitive quadratic forms and clarify the structures of class SEMIGROUPS of imaginary quadratic orders which were given by Zanardo and Zannier [8], and we will give a general algorithm for calculating power of ideals/classes via the Dirichlet composition of quadratic forms which is applicable to cryptography in the class semigroup of imaginary quadratic non-maximal order and revisit the cryptosystem of Kim and Moon [5] using a Zanardo and Zannier [8]'s quantity as their secret key, in order to analyze Jacobson [7]'s revised cryptosystem based on the class semigroup which is an alternative of Kim and Moon [5]'s.

• Journal of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.869-889
• /
• 2015

Let ${\Gamma}^+$ be the positive cone in a totally ordered abelian group ${\Gamma}$, and ${\alpha}$ an action of ${\Gamma}^+$ by extendible endomorphisms of a $C^*$-algebra A. Suppose I is an extendible ${\alpha}$-invariant ideal of A. We prove that the partial-isometric crossed product $\mathcal{I}:=I{\times}^{piso}_{\alpha}{\Gamma}^+$ embeds naturally as an ideal of $A{\times}^{piso}_{\alpha}{\Gamma}^+$, such that the quotient is the partial-isometric crossed product of the quotient algebra. We claim that this ideal $\mathcal{I}$ together with the kernel of a natural homomorphism $\phi:A{\times}^{piso}_{\alpha}{\Gamma}^+{\rightarrow}A{\times}^{iso}_{\alpha}{\Gamma}^+$ gives a composition series of ideals of $A{\times}^{piso}_{\alpha}{\Gamma}^+$ studied by Lindiarni and Raeburn.

• Honam Mathematical Journal
• /
• v.26 no.3
• /
• pp.247-256
• /
• 2004

Buchmann and Williams[1] proposed a key exchange system making use of the properties of the maximal order of an imaginary quadratic field. $H{\ddot{u}}hnlein$ et al. [6,7] also introduced a cryptosystem with trapdoor decryption in the class group of the non-maximal imaginary quadratic order with prime conductor q. Their common techniques are based on the properties of the invertible ideals of the maximal or non-maximal orders respectively. Kim and Moon [8], however, proposed a key-exchange system and a public-key encryption scheme, based on the class semigroups of imaginary quadratic non-maximal orders. In Kim and Moon[8]'s cryptosystem, a non-invertible ideal is chosen as a generator of key-exchange ststem and their secret key is some characteristic value of the ideal on the basis of Zanardo et al.[9]'s quantity for ideal equivalence. In this paper we propose the methods for finding the non-invertible ideals corresponding to non-primitive quadratic forms and clarify the structure of the class semigroup of non-maximal order as finitely disjoint union of groups with some quantities correctly. And then we correct the misconceptions of Zanardo et al.[9] and analyze Kim and Moon[8]'s cryptosystem.