【判断题】
设H是群G的子群,则每一右陪集Ha与H之间存在一个双射。
【单选题】
设 H 是群 G 的子群, x∈G, 令xHx-1={xhx-1|h∈H},则 xHx-1 有性质:
【判断题】
如果群G是可换群,则群G的每个子群都是正规子群。
【判断题】
设〈G,°〉是一个群.若存在从〈G,°〉到〈H,*〉的满同态,则〈H,*〉也构成群。
【单选题】
设H,K是群(G,<imgwidth="11"height="11"src="http://wljy.whut.edu.cn//uploadfiles/word/lsss002.files/image028.png">)的子群,下面代数系统是(G,<imgwidth="11"height="11"src="http://wljy.whut.edu.cn//uploadfiles/word/lsss002.files/image029.png">)的子群的是( )
①
(H∩K,<imgwidth="11"height="11"src="../uploadfiles/word/lsss002.files/image028.png">)
②
(H∪K,<imgwidth="11"height="11"src="../uploadfiles/word/lsss002.files/image028.png">)
③
(K-H,<imgwidth="11"height="11"src="../uploadfiles/word/lsss002.files/image028.png">)
④
(H-K,<imgwidth="11"height="11"src="../uploadfiles/word/lsss002.files/image028.png">)
【简答题】
若文法 G 定义的语言是无限集,则文法G必然是[填空1]。
【简答题】
判断公式“xy(F(x) ùG(y) ?H(x,y))”的类型:[填空1]
【简答题】
文法G1(S),它的产生式为:S→a|∧|(T),T→T,S|S。①消去G1的左递归。②写出非终结符的FIRST集与FOLLOW集。③构造它的分析表
【单选题】
设 G 为群, 若x∈G 有 x2=e,则G具有性质: