1) three-key exposition
三调呈示部
3) duplex exposition
双呈示部
4) to exposit tonality and permeate it
调性呈示与贯穿
6) group presentation
群呈示
1.
For a group G finitely presented by a group presentation P, the picture homotopy problem of Pis solvable if and only if the word problem of G is solvable.
对有限的群呈示P=〈x;r〉表出的群G,证明了当且仅当群G的字问题可解时,P的图像的同伦问题是可解的。
补充资料：示三遍
【示三遍】
三遍者，即依前二用，一一普周法界也。一者，一尘普周法界遍，谓尘无自性，揽真理而成立，真既无边，尘亦随尔，故一一尘中皆见法界。二者，一尘出生无尽遍，谓尘无自体，起必依真，真如既具恒沙众德，依真起用，万法繁兴，无有穷尽。三者，一尘合容空有遍，谓尘无自性即空也；幻相宛然，即有也。真空不空，妙有不有，事理该罗，容纳无碍也。
三遍者，即依前二用，一一普周法界也。一者，一尘普周法界遍，谓尘无自性，揽真理而成立，真既无边，尘亦随尔，故一一尘中皆见法界。二者，一尘出生无尽遍，谓尘无自体，起必依真，真如既具恒沙众德，依真起用，万法繁兴，无有穷尽。三者，一尘合容空有遍，谓尘无自性即空也；幻相宛然，即有也。真空不空，妙有不有，事理该罗，容纳无碍也。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条