∀x∈G 에대해 (Hx)^t=H 인 t가 존재한다
라고 하면 x가 뭐든 간에 t제곱 하면 H이다.
가 되버리는거 같은데
각 x에 따라 서로다른 t가 존재한다는 어떻게 표시함?
그니까 군에서 모든 원소가 역원을 갖지만
그 역원이 서로 다르잖아 그럴때 표기를 어떻게 함?
라고 하면 x가 뭐든 간에 t제곱 하면 H이다.
가 되버리는거 같은데
각 x에 따라 서로다른 t가 존재한다는 어떻게 표시함?
그니까 군에서 모든 원소가 역원을 갖지만
그 역원이 서로 다르잖아 그럴때 표기를 어떻게 함?
∀이게 for every 임 for any 임?
보통 there exists corresponding t~라 할 것 같다만 굳이 축약하고 싶으면 ∃t_x를 써서 x에 의존한단걸 함축적으로 표현할 수 있지 않을까
걍 ∀x in G, ∃t s.t. (Hx)^t =H 로 쓰면 충분하지 않나? 양화사는 원래 순서 바꿔서 해석하면 안되니까
1. 니가 쓴 형태가 이미 x에따라 다르다는 의미임. 2. x에 관계없이 t가 같으면 for every x를 앞이 아니라 맨뒤에 씀 3. 강조하고싶다면 t(x) 혹은 t_x 형태로 쓰는것이 일반적임