• The Pure and Applied Mathematics
• /
• v.18 no.3
• /
• pp.261-268
• /
• 2011

For a compact Hausdorff space X with its p-fold covering map ${\sigma}$, we construct its corresponding topological groupoid ${\Gamma}$, and show that there is a strong relation between the dynamical structures of (X, ${\sigma}$) and the groupoid structures of ${\Gamma}$.

• Journal of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.183-193
• /
• 1995

Let N be a $II_1$ factor and G be a finite group acting outerly on N. Then the crossed product algebra $M = N \rtimes G$ is also a $II_1$ factor and $N' \cap M = CI$, i.e. N is irreducible in M. Moreover, N is regular in M, in other words, M is generated by the normalizer $N_M (N)$.

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

A transitive permutation representation of a group G is said to be multiplicity-free if all of its irreducible constituents are distinct. The character corresponding to the action is called the permutation character, given by $(1_H)^G$, where H is the stabilizer of a point. Multiplicity-free permutation characters are of interest in the study of centralizer algebras and distance-transitive graphs, and all finite simple groups are known to have such characters. In this article, we extend to the alternating groups the result of J. Saxl who determined the multiplicity-free permutation representations of the symmetric groups. We classify all subgroups H for which $(1_H)^An, n > 18$, is multiplicity-free.

• Journal of The Korean Association For Science Education
• /
• v.27 no.2
• /
• pp.126-133
• /
• 2007

The 'Science and Technology Mania' award program is an annual nationwide award activity organized to provide teenagers with opportunities for engaging in a high-technology-based long-term project work. The task involves designing a model ship propelled by the Lorentz force (a Lorentz ship) that allows diverse approaches irreducible to one right answer, and thus adopts features of science and technology in-the-making, In this study, we attend to opportunities for learning science that the uncertain aspects of artifact-designing project provide with participants, particularly when students communicate with scientists about their design practices. We analyze oral presentation sessions of the program and articulate two findings. First, students articulate embodied knowing in the presence of scientists. Second, students enact discursive resources deployed in concrete action. We conclude that students' design practices constitute referent that communication is directed toward and therefore become resources for developing scientific discourse.

• Journal of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.657-673
• /
• 2009

The fixed point algebra $C^*(E)^{\gamma}$ of a gauge action $\gamma$ on a graph $C^*$-algebra $C^*(E)$ and its AF subalgebras $C^*(E)^{\gamma}_{\upsilon}$ associated to each vertex v do play an important role for the study of dynamical properties of $C^*(E)$. In this paper, we consider the stability of $C^*(E)^{\gamma}$ (an AF algebra is either stable or equipped with a (nonzero bounded) trace). It is known that $C^*(E)^{\gamma}$ is stably isomorphic to a graph $C^*$-algebra $C^*(E_{\mathbb{Z}}\;{\times}\;E)$ which we observe being stable. We first give an explicit isomorphism from $C^*(E)^{\gamma}$ to a full hereditary $C^*$-subalgebra of $C^*(E_{\mathbb{N}}\;{\times}\;E)({\subset}\;C^*(E_{\mathbb{Z}}\;{\times}\;E))$ and then show that $C^*(E_{\mathbb{N}}\;{\times}\;E)$ is stable whenever $C^*(E)^{\gamma}$ is so. Thus $C^*(E)^{\gamma}$ cannot be stable if $C^*(E_{\mathbb{N}}\;{\times}\;E)$ admits a trace. It is shown that this is the case if the vertex matrix of E has an eigenvector with an eigenvalue $\lambda$ > 1. The AF algebras $C^*(E)^{\gamma}_{\upsilon}$ are shown to be nonstable whenever E is irreducible. Several examples are discussed.