초록
대수기하학적 접근이란 실험계획에서의 공간 내의 점들 즉, 기하학적 대상인 다양체에 대한 문제를 다항식을 매개로 하여 아이디얼 즉, 대수적 문제로 전환하고자 한 것이라 할 수 있다. 지금까지의 연구는 완전요인실험으로부터 효율적인 부분요인실험을 선택하는 절차에 집중되어 왔다. 본 논문에서는 지금까지 연구 방법의 역의 과정을 추정해 보기로 한다. 한 부분요인실험이 선택되었을 때, 그 실험의 교락구조를 그뢰브너 기저를 구한 후 해석한다. 다음으로 그뢰브너 기저를 생성자로 활용하여 선택된 부분실험의 집합을 구별하기 위한 다항함수인 지시함수를 구하는 절차를 알아보기로 한다. 실제로 몇 가지 부분요인실험을 예로 택하여 그 과정을 수행하였다. 연산은 CoCoA 대수연산 소프트웨어를 이용하였다.
Many problems of confounding and identifiability for polynomial models in an experimental design can be solved using methods of algebraic geometry. The theory of $Gr\ddot{o}bner$ basis is used to characterize the design. In addition, a fractional factorial design can be uniquely represented by a polynomial indicator function. $Gr\ddot{o}bner$ bases and indicator functions are powerful computational tools to deal with ideals of fractions based on each different theoretical aspects. The problem posed here is to give how to move from one representation to the other. For a given fractional factorial design, the indicator function can be computed from the generating equations in the $Gr\ddot{o}bner$ basis. The theory is tested using some fractional factorial designs aided by a modern computational algebra package CoCoA.
