• Journal of the Chungcheong Mathematical Society
• /
• v.17 no.2
• /
• pp.205-218
• /
• 2004

• Journal for History of Mathematics
• /
• v.21 no.4
• /
• pp.61-78
• /
• 2008

In this paper, we discuss about De Morgan's view on the development of algebra according to following distinctions: arithmetic, universal arithmetic, symbolic algebra, significant algebra. De Morgan thought that the differences between arithmetic and universal arithmetic lie in the usage of letters and the immediate performance of computation. In his viewpoint, universal arithmetic is a transitional phase, in which absurd phenomena occur, from arithmetic to algebra and these absurd phenomena call for algebra. The feature of De Morgan's view on the development of algebra is that symbolic calculus which consist of symbol system without symbol's meaning is acquired, then as extended meanings are furnished to symbols, symbolic calculus become logical so significant calculus is developed. For example, Single algebra is developed, as an extended meaning is furnished to a symbol -1, and double algebra is developed, as an extended meaning is furnished to a symbol $\sqrt{-1}$. According to De Morgan, a symbol system is derived from the incompleteness of a prior symbol system.

• Communications of Mathematical Education
• /
• v.23 no.2
• /
• pp.399-428
• /
• 2009

2007 Renewed Korea Elementary Mathematics Curriculum introduce algebra 6th grade. According to many studies about introducing algebra, it is desirable to teach 6th graders algebra through generalization of patterns. In this study, 6th graders' understanding processes and difficulties in pattern generalization were analyzed and possiblities of introducing algebra to 6th graders through pattern generalization were examined.

• Korean Journal of Mathematics
• /
• v.22 no.1
• /
• pp.91-121
• /
• 2014

Let X and Y be vector spaces. It is shown that a mapping $f:X{\rightarrow}Y$ satisfies the functional equation ${\ddag}$ $$2df(\frac{x_1+{\sum}_{j=2}^{2d}(-1)^jx_j}{2d})-2df(\frac{x_1+{\sum}_{j=2}^{2d}(-1)^{j+1}x_j}{2d})=2\sum_{j=2}^{2d}(-1)^jf(x_j)$$ if and only if the mapping $f:X{\rightarrow}Y$ is additive, and prove the Cauchy-Rassias stability of the functional equation (${\ddag}$) in Banach modules over a unital $C^*$-algebra, and in Poisson Banach modules over a unital Poisson $C^*$-algebra. Let $\mathcal{A}$ and $\mathcal{B}$ be unital $C^*$-algebras, Poisson $C^*$-algebras, Poisson $JC^*$-algebras or Lie $JC^*$-algebras. As an application, we show that every almost homomorphism $h:\mathcal{A}{\rightarrow}\mathcal{B}$ of $\mathcal{A}$ into $\mathcal{B}$ is a homomorphism when $h(d^nuy)=h(d^nu)h(y)$ or $h(d^nu{\circ}y)=h(d^nu){\circ}h(y)$ for all unitaries $u{\in}\mathcal{A}$, all $y{\in}\mathcal{A}$, and n = 0, 1, 2, ${\cdots}$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^*$-algebras, Poisson $C^*$-algebras, Poisson $JC^*$-algebras or Lie $JC^*$-algebras, and of Lie $JC^*$-algebra derivations in Lie $JC^*$-algebras.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.7 no.2
• /
• pp.115-119
• /
• 2007

The notion of ideals in subtraction algebras and characterizations of ideals introduced by Y.B.Jun et al. [?]. Using this idea, we consider the fuzzification of an ideal of a subtraction algebra. In this paper, we define the concept of a fuzzy ideal of a subtraction algebra and study characterizations of a fuzzy ideal. We give some conditions to show that a fuzzy set in a subtraction algebra is a fuzzy ideal of a subtraction algebra. We investigate the generalization of some properties of a fuzzy ideal of a subtraction algebra.

• Journal of the Chungcheong Mathematical Society
• /
• v.10 no.1
• /
• pp.127-139
• /
• 1997

The spherical non-commutative $\mathbb{S}_{\omega}$ were defined in [2,3]. Assume that no non-trivial matrix algebra can be factored out of the $\mathbb{S}_{\omega}$, and that the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus with a matrix algebra $M_k(\mathbb{C})$. It is shown that the tensor product of the spherical non-commutative torus $\mathbb{S}_{\omega}$ with the even Cuntz algebra $\mathcal{O}_{2d}$ has a trivial bundle structure if and only if k and 2d - 1 are relatively prime, and that the tensor product of the spherical non-commutative torus $S_{\omega}$ with the generalized Cuntz algebra $\mathcal{O}_{\infty}$ has a non-trivial bundle structure when k > 1.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.259-267
• /
• 2002

Let X be a hemicompact space with ($K_{n}$) as an admissible exhaustion, and for each n $\in$ N, $A_{n}$ a Banach function algebra on $K_{n}$ with respect to $\parallel.\parallel_n$ such that $A_{n+1}\midK_{n}$$\subsetA_n$ and${\parallel}f{\mid}K_n{\parallel}_n{\leq}{\parallel}f{\parallel}_{n+1}$ for all f$\in$$A_{n+1}$, We consider the subalgebra A = { f $\in$ C(X) : $\forall_n\;{\epsilon}\;\mathbb{N}$ of C(X) as a frechet function algebra and give a result related to its spectrum when each $A_{n}$ is natural. We also show that if X is moreover noncompact, then any closed subalgebra of A cannot be topologized as a regular Frechet Q-algebra. As an application, the Lipschitzalgebra of infinitely differentiable functions is considered.d.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.471-478
• /
• 2002

Let $Let\eta={\eta m}m$ be an eventually constant sequence of unit vectors $\eta m$ in $C^{n}$ and let $\rho$η be the pure state on $UHF_{n}$ algebra which is defined by $\rho\eta(\upsilon_i_1....\upsilon_i_k{\upsilon_{j1}}^*...{\upsilon_{j1}}^*)={\eta_1}^{i1}...{\eta_k}^{ik}{\eta_k}^{jk}...{\eta_1}^{j1}$. We find infinitely many state extensions of $\rho\eta$ to Cuntz algebra $O_n$ using representations and unitary operators. Also, we present theirconcrete expressions.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1275-1283
• /
• 2010

If the Wiener-Hopf $C^*$-algebra W(G,M) for a discrete group G with a semigroup M has the uniqueness property, then the structure of it is to some extent independent of the choice of isometries on a Hilbert space. In this paper we show that if the Wiener-Hopf $C^*$-algebra W(G,M) of a partially ordered group G with the positive cone M has the uniqueness property, then (G,M) is weakly unperforated. We also prove that the Wiener-Hopf $C^*$-algebra W($\mathbb{Z}$, M) of subsemigroup generating the integer group $\mathbb{Z}$ is isomorphic to the Toeplitz algebra, but W($\mathbb{Z}$, M) does not have the uniqueness property except the case M = $\mathbb{N}$.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.4
• /
• pp.545-551
• /
• 2003

We define subalgebras ${V_q}^{mZ{\times}nZ}\;of\;V_q\;where\;V_q$ are in the paper [4]. We show that the Lie algebra ${V_q}^{mZ{\times}nZ}$ is simple and maximally abelian decomposing. We may define a Lie algebra is maximally abelian decomposing, if it has a maximally abelian decomposition of it. The F-algebra automorphism group of the Laurent extension of the quantum plane is found in the paper [4], so we find the Lie automorphism group of ${V_q}^{mZ{\times}nZ}$ in this paper.