• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.167-172
• /
• 1994

For a given $C^{*}$-dynamical system (A, G, .alpha.) with a G-simple $C^{*}$-algebra A (that is A has no proper .alpha.-invariant ideal) many authors have studied the simplicity of a $C^{*}$-crossed product A $x_{\alpha{r}}$ G. In [1] topological freeness of an action is shown to guarantee the simplicity of the reduced $C^{*}$-crossed product A $x_{\alpha{r}}$ G when A is G-simple. In this paper we investigate the pure infiniteness of a simple $C^{*}$-crossed product A $x_{\alpha}$ G of a purely infinite simple $C^{*}$-algebra A and a topologically free action .alpha. of a finite group G, and find a sufficient condition in terms of the action on the spectrum of the multiplier algebra M(A) of A. Showing this we also prove that some extension of a topologically free action is still topologically free.

• Journal of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.21-59
• /
• 2020

Let L_K denote the hypothetical automorphic Langlands group of a number field K. In our recent study, we briefly introduced a certain unconditional non-commutative topological group ${\mathfrak{W}}{\mathfrak{A}}{\frac{\varphi}{K}}$, called the Weil-Arthur idèle group of K, which, assuming the existence of L_K, comes equipped with a natural topological group homomorphism $NR{\frac{\varphi}{K}^{Langlands}}$ : ${\mathfrak{W}}{\mathfrak{A}}{\frac{\varphi}{K}}$ → L_K that we called the "Langlands form" of the global nonabelian norm-residue symbol of K. In this work, we present a detailed construction of ${\mathfrak{W}}{\mathfrak{A}}{\frac{\varphi}{K}}$ and $NR{\frac{\varphi}{K}^{Langlands}}$ : ${\mathfrak{W}}{\mathfrak{A}}{\frac{\varphi}{K}}$ → L_K, and discuss their basic properties.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2003.10a
• /
• pp.429-436
• /
• 2003

A new linkage framework between elastic shell element with finite rotation and computar-aided geometric design (CAGD) (or surface is developed in the present study. The framework of shell finite element is based on the generalized curved two-parametric coordinate system. To represent free-form surface, cubic B-spline tensor-product functions are used. Thus the present finite element can be directly linked into the geometric modeling produced by surface generation tool in CAD software. The efficiency and accuracy of the Previously developed linear elements hold for the nonlinear element with finite rotations. To handle the finite rotation behavior of shells, exponential mapping in the SO(3) group is employed to allow the large incremental step size. The integrated frameworks of shell geometric design and nonlinear computational analysis can serve as an efficient tool in shape and topological design of surfaces with large deformations.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.31 no.6 s.261
• /
• pp.635-643
• /
• 2007

As many engineers and technicians are involved in the design process of large scale and/or complex products, there are a lot of miss matches and interferences due to designers' faults and several kinds of CAD systems. Recently, CAD systems are applied to verify and check the assembly process. Digital Mock-Up(DMU) system, a tool to build a virtual mock-up in the design stage, has been used to prevent the interferences and miss matches during precision design processes. Using the virtual assembly tool, engineers are able to design precision and interference free parts without physical mock-ups. Instead of a single CAD source, several CAD systems are used to design a complex product. Several organizations are involved in the distributed design environment for heterogeneous multi-CAD assembly. XML and the lightweight CAD file are proposed for the multi-CAD assembly. XML data contains hierarchy of the heterogenenous multi-CAD assembly. STEP PDM schema and STEP ISO 10303-28 formations are applied to construct the XML data. The lightweight CAD file produced from various CAD files through ACIS kernel and InterOp not only contains mesn, B-Rep and topological data, but also is used to visualize CAD data and to verify dimensions. Developed system is executed on the desktop computers. It does not require commercial CAD systems to visualize 3D assembly data. Real-time interference and fitness checks, dimensional verification, and design and assembly verification are performed on the developed system. Assembly of heterogeneous models for a car is conducted to verify the effectiveness of the developed DMU system on the Internet.

• Journal of Information Display
• /
• v.12 no.3
• /
• pp.145-152
• /
• 2011

Since the discovery of fullerenes as a class of nanostructure compounds, many potential applications have been suggested for their unusual structures and properties. The isolated pentagon rule (IPR) states that all pentagonal carbon rings are isolated in the most stable fullerene. Fullerenes $C_n$ are a class of spherical carbon allotrope group with unique properties. Electron transfer between fullerenes and other molecules is thought to involve the transfer of electrons between the molecules surrounding the fullerene cage. One class of electron transfer molecules is the methanofullerene derivatives ([6,6]-phenyl $C_{61}$-butyric acid methyl ester (PCBM), 4-(2-ethylhexyloxy)-[6,6]-phenyl $C_{61}$-butyric acid methyl ester (p-EHO-PCBM), and 4-(2-ethylhexyloxy)-[6,6]-phenyl $C_{61}$-butyric acid (p-EHO-PCBA), 10-12). It has been determined that $C_{60}$ does not obey IPR. Supramolecular complexes 1-9 and 10-12 are shown to possess a previously unreported host.guest interaction for electron transfer processes. The unsaturated, cis-geometry, thiocrown ethers, (1-9) (described as [X-UT-Y], where X and Y indicate the numbers of carbon and sulfur atoms, respectively), are a group of crown ethers that display interesting physiochemical properties in the light of their conformational restriction compared with a corresponding saturated system, as well as the sizes of their cavities. Topological indices have been successfully used to construct mathematical methods that relate structural data to various chemical and physical properties. To establish a good relationship between the structures of 1-9 with 10-12, a new index is introduced, ${\mu}_{cs}$. This index is the ratio of the sum of the number of carbon atoms ($n_c$) and the number of sulfur atoms ($n_s$) to the product of these two numbers for 1-9. In this study, the relationships between this index and oxidation potential ($^{ox}E_1$) of 1-9, as well as the first to third free energies of electron transfer (${\Delta}G_{et(n)}$, for n = 1-3, which is given by the Rehm-Weller equation) between 1-9 and PCBM, p-EHO-PCBM, and p-EHO-PCBA (10-12) as [X-UT-Y]@R(where R is the adduct PCBM, p-EHO-PCBM, and p-EHO-PCBA group) (13-15) supramolecular complexes are presented and investigated.